English

应用科学学报 ›› 2023, Vol. 41 ›› Issue (2): 326-343.doi: 10.3969/j.issn.0255-8297.2023.02.012

• 计算机科学与应用 • 上一篇    下一篇

基于结构覆盖和状态识别的FSM一致性测试实验评估

林玮玮1,2, 曾红卫1, 缪淮扣1, 王晓琳3   

  1. 1. 上海大学 计算机工程与科学学院, 上海 200444;
    2. 上海市计算机软件评测重点实验室, 上海 201114;
    3. 嘉兴学院 信息科学与工程学院, 浙江 嘉兴 314001
  • 收稿日期:2021-07-02 出版日期:2023-03-31 发布日期:2023-03-29
  • 通信作者: 曾红卫,研究员,研究方向为软件测试及软件验证。E-mail:zenghongwei@shu.edu.cn E-mail:zenghongwei@shu.edu.cn
  • 基金资助:
    国家自然科学基金（No.61572306）资助

Experimental Evaluation of FSM Conformance Testing Based on Structure Coverage and State Identification

LIN Weiwei1,2, ZENG Hongwei1, MIAO Huaikou1, WANG Xiaolin3   

  1. 1. School of Computer Engineering and Science, Shanghai University, Shanghai 200444, China;
    2. Shanghai Key Laboratory of Computer Software Evaluating & Testing, Shanghai 201114, China;
    3. School of Information Science and Engineering, Jiaxing University, Jiaxing 314001, Zhejiang, China
  • Received:2021-07-02 Online:2023-03-31 Published:2023-03-29

PDF

174

摘要： 针对在测试资源紧张的情况下所面临的不同测试技术中测试方法选择问题，阐明了对基于结构覆盖和基于状态识别的测试生成技术进行实验评估的必要性，以10个有限状态机（finite state machine,FSM）应用实例为实验对象，从测试开销和错误覆盖能力两方面对这两种技术进行了实证研究，为FSM一致性测试中这两种技术的选择应用提供了经验性的参考建议。

关键词: 有限状态机, 结构覆盖, 状态识别, 覆盖准则, 实证研究

Abstract: In finite state machine (FSM) conformance testing, there are two widely used test generation techniques which are based on structure coverage and state identification respectively. Under the condition of scarce test resources, we often face the problem of weighing selection of different test methods. To the best of our knowledge, there is no comprehensive comparative study of these two test techniques so far. This paper presents the necessity of experimental evaluation of the two test methods, and conducts experiments based on 10 FSM empirical cases. The performance is evaluated in terms of test cost and fault coverage capability, so as to provide empirical suggestions for the selection and application of these two techniques in FSM conformance testing.

Key words: finite state machine, structure coverage, state identification, coverage criterion, empirical study

中图分类号: