Klocwork相关论文
针对软件测试过程中存在着大量重复性工作的现状,将软件工程中的自动化思想和Klocwork静态测试工具结合起来,规范了软件静态测试流......
本文简要介绍了嵌入式软件及其测试的发展现状.简要阐述了嵌入式软件静态测试的主要内容,并结合实例对KIocwork软件测试工具进行介绍......
为了提高软件的测试质量和效率,在软件测试中越来越多的测试工具被应用进行软件自动化测试。文章提出了一种基于软件测试工具QAC和K......
介绍了现代源代码分析技术中使用的安全规则,并对此技术可以测试出的软件中存在的内存管理、变量未初始化、空指针引用、数组访问......
目前,主流的编程语言中,C语言的效率较高,质量较好.它具有语言的特性,同时又加入了面向对象的特性.C语言与其他高级语言不同,具有......
软件测试技术对于确保软件质量、高可靠性、高安全性越发受到行业重视。静态分析指的是一种在不执行程序的情况下对程序行为进行分......