Focusing on the time constraint problem in protocol testing theories , a strict constraint over time parameters in protocol testing was presented from several conformance testing methods , and a test case generation algorithm was given under the strict time constraint based on waiting , coordination and synchronizing time 摘要针对协议测试理论中的时间约束问题,从不同的一致性测试方法出发对协议测试中的时间参数做了严格的约束,同时给出了基于等待、协调和同步时间的严格约束下的测试用例生成算法。
Class is the basic unit of oo program and research on class testing is the most active . one of the methods is stated - based class testing , which is based on the conventional efsm ( extended finite state machine ) - based testing methods . the focus of all these testing techniques is automatic test cases generation 类的基于状态的测试是目前面向对象软件测试技术的研究的热点问题之一,这方面研究的基本方法之一就是借用传统的基于扩展有限状态机的状态测试方法,其核心问题是测试用例的自动生成方法的研究。