model checking based testing
...） (咨询特价) 基于Petri网的测试（Petri Net Based Testing） (咨询特价) 基于模型检查的测试（Model Checking Based Testing） (咨询特价) TTCN测试（TTCN Testing） (咨询特价) 布尔规格测试（Boolean Specification Testing） (咨询特价) 基于统一建模语言...
基于12个网页-相关网页
model checking based testing
基于模型检查的测试
以上为机器翻译结果，长、整句建议使用 人工翻译 。