首页 | 本学科首页   官方微博 | 高级检索  
     检索      

基于结构覆盖和状态识别的FSM一致性测试实验评估
引用本文:林玮玮,曾红卫,缪淮扣,王晓琳.基于结构覆盖和状态识别的FSM一致性测试实验评估[J].应用科学学报,2023,41(2):326-343.
作者姓名:林玮玮  曾红卫  缪淮扣  王晓琳
作者单位:1. 上海大学 计算机工程与科学学院, 上海 200444;2. 上海市计算机软件评测重点实验室, 上海 201114;3. 嘉兴学院 信息科学与工程学院, 浙江 嘉兴 314001
基金项目:国家自然科学基金(No.61572306)资助
摘    要:针对在测试资源紧张的情况下所面临的不同测试技术中测试方法选择问题,阐明了对基于结构覆盖和基于状态识别的测试生成技术进行实验评估的必要性,以10个有限状态机(finite state machine, FSM)应用实例为实验对象,从测试开销和错误覆盖能力两方面对这两种技术进行了实证研究,为FSM一致性测试中这两种技术的选择应用提供了经验性的参考建议。

关 键 词:有限状态机  结构覆盖  状态识别  覆盖准则  实证研究
收稿时间:2021-07-02

Experimental Evaluation of FSM Conformance Testing Based on Structure Coverage and State Identification
LIN Weiwei,ZENG Hongwei,MIAO Huaikou,WANG Xiaolin.Experimental Evaluation of FSM Conformance Testing Based on Structure Coverage and State Identification[J].Journal of Applied Sciences,2023,41(2):326-343.
Authors:LIN Weiwei  ZENG Hongwei  MIAO Huaikou  WANG Xiaolin
Institution: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
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.
Keywords:finite state machine  structure coverage  state identification  coverage criterion  empirical study  
点击此处可从《应用科学学报》浏览原始摘要信息
点击此处可从《应用科学学报》下载免费的PDF全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号