基于模型的自动化测试工具GraphWalker（一）：基本原理

原理 一、测试模型 　　一个测试模型是有向图表示的FSM或者EFSM模型，由箭头和节点组成,如图所示。 　　一个箭头，表明了一次测试动做； 　　一个节点，表明一次测试验证。 二、测试需求选择Test requirements selection 目的：指导测试用例生成器（ test generation）如何生成用例。 测试需求选择包含3方面： 　　1）模型中的目标（结束条件） 　　2）覆盖准则（

>>阅读原文<<