一种测试案例集的自动生成器及生成方法

摘要

本发明公开了一种测试案例集自动生成器，用于生成源代码的测试案例集；包括编译器模块、状态转移图生成模块、输入序列构造模块和测试案例集生成模块，其中，所述编译器模块的输出端连接所述状态转移图生成模块，所述状态转移图生成模块的输出端连接所述输入序列构造模块，所述输入序列构造模块的输出端连接所述测试案例集生成模块。本发明提供的一种测试案例集的自动生成器及生成方法，所生成的测试案例集覆盖率高，并且可以有效检测出源代码中的死代码分支及静态错误。