基于控制流的形式化程序测试

A Formal Testing of Program Based on Control Flow

为避免现有产生测试用例过程中隐含的不可行路径和状态爆炸问题,提出一种对基于流的序列程序产生测试用例的形式化方法。该方法定义了条件和循环覆盖准则后,通过条件演算对序列程序生成测试用例。程序执行是基于程序语义进行,避免了隐含的不可行路径,复杂度分析表明该方法可以避免状态爆炸问题。

In order to avoid the infeasible path and state explosion problem during test cases generation, this paper presents a formal method to generate test cases for sequential programs written in a flow based program language. According to the coverage criterion defined, test cases of sequential programs are generated based on condition calculation. Compared with some formal testing methods, the new method can avoid hitting infeasible path. Moreover, the complexity analysis reveals that the new method also can avoid state explosion problem.