Codecomb:基于符号执行的嵌入式软件测试案例自动生成与缺陷检测

作     者：郭文生 汪勇 杨霞 高敏 GUO Wen-sheng;WANG Yong;YANG Xia;GAO Min

作者机构：电子科技大学信息与软件工程学院成都610054 美国加州大学洛杉矶分校电子工程系加利福尼亚州洛杉矶90034 

基　　金：国家自然科学基金项目(61272175 61572109)资助 中央高校基本业务费(ZYGX2015J066)资助 

出 版 物：《小型微型计算机系统》 (Journal of Chinese Computer Systems)

年 卷 期：2017年第38卷第6期

页      码：1250-1255页

摘      要：嵌入式系统在生活、工业以及军事等领域的应用日益增多,嵌入式软件的可靠性要求也越来越高.设计一套嵌入式系统的测试工具,全面深入地对嵌入式系统可靠性进行检测对系统可靠性的提高具有极其重要的意义.设计的工具Codecomb通过采用客户端和服务器端架构实现被测软件与测试工具的分离,将复杂的测试计算转移到服务器上,同时分离的测试架构可以更好的适用于不同嵌入式平台软件的测试.采用动态符号执行技术生成测试案例可以实现较高的分支覆盖度,进而针对程序的缺陷检查也会更加全面和深入,能够发现程序中隐藏较深的错误.实验结果表明,本文所设计的工具能够实现软件缺陷的自动化判定,并对程序运行过程中的缓冲区溢出、内存泄漏等错误准确地进行定位.

主 题 词：嵌入式软件测试 插桩 动态符号执行 测试案例生成 缺陷检测 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

馆 藏 号：203232087...