航天应用软件系统具有软件种类多、规模大、信息交换关系复杂等特点,如何开展软件测试是工程实践中的一个难题.结合某测控信息应用软件系统实例,提出了一种基于形式化模型的软件系统测试方法.基于软件系统形式化定义和线索分析技术,绘制软件系统运行流程图、阶段分析图,建立可表述软件系统级行为的场景树模型和场景树图;根据测试充分性要求,提出基于场景树图的路径覆盖准则,给出满足路径覆盖准则的测试用例集自动化生成算法;结合工程实例,给出了方法应用数据,开展测试结果分析.验证结果表明该测试方法是可行的和有效的,能够保障软件测试的充分性.
系统测试 测试用例生成 形式化模型 场景分析 软件测试