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

Development and Application of Testing Procedure Template Based on Cheetah Technology

作　　者：马威[1] 周弘斌[1] 王辉[1] 肖前远[1] 

机构地区：[1]中国航空无线电电子研究所,上海200233

出　　处：《指挥信息系统与技术》2015年第6期33-38,共6页Command Information System and Technology

摘　　要：完成测试规程是DO-178B中软件验证过程的重要目标。基于Cheetah技术设计和实现测试规程模板,根据形式化软件高层需求设计的测试用例,自动转化为测试规程,从而避免了手工创建测试规程过程中测试用例的不一致性和繁琐性,同时提高了软件测试效率。宿主机平台测试环境中运行测试规程,测试结果表明可针对软件高层需求进行验证。Testing procedure is an important aim in software verification process in DO-178 B.A testing procedure template is designed and implemented based on Cheetah technologies.Test cases designed by high-level requirements of the formal software can be automatically transformed into testing procedures by the template,thus avoiding the inconsistency among test cases and the complexity during the process of establishing the testing procedure by hand.Meanwhile,the efficiency of software testing is improved.The testing procedure is executed in the testing environment of host platform.Testing results show that the template can verify high-level requirements for the software.

关 键 词：测试规程模板 CHEETAH 一致性 正确性 软件测试 

分 类 号：TP391[自动化与计算机技术—计算机应用技术]