针对某个系统是如何选择测试点的？如果以FSM来描述某种通信协议，如何选择测试点？选择测试点时有没有更具体更形式化的方法？

引用:

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的测试更复杂