谓词依赖图

模型可执行论文-杨光辉
导读:本文包含了模型可执行论文开题报告文献综述及选题提纲参考文献，主要关键词:协议一致性测试,扩展有限状态机,谓词依赖图,变迁可执行性分析模型可执行论文文献综述杨光辉[1]（2...
可执行测试例论文-杨光辉
导读:本文包含了可执行测试例论文开题报告文献综述及选题提纲参考文献，主要关键词:协议一致性测试,扩展有限状态机,谓词依赖图,变迁可执行性分析可执行测试例论文文献综述杨光辉[1]...