静态缺陷检测相关论文
随着软件技术的快速发展,软件的规模不断扩大,代码缺陷排查的难度日益增大,一些代码缺陷来源于某些输入源。分析缺陷的输入源需要......
代码缺陷是程序员在编程时遗留在代码中的错误实现,其能导致软件系统的行为偏离软件需求或产生非预期的错误结果。大量的软件系统......
本文提出了一种基于程序值依赖分析的、路径敏感的空指针解引用检测方法.该方法通过结合数据流分析中的到达定值分析、区间分析及......
空指针引用故障导致的软件安全问题不断出现,给各个方面带来了极大困扰和损失。文章研究利用静态测试的方法对一类空指针引用故障......
在海军面向服务架构的待测系统中,提供多类型的海军服务化描述语言（WSDL、SOAP、UDDI和BPEL）,而作为服务对外提供的描述文件,服务化......
静态缺陷检测已经成为软件测试重要的一环。它包括缺陷检测和缺陷结果分析两个阶段。由于静态分析本身不可能做到既完备又可靠,在......
