缺陷模式论文

BPEL缺陷测试系统的设计和实现
论文摘要业务流程执行语言(BusinessProcessExecutionLanguage,BPEL)是一种Web服务(WebService,WS)组合语言。随着BPEL流程变...
C++代码缺陷检测系统的研究与设计
论文摘要随着信息化产业的高速发展,人们对软件系统安全性和可靠性的要求越来越高,软件测试面临着重大挑战。基于静态分析的自动化检测对提高软件质量有着极其重要的意义,它可以在软件开发...
嵌入式C代码审核系统设计与实现
论文摘要嵌入式应用软件广泛使用的C语言并不是一种安全编程语言,一个重要原因是其标准中存在大量未定义行为和不安全的用法,而对于未定义行为,不同编译器给出不同的解释,从而产生大量安...