技术简介： 一种基于可调对象分析的程序漏洞模型检测方法，步骤包括：1）漏洞模型载入流程，建立漏洞模型的数据结构；2）程序状态特征检测处理过程，以函数为单位进行模型检测工作，并报告漏洞的存在性；为…… 查看详细 >
技术简介： 本发明公开了一种面向Java程序的随机测试用例生成方法，其步骤为：（1）解析Java程序的类定义，获取对象方法列表；（2）建立对象方法间的依赖关系图，包括方法调用图和属性依赖图；（3）确定待…… 查看详细 >
技术简介： 本发明公开一种适用于快速软件开发模式的实时软件缺陷检测方法，首先初始化模型使其对任意模块的检测结果置信度为0；等待并接收一个刚完成编码的软件模块；利用当前缺陷检测模型对所接收的软件…… 查看详细 >
技术简介： 本发明给出一种基于测试的静态分析误报消除方法，能够增强软件静态分析技术的可用性，降低人工确认和检查静态分析报告的时间和人力成本。利用测试技术来在运行时收集程序信息，与静态分析报告中…… 查看详细 >
技术简介： 本发明公开了一种基于测试执行记录快速定位软件代码缺陷的方法，其步骤是：1）以测试用例为单位，整理测试执行记录；2）以代码行为单位，建立正交信息表，分别统计代码覆盖数据和执行结果数据；…… 查看详细 >
技术简介： 本发明公开了一种系统故障模式确定的方法及装置。其中方法包括如下步骤：以待测系统中的故障测试用例作为初始节点，建立故障模式关系树；标记故障模式关系树中的故障模式及健康模式，得到第一故…… 查看详细 >
技术简介： 本发明公开了一种测试用例集执行顺序确定的方法及系统。其中该方法包括如下步骤：计算初始测试用例集中任意两条测试用例之间的单一用例切换成本；从初始测试用例集中选取所有组合可能的h条测试…… 查看详细 >
技术简介： 面向动态Web应用的多目标测试用例优先级测试方法，在回归测试中采用基于元素覆盖和语句覆盖的多目标测试用例优先级技术，使用多个目标对基于动态web应用的测试用例进行优先级排序，优先级高的测…… 查看详细 >
技术简介： 本发明提出一种基于路径片段频谱的符号执行搜索方法，该方法引入路径片段频谱的概念，不同的路径片段频谱从各个角度分析程序执行的行为，以获得不同层次的程序行为分析，构成程序行为的框架。该…… 查看详细 >
技术简介： 本发明提出一种基于代码生成和符号执行的访问控制策略测试自动生成方法，以针对XACML策略测试的实际需求，弥补现有测试XACML策略技术和工具的不足。该发明方法首先对用户指定受测试的XACML策略…… 查看详细 >
技术简介： 本发明公开了一种基于线性拟合函数驱动的测试数据自动生成方法。本发明通过路径分析得到路径集合，然后对每个路径寻找可覆盖该路径的测试数据产生待测源代码的测试数据集。其中，对每个路径寻找…… 查看详细 >
技术简介： 本发明公开了一种面向修订的条件判定覆盖的测试数据自动生成方法。本发明通过对每个分支节点按修订的条件判定覆盖准则寻找可覆盖该分支节点的测试数据产生待测源代码的测试数据集。其中，对个分…… 查看详细 >