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

作者：王吉茂; 尹平; 张慧颖

来源：飞行器测控学报, 2013, (02): 152-155.

• 测试用例
• 因果图
• 约简算法
• 路径控制阵列
• 测试覆盖 test case
• causality chart
• simplification algorithm
• Test Path Control Array(TPCA)
• test coverage

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

• 单位
  北京跟踪与通信技术研究所