软件静态测试相关论文
当代军备竞技以武器技术为核心,提升武器装备质量一直以来都是研制重点.装备软件作为武器装备调度的“大脑”,关键程度不言而喻.随......
论文首先说明了软件测试研究的背景与意义,然后分析了现代源代码分析技术中使用的安全规则研究现状,并对此技术可以测试出的软件中......
减少误报和漏报是基于缺陷的软件静态测试的核心问题之一，应用路径敏感的检测算法是减少误报的重要手段。本文提出了一种多项式复杂......
目前计算机软件的规模越来越大，复杂度也不断提高，软件错误造成的后果也就越来越严重，软件的质量和可靠性已引起人们的高度重视。在现......
针对软件静态测试工具在执行代码分析过程中消耗大量时间用于搜索扫描的问题,提出一种基于模式匹配技术的多关键词并行搜索方法,建......
