摘要：静态代码分析技术是一种常用的静态白盒测试技术,利用它可有效地发现逻辑设计与编码中30%-70%的缺陷.文章介绍了静态代码分析技术的研究现状,静态代码分析工具的基本流程及工作原理,研究了利用静态代码分析技术所能发现的软件异常类别,并结合实际的示例给出了针对Java的代码分析工具Find Bugs及Check Style的具体测试流程.本文的研究工作对高校《软件测试》课程的理论和实践教学都有一定的指导作用.

摘要：C代码中的释放后重用缺陷严重影响着嵌入式系统的鲁棒性与可靠性。针对此类漏洞的现有检测方案多针对于计算机系统及应用程序,无法为复杂多样的嵌入式程序提供支持。静态代码分析可以在没有代码运行环境的前提下进行代码缺陷检测。因此,基于LLVM编译框架设计了静态污点追踪方案,实现了针对释放后重用缺陷代码特征的自动化检测。实验结果证明了该方法能够快速、准确地检测C代码释放后重用缺陷,并且能够在大规模的嵌入式C代码项目中应用。

摘要：分析了基于静态代码分析的缓冲区溢出检测的一般方法的不足,将基于源代码分析的缓冲区溢出检测问题转化成为一个不等式组求解的数学问题,设计了基于不等式组求解的缓冲区溢出检测模型。新方法克服了一般方法的不足,可以实质性地提高缓冲区检测的效率。

摘要：为了使开发者能安全准确地使用第三库接口,库设计者提供了各种类型的安全提示(安全规约),进而保护应用程序免受因库函数的误用而造成的安全攻击.然而,研究表明:开发者经常性不遵守这些安全规约,导致应用程序中引入了各种各样的安全漏洞.为了评估该问题的影响与规模,进行了系统性的、大规模的对安全规约在安卓应用程序中违反情况的研究.结果表明:已有的安全规约由于不精确的描述、误导性的代码示例、错误的默认设置、碎片化以及缺少强制性检查等原因而大大影响了其在实际运用中的有效性.为了使开发者能更好地遵守安全规约,提出了TipTracer,一个自动化的通用漏洞分析框架.TipTracer主要包含2个部分:1)TipTracer定义了一个能形式化描述安全规约的安全性语言,并利用该语言对已知的安全规约进行形式化表述;2)TipTracer实现了一个静态代码分析器,用于检查应用程序是否满足安全规约.最后,通过大规模的实验分析,证明了TipTracer能有效且准确地对大规模的真实应用程序进行安全性分析.

摘要：针对高校C语言程序设计课程教师很难对课堂上每一个学生遇到的问题进行点评,同时课下的编程练习也缺乏对程序错误的指导等问题,设计了一种针对学生程序分析与程序修复的方法。在静态代码分析软件Cppcheck所能检测缺陷类型的基础上,添加了一些学生代码常见的缺陷类型。对于学生程序中出现的语法错误,本文在以往提交的学生代码数据库中,使用编辑距离算法获取修复提示,学生根据修复提示信息对代码进行改正。并基于此方法实现了相关模块应用到C语言在线实验系统,取得了不错的应用效果。

摘要：程序最坏执行时间(Worst Case Execution Time,WCET)是嵌入式实时系统时间属性验证的基础,在采用静态分析技术的WCET估算中需要分阶段对不同的执行环境约束条件进行分析,并整合所有约束信息、结合程序控制流结构估算全局最坏路径,因此各阶段分析的中间结果对最终的WCET估算性能具有较大影响.在现代嵌入式系统中,硬件平台中的Cache机制成为对执行时间影响较大的硬件体系结构,对其进行精确的行为分析在WCET估算中具有重要的现实意义.采用抽象解释理论对Cache行为进行分析已有较为成熟的技术成果和相关工具,但由于静态分析技术具有较难理解和使用的特点,对于技术没有覆盖、工具没有支持的硬件架构,针对这类硬件架构进行相关研究和验证工具开发都具有较大难度和挑战.该文以抽象解释为理论基础,以复用Cache分析过程为目标,提出了基于抽象解释的模块化Cache行为分析框架,对Cache行为分析过程进行了层次划分,提出了易于复用的Cache行为分析方法设计,能够针对不同架构的Cache机制分析方法进行建模,并以统一的分析框架对分析过程进行复用.案例实验表明,该框架可支持采用抽象解释对使用LRU策略的Cache行为进行建模分析,并能够得到Cache命中情况标记信息以支持后续WCET的估算过程.

摘要：嵌入式计算机软件测试是确保嵌入式系统正确运行和满足设计规格的重要步骤,随着新时代网络环境的复杂化,嵌入式计算机软件测试也面临着更多的挑战。本文就嵌入式计算机软件测试和嵌入式计算机软件的特性进行阐述,并分析了嵌入式计算机软件测试关键技术,包括静态分析、动态分析、覆盖率测试、自动化测试等,希望可以带来一些有价值的参考。

摘要：随着项目的复杂度日趋复杂,设计及实现的重构日趋频繁,项目对质量管理的要求也越来越高。项目质量管理所涉及的内容是多方面的,本文根据实践积累,结合作者所管理项目的质量提升过程,讲述了几种项目过程质量管理方法的组合应用,并对项目质量管理工作的一些心得及经验进行了总结。