基于编译支持错误跟踪的测试用例自动化生成方法

Keywords: [测试用例, 自动测试, 错误可跟踪, 编译器, 操作语义, test case, automatical testing, error-traceable, compiler, operational semantics]

Full-Text   Cite this paper   Add to My Lib

Abstract:

测试用例的自动生成是实现测试自动化的重要保障,是验证可信软件..

Full-Text