...
机译:基于SAT算法的通信协议测试序列生成方法
Communication protocol; Test sequence generation problem; SAT algorithm; Approximation algorithm; Constraint;
机译:基于SAT算法的通信协议测试序列生成方法
机译:使用SAT算法在通信协议中生成测试序列
机译:使用SAT算法的通信协议中的测试序列生成
机译:状态识别序列生成的新方法,用于测试建模为扩展有限状态机的通信协议
机译:针对扩展模型中指定的通信协议自动生成一致性测试的测试用例。
机译:提供安全有效的测试结果沟通管理和跟进:混合方法研究方案
机译:使用Supertrace算法和TESTGEN进行自动化的网络协议可达性分析:自动生成正式协议规范的测试序列
机译:使用supertrace算法和TEsTGEN进行自动网络协议可达性分析:自动生成正式协议规范的测试序列。