A Software Testing Method Based on Domain Analysis of Specification and Program

• 一种基于规范和程序域分析的软件测试方法