...
机译:测试协议在基于嵌入式内核的系统IC自动生成测试中的作用
System chips; Embedded cores; Test generation; Test protocol; Expansion; Test protocol scheduling;
机译:测试协议在基于嵌入式内核的系统IC自动生成测试中的作用
机译:用于自动测试Lotos中指定的通信协议,软件和系统的数据流方面的正式方法
机译:测试基于嵌入式内核的系统芯片
机译:测试协议在测试基于嵌入式内核的系统IC中的作用
机译:针对扩展模型中指定的通信协议自动生成一致性测试的测试用例。
机译:从实验室中缺乏自动抗微生物易感测试系统的实验室中的直接抗菌易感性试验
机译:使用Supertrace算法和TESTGEN进行自动化的网络协议可达性分析:自动生成正式协议规范的测试序列
机译:使用supertrace算法和TEsTGEN进行自动网络协议可达性分析:自动生成正式协议规范的测试序列。