关于TESSY测试（实习总结）

1、单元测试阶段方法要求

1.1 基于需求的测试

所有的测试用例都是基于需求来设计的，正对这条需求，TESSY可以从两个方面进行响应

1）TESSY支持通过CTM（Classification Tree Method）分类树方法，从需求分析开始介入，使用CTE（Classification Tree Editor）分类树方法编辑器依照需求来设计测试用例。这种用例设计方法更加系统，所设计的测试用例具有高覆盖度低冗余特性。

2）TESSY具备需求验证管理功能，可以将需求与测试用例进行链接，每一条需求至少需要链接到一条测试用例，以此来检查需求是否完全被覆盖。

1.2 接口测试

接口测试是针对被测对象的接口进行验证，一般采用黑盒测试方法进行单元测试，且测试过程中不关注测试对象内部结构，包括被测单元的输入变量和输出变量，在测试之前对输入变量和输出变量预期值进行设定，并将预期值与实际值进行比较是否一致。

对于函数接口，TESSY可以针对被调用函数提供打桩和打高级桩的选择，从而分析得到的函数对应的返回值、形参变量，通过检测返回值及形参变量的类型、数目、顺序和数据传输来进行函数接口测试。

1.3 故障注入测试

可以是随机故障的注入，如通过破坏内部内存中变量的值来引入故障，但这样的测试结果只能显示测试对象是否崩溃，即鲁棒性测试；而更为有效的故障注入测试要求输入的故障是明确的，通过对结果的评估来判断功能是否实现，如空指针的传输、数组下标超上下限、传入的形参超出数组边界、除法操作除数为零等，通过是否会输出异常来确定软件功能的正确性。

1.4 资源占用测试

执行时间、内存空间、当前消耗或者一些其他的资源。

1.5 背靠背对比测试

适用于模型自动生成代码的情况

2、 单元测试用例设计方案要求

2.1 需求测试

把需求作为测试用例设计方法和单元测试方法的中心

2.2 等价类生成和分析

输入输出变量可以拥有多个取值，在测试中覆盖这些变量的所有取值是不可能的，等价类划分法有效地解决了这一问题。它将所有输入值分为几类，如果测试值被认为在测试中是等价的，则归属同一等价类（某个值便可代替一类）

2.3 边界值分析

边界值分析一般需要和等价类划分结合进行，边界值的选取是基于等价类的边界。相比于中间值，边界值对于错误的敏感程度更高。对于TESSY识别到的接口（函数、变量等）在设计测试用例时均需要考虑到这些接口的边界值，如数据类型限定的最大最小值，设计中预期的数据范围的最大最小值，及超出范围值。

2.4 错误预测

需要凭借以往的经验找出容易发生错误的测试用例，用例设计来源往往是既有项目易发生的错误。

3、设计测试用例的流程以及思想

3.1 中心思想

对于单元测试，TESSY会将.c文件的各个函数识别并列出，当我们在测试该.c文件中的某一函数时，我们需要关注的仅仅只是该函数的需求测试、接口测试及故障注入是否通过，对该函数中调用的其他函数打桩即可，若调用了有输入输出的函数，那么便打高级桩，手动输入函数的输入输出，只关注于要测的函数即可。

3.2 测试步骤

1、将需要测的.c文件导入TESSY中，并将对应的.h文件汇总到一个文件夹中，并添加到路径中，使该.c文件得以编译通过

2、点击分析模块分析.c文件，软件会自动将.c文件中的函数识别并列出

3、选中某一函数，点击TIE（Test Interface Editor）对函数中调用的函数进行打桩、以及函数的形参、输出值、调用的全局变量进行编辑

4、对TIE进行好了设计之后就可以设计测试用例了，TESSY可以自动画出函数的流程图，根据流程图将每一个分支都测试到即可

【注】

• 如遇到等级D的测试，则需要将每个分支的每种情况都测试到，比如&，就需要测到如下真值表11、10、0-
• 对于传入的全局指针变量，则需要手动添加指针指向的变量类型（若指向一个结构体，则需要新建结构体，并将指针指向结构体；若指向一个函数，则需要找一个合适的函数，并将指针指向该函数），并设置输入值和输出值，保证程序运行之后输出值的正确性