飞行控制软件测试用例辅助设计系统原型的设计与实现

BranchTCase原型是针对飞行控制软件中分支结构的测试用例辅助生成系统,它可以分析统计被测软件中的分支结构,生成覆盖所有可达分支的执行路径集合,从而辅助测试人员基于分支覆盖设计测试用例。BranchTCase采用纯静态技术,不依赖动态插装,通过扫描被测软件的源代码,得到软件的基本静态信息,并构造程序的执行流程图,最后遍历得到执行路径集合。本文阐述了BranchTCase原型的设计思路,讨论了其中的静态扫描分析、结构分析、分支结构遍历等主要算法。最后以某型号飞行控制软件为分析实例,得到了覆盖其所有分支结构的执行路径集合。

Design and Implementation of Aided Design System Prototype for Flight Control Software Test Case

BranchTCase is an aided design system prototype for flight control software test case. The prototype can analyze branch structures of software and generate the executing path sets for all reachable branches, which are useful for generating test case based on all covering branches. BranchTCase adopts pure static technique without any dynamic instrumentation. The static information and executing flow graph of test module are generated by scanning source codes, and the executing path sets are constructed by traversing the flow graph. This paper presents the design method of BranchTCase, and then describes the primary algorithms such as static scanning, structure analysis and branch structure traversing. Finally an executing path set covered all branches of some test module is constructed with BranchTCase.