51Testing软件测试论坛

标题: 十万火急地请教各位前辈 [打印本页]

作者: 小树 时间: 2005-3-10 08:57
标题: 十万火急地请教各位前辈
针对某个系统是如何选择测试点的？如果以FSM来描述某种通信协议，如何选择测试点？选择测试点时有没有更具体更形式化的方法？

作者: Kapok 时间: 2005-3-12 14:15

Originally posted by 小树 at 10-3-2005 08:57:
针对某个系统是如何选择测试点的？如果以FSM来描述某种通信协议，如何选择测试点？选择测试点时有没有更具体更形式化的方法？

FSM的测试是非常复杂的
总体来说是让test set满足一定的coverage
譬如cover所有的state 或者cover所有的transition 最详尽的当然是cover所有的path 但是这是NP complete的

你说的“更具体”和“更形式化”是截然相反的两个方向赫赫
FSM是完全形式化的应用在协议中就是conformance testing
上传一个testing deterministic FSM的paper
non-deterministic的测试更复杂

欢迎光临 51Testing软件测试论坛 (http://bbs.51testing.com/)