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