片上系统(System-on-Chip,SoC)通常采用自顶向下的设计流程,根据高层级的设计规约探索设计空间后,设计将以虚拟原型的方式实现,同......

软件漏洞是软件在设计实现时由于软件功能自身的复杂性和抽象性，导致在具体实现时由于考虑不周全所引起的缺陷。软件漏洞所造成的危......

针对高可信软件提出一种软件脆弱性自动测试方法。与传统测试方法不同,该方法对待测试程序进行预处理,使用自动机学习算法构造软件......

软件演化会造成一部分测试用例失效,如果直接将其从测试用例集中移除,会影响测试用例集检测缺陷的能力,降低回归测试的有效性。测......

面向高可信软件提出了一种二进制级高危整数溢出错误的全自动测试方法（dynamic automatic integer-overflow detection and testing......

如今，基于符号化执行技术的动态软件测试被人们广泛应用，然而符号化执行遍历路径时带来的路径爆炸问题限制了其性能。应用了基于动态......

Java语言已经成为了近几年最为重要的编程语言之一,根据权威开发语言排行榜TIOBE的统计,从2002年至今的10年内,Java语言市场占有率......

针对软件模型检测中的状态爆炸问题,提出将程序条件化技术用于软件状态空间缩减的方案.以程序性质的线性时序逻辑公式可能出现的蕴......

软件安全漏洞是当前网络信息安全中研究的核心问题之一,Fuzzing测试作为一种重要的软件安全漏洞检测方法,研究提高其测试过程中的......

设计并实现一种基于符号化执行的Fuzzing测试方法。通过代码插装，在程序执行过程中收集路径约束条件，依据一定的路径遍历算法生成新......