软件测试用例生成与约简算法研究

作     者：王吉茂 尹平 张慧颖 WANG Jimao;YIN Pin;ZHANG Huiying

作者机构：北京跟踪与通信技术研究所北京100094 

出 版 物：《飞行器测控学报》 (Journal of Spacecraft TT&C Technology)

年 卷 期：2013年第32卷第2期

页      码：152-155页

摘      要：对于参数多、状态多且状态转换关系复杂的软件,测试人员设计的测试用例往往难以保障测试覆盖率。针对该问题,提出了一种测试用例生成与约简算法。该方法定义了一种数据模型——测试路径控制阵列模型,将其与因果图法结合起来,可通过编程实现测试用例设计。该方法设计测试用例便捷、充分,避免了由于人工绘制因果图和检查判定表引入的错误。应用于实时系统软件的主副切换功能测试时,生成测试用例32个,对被测对象覆盖全面且有效。

主 题 词：测试用例 因果图 约简算法 路径控制阵列 测试覆盖 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.7642/j.issn.1674-5620.2013-02-0152-04

馆 藏 号：203232682...