测试集自动生成方法的研究是协议一致性测试领域中比较活跃的一个分支。 提出了一种基于EBE模型，集成数据流和控制流测试的新的协议测试自动生成方法并给出了其实现TUGEN。
TUGEN integrates the features of data-flow and control-flow test and is based on a formal model called EBE, which specifies only the external behavior of a protocol.
除了产生应用程序流之外，在测试自动控制工作中的另一项主要任务是验证终端屏幕上的应用程序数据和消息。
Besides making the application flow, another major task in test automation is to validate various application data and messages on the terminal screen.
通过控制，我的意思是被测试应用程序中的用例流和功能。
By control, I mean the case flow and functionality in the application-under-test.
在模块中应对每一条独立执行路径进行测试，单元测试的基本任务是保证模块中每条语句至少执行一次。此时设计测试用例是为了发现因错误计算、不正确的比较和不适当的控制流造成的错误。此时基本路径测试和循环测试是最常用且最有效的测试技术。计算中常见的错误包括： 1.误解或用错了算符优先级； 2.混合类型运算； 3.变量初值错； 4.精度不够； 5.表达式符号错。 比较判断与控制流常常紧密相关，测试用例还应致力于发现下列错误： 6.不同数据类型的对象之间进行比较； 7.错误地使用逻辑运算符或优先级； 8.因计算机表示的局限性，期望理论上相等而实际上不相等的两个量相等； 9.比较运算或变量出错； 10.循环终止条件或不可能出现； 11.迭代发散时不能退出； 12.错误地修改了循环变量。
应用推荐