论文部分内容阅读
测试用例的自动生成是实现测试自动化的重要保障，是验证可信软件的基本方法．在分析现有测试用例自动生成方法的基础上，提出了一种基于编译的错误可跟踪的测试用例自动生成方法．该方法以编译器为依托，通过对其语法和语义进行扩展，将测试需求很好地融入到源程序中参与分析，并利用代码生成器在生成目标代码的同时根据相应的分析结果直接生成对应的测试用例．该方法将测试用例和目标代码生成统一到编译器中，避免了独立的测试用例自动生成工具在获得编译器相关分析结果时而导致的接口开销．同时，通过对源程序行号信息的跟踪，使得测试用例在无法通