【摘要】嵌入式软件缺陷检测是软件缺陷检测领域一个十分重要的研究课题。和传统的软件缺陷检测技术相比，嵌入式软件缺陷检测不仅要考虑和运用传统软件检测方法，而且还需兼顾有关实时性和相关硬件等问题，应对嵌入式软件高可靠性的要求等。针对嵌入式软件的缺陷检测技术近年来在学术界和工业界得到了广泛的研究和应用。作为驱动软件测试和缺陷检测的关键因素，测试用例的自动生成技术和优先排序技术一直是研究热点，目前市场上该类 […]

【摘要】嵌入式行业飞快发展，成为当前最热门最有发展前途的IT应用领域之一。本文解决嵌入式开发过程中遇到的部分难题。主要是利用虚拟仿真和缺陷检测两大加快嵌入式软件开发的技术，建立了一个完整的系统，深化了一种利用虚拟仿真环境来进行嵌入式软件开发的开发模式。从硬件模拟，到软件诸如内存泄露、变量未初始化等软件缺陷的检测，都包括在系统之内，并且贯穿嵌入式软件开发的整个过程之中。基于二进制代码的嵌入式软件缺陷 […]