MAT模型相关硕士博士期刊学术论文 - 搜论网

MAT模型相关论文

对时间输入／输出自动机一致性测试的改进

Jan.S等提出了对时间输入／输出自动机（TIOA）模型进行黑盒一致性测试的算法。针对其生成的测试序列数量太大这一问题，提出用可最小化的......

期刊

时间输入/输出自动机一致性测试双向模型可最小化时间自动机状态空间最小化测试序列 MAT模型 black-box)conformance testing

看过本文同时还关注