...
机译:生成协议一致性测试序列的正式方法
AT&T Bell Lab., Murray Hill, NJ;
computer networks; open systems; protocols; standards; testing; OSI conformance testing; characterizing sequences; conformance test generation; control portion; distinguishing sequences; formal methods; protocol conformance test sequences; protocol specification; transition tours; unique input/output sequences;
机译:带有异步接口和电信协议的系统的形式化模型和一致性测试的开发
机译:从Auml图自动生成测试序列:对代理交互协议的形式验证
机译:用于生成EFSM指定的协议测试序列的启发式转换可执行性分析方法
机译:一种二部图方法来生成最佳测试序列,以使用Wp方法进行协议一致性测试
机译:用于测试通信协议系统安全性的正式方法和工具。
机译:HOLON / CADSE:集成开放软件标准和正式方法以生成基于准则的决策支持代理。
机译:使用Wp方法生成用于协议一致性测试的最佳测试序列的二部图方法
机译:使用supertrace算法和TEsTGEN进行自动网络协议可达性分析:自动生成正式协议规范的测试序列。