基于需求模型的航天软件测试用例生成方法

摘要：

为了提高航天软件测试的效率和覆盖率,增加航天软件测试的有效性,提出了一种基于需求模型的软件测试用例设计方法.针对航天软件测试的特点,该方法采用从用例层深入至步骤层的测试优化策略.首先,基于元建模方法定义了一种测试需求模型;通过建立模型,将测试需求加以拆分,获取了测试需求之间的先后依赖关系以及测试需求与测试步骤之间的对应关系.然后,基于测试需求模型,构建了测试需求的路径图,进而通过对图的遍历获得了测试用例.最后,将该方法用于工程实践进行了实验验证.验证结果表明,该方法有效保证了测试活动的充分性和有效性,降低了测试用例约简的风险.与不约简的测试方法相比,该方法减少测试工作量达18％,减少测试用例数量为40％以上,软件测试的执行时间也减少了40％以上,在满足需求覆盖率的同时,有效提高了测试效率.

关键词：软件测试、航天软件、测试用例生成、用例约简、测试需求、模型

所属期刊栏目：24

分类号：TP301.6(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目61133011;国家自然科学基金面上项目61373053,61472161

在线出版日期：2016-06-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共12页

页码：1185-1196