形式化方法自动生成测试用例的算法研究

Automated testing case generator algorithm based on formal methods

本文提出了一种从形式规格说明中利用等价类划分的方法自动生成软件测试用例的算法,给出了算法步骤.算法设计,并进行了算法分析。最后指出了下一步工作的重点所在。

The paper puts forward an automated testing case generator algorithm which uses equivalence class division methods and formal specification. The paper presents the algorithm steps, design and analyse. In the end the paper also points out the emphases of the next work.