基于Cheetah技术的测试规程模板开发与应用

作者：马威; 周弘斌; 王辉; 肖前远

来源：指挥信息系统与技术, 2015, 6(06): 33-38.

DOI：10.15908/j.cnki.cist.2015.06.007

• 测试规程模板
• Cheetah
• 一致性
• 正确性
• 软件测试

完成测试规程是DO-178B中软件验证过程的重要目标。基于Cheetah技术设计和实现测试规程模板,根据形式化软件高层需求设计的测试用例,自动转化为测试规程,从而避免了手工创建测试规程过程中测试用例的不一致性和繁琐性,同时提高了软件测试效率。宿主机平台测试环境中运行测试规程,测试结果表明可针对软件高层需求进行验证。

• 单位
  中国航空无线电电子研究所