[发明专利]基于业务流的测试用例自动生成系统及方法

摘要

本发明涉及计算机软件技术领域，具体是一种基于业务流的测试用例自动生成系统及方法。包括测试抽取器、序列生成器、程序生成器、模型检测/求解器，其中测试抽取器和序列生成器共用模型检测/求解器，还包括一种利用上述系统的计算机软件系统中一种基于业务流的测试用例自动生成方法，其特征在于，所述的方法包括如下步骤建模、全状态空间检查、生成测试序列、将测试序列变换成可执行程序。本发明基于形式化方法中的遍历技术，找出高覆盖率的业务流，自动生成基于业务流的测试用例，可以根据项目情况合理调整挑选粒度，并且可以找出执行测试所需要的操作顺序，由此可以得到可执行的测试程序，实现测试的高覆盖和自动化。

主权项

基于业务流的测试用例自动生成系统，其特征在于：包括测试抽取器、序列生成器、程序生成器、测试抽取器和序列生成器，其中测试抽取器和序列生成器共用模型检测/求解器，抽象化描述的业务流程可输入到测试抽取器，序列生成器可针对每一个测试用例，以什么步骤执行以达到测试和确认的目的，针对测试用例,生成测试序列，可以得到针对每个测试用例的在测试时的操作顺序，程序生成器可将测试序列变换成可执行程序，以实现测试操作的自动执行，模型检测/求解器检测或求解以形式化/半形式化语言的描述建模，模型检测/求解器还可以对模型进行全状态空间探索，找出所有业务测试需求的状态点，并找出到测试点的执行路径，从而可生成用作自动测试的可执行程序。