基于分支覆盖的自动化软件测试平台

本发明涉及软件测试领域，尤其涉及一种基于分支覆盖的自动化软件测试平台，包括，用于验证测试人员的身份信息并触发测试用例生成操作的登录模块；用于获取及储存被测程序的源文件模块；静态分析模块，静态分析模块主要是对被测程序进行分析，遍历AST得到被测程序的包含各分支的控制流图和测试目标，对各分支进行覆盖分析，并生成覆盖准则分析图；采用分支覆盖准则对测试目标进行覆盖，生成能满足覆盖准则的测试用例的测试用例生成模块。本发明通过在静态分析模块中对各分支进行覆盖分析，并生成覆盖准则分析图，解决传统软件测试过程中的静态分析过程复杂且易出错、测试用例生成困难且覆盖率不足、测试用例管理不便和复用性差等一系列技术问题。