十万火急地请教各位前辈

小树 · 发表于 2005-3-10 08:57:34

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

Kapok · 发表于 2005-3-12 14:15:56

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

[讨论] 十万火急地请教各位前辈

相关帖子

本帖子中包含更多资源

站长推荐 /1