论文部分内容阅读
提出了一种将人工测试与基于测试工具LDRA Testbed的自动化静态分析结合起来的静态测试方法。该方法首先通过测试工具对程序进行测试，然后针对工具的分析结果，并结合相关的文档进行人工审查，形成最终的静态测试报告。经验证，此方法相比传统方法测试效率更高，节省了测试资源，在工程上有着较好的应用价值。