驱动模块和桩模块

《驱动模块和桩模块》由会员分享，可在线阅读，更多相关《驱动模块和桩模块（3页珍藏版）》请在装配图网上搜索。

1、【精品文档】如有侵权，请联系网站删除，仅供学习与交流驱动模块和桩模块.精品文档.什么是驱动模块和桩模块？为下面的函数构造一个驱动模块。int divide(int a, int b) int c; if (b=0) printf(除数不能为0); return 0; c=a/b; return c;解：驱动模块是用以模拟被测模块的上级模块，它接收测试数据，传送数据给被测模块，启动被测模块，最后输出实测结果。桩模块用以模拟被测模块工作过程中所调用的子模块。函数驱动模块：void main( ) int x,y,z; scanf(“%d%d”,&x,&y); z=divide(x,y); prin

2、tf(“%d”,z);静态分析工具：splint在Linux命令行下，splint的使用很简单，检测文件*.c，只要这样使用就可以了：splint *.c1.splint消息我们通过以下例子来认识典型的splint告警信息： 1 /splint_msg.c 2 int func_splint_msg1(void) 3 4 int a; 5 return0; 6 7 int func_splint_msg2(void) 8 9 int* a = (int*)malloc(sizeof(int);10 a = NULL;11 return0;12 运行splint splint_msg.c之后，我

3、们来看输出的告警信息：splint_msg.c: (in function func_splint_msg1)splint_msg.c:4:6: Variable a declared but not used A variable is declared but never used. Use /*unused*/ in front of declaration to suppress message. (Use -varuse to inhibit warning)splint_msg.c: (in function func_splint_msg2)splint_msg.c:10:2:

4、Fresh storage a (type int *) not released before assignment: a = NULL A memory leak has been detected. Storage allocated locally is not released before the last reference to it is lost. (Use -mustfreefresh to inhibit warning) splint_msg.c:9:37: Fresh storage a createdFinished checking - 2 code warnings蓝色字体部分：给出告警所在函数名，在函数的第一个警告消息报告前打印；红色字体部分：消息的正文，文件名、行号、列号显示在的警告的正文前；黑色字体部分：是有关该可疑错误的详细信息，包含一些怎样去掉这个消息的信息；绿色字体部分：给出格外的位置信息，这里消息给出了是在哪里申请了这个可能泄露的内存。