TESSY测试遇到的问题（持续更新）

目录

1. conflicting types for 'xxxxxx'

2. Missing return statement for non-void function ‘xxxxxxx’

3. no such instruction: `msr basepri,%eax'， no such instruction：'汇编代码'问题

4. Unable to receive block size (Master)  Slave terminated with exit code 0xC0000005

5. undefined reference to `LOGE'，undefined reference to `LOGD'，undefined reference to `LOGF'

6. 对于执行测试用例不能跑到100%的情况

7. 如何查看MC/DC真值表中哪些条件没满足

---

1. conflicting types for 'xxxxxx'

①察看‘xxxxxx’函数是不是C库函数，取消‘xxxxxxx’打桩。

如图：

2. Missing return statement for non-void function ‘xxxxxxx’

①这个问题是我们已经打了桩的函数中，有的桩函数是有返回值的，我们要在桩代码中添加返回值，或者直接加 { }一对括号。

如图：

注意：void * 也是存在返回值的。

3. no such instruction: `msr basepri,%eax'， no such instruction：'汇编代码'问题

这个问题是因为TESSY中GCC编译器识别不了汇编语言，最好的办法是把这些汇编代码给#if #endif 条件编译注释掉。如果你在.c源代码中没有查找到汇编代码，这并不奇怪，原因是.c源码文件中的一些函数内联到了别的源文件的汇编代码。要彻底解决这个问题，需要用Soure Insight软件将整个源码工程读取，然后在工程中查找所有的汇编代码比如‘msr’，然后条件注释掉即可。

4. Unable to receive block size (Master)  Slave terminated with exit code 0xC0000005

这个问题是因为有指针变量或函数没有被赋值，先检测是否有指针变量

对于void* 类型的变量，我们只能在TIE中创建一个变量，然后在TDE中指向它。

然后点击变量名。

对于非void*类型的变量，我们可以直接选中指针右键

就可以生成对应的类型变量，并且自动指向了指针。这一步前提是我们要在TIE中打开这个

对于指针函数，我们要在TDE的桩代码中写返回值，如图：

5. undefined reference to `LOGE'，undefined reference to `LOGD'，undefined reference to `LOGF'

原因是TESSY识别不了LOGE函数，直接在源代码中条件编译注释掉即可。

6. 对于执行测试用例不能跑到100%的情况

①第一种情况是函数中有死循环，导致函数不能全部执行，解决方法注释掉死循环。

②第二种情况是指针分配空间不足，扩大指针的分配空间即可。

7. 如何查看MC/DC真值表中哪些条件没满足

我们只需要将红色的逻辑在测试用例中体现，就能实现MC/DC的100%覆盖。