基于状态图的测试用例设计(state-basedtesting)

最近产品新添加了一个新功能，在测试用例设计上应用到了基于状态图的测试用例测试方法，今天不是很忙，整理下看的资料写出这篇文章，不足的地方请指出。首先，大概介绍下这个功能(就不详细透露产品信息)：当邮件服务器收到一封带有可疑附件的邮件，新功能会把这封邮件隔离到一个nsf数据库中，然后将这些可疑附件上传到一特定服务器上(类似360，右击选中文件，在沙盒中运行)，在这个特定服务器上会运行几个VM，分析这些可疑文件并给这些文件进行打分，判断是不是Virus，过一段时间，根据SHA值到特定服务器中查询可疑文件的分析结果，一旦拿到这封邮件中所有可疑文件的分析结果，便对这些那些Virus文件采取指定的动作(如