一种程序中基于动态符号执行的自动错误定位方法

技术简介： 本发明公开了一种程序中基于动态符号执行的自动错误定位方法，包括蜕变模型构造、测试引擎、自动错误定位引擎和错误定位结果整合；蜕变模型构造利用蜕变关系将没有Oracle的程序构造出有Oracle的…… 查看详细 >

一种运用线性拟合实现路径覆盖的测试数据自动生成方法

技术简介： 本发明公开了一种运用线性拟合实现路径覆盖的测试数据自动生成方法。本发明通过将主要的线性拟合运算的步骤装入至各个线程中，从而使得本发明的方法能够在多处理器的系统中并行运行，提高处理效…… 查看详细 >

一种基于倒排索引技术的软件缺陷代码文件定位方法

技术简介： 本发明公开了一种基于倒排索引技术的软件缺陷代码文件定位方法，属于计算机软件测试和维护技术领域，该方法的步骤1）汇总软件系统中的代码文件；步骤2）对代码文件记录分词；步骤3）读入缺陷报…… 查看详细 >

基于静态分析和动态运行的Web应用JavaScript代码原子性违反检测

技术简介： 本发明为一种基于静态分析和动态运行的原子性违反检测方法：先通过静态分析JS代码，获取JS中涉及到异步调用的函数和方法，保证代码上的覆盖；跨语言平台的动态插桩记录机制，在异步调用函数中设…… 查看详细 >

基于预测性分析的安卓应用程序数据竞争检测

技术简介： 本发明方法是基于安卓开发框架和其多线程模型，插桩安卓应用程序并动态运行提取单个执行轨迹，再使用预测性分析方法对执行轨迹进行分析，构造其活动间的发生序关系(Happens-Before)并预测生成多…… 查看详细 >

一种基于崩溃栈数据的软件缺陷代码定位方法

技术简介： 本发明涉及一种基于崩溃栈数据的软件缺陷代码定位方法，结合历史崩溃栈数据和历史代码维修记录，应用机器学习技术，构建缺陷代码预测模型，预测软件中包含缺陷的各个最终目标崩溃代码单元，从而…… 查看详细 >

一种基于混和效应移除的即时缺陷预测方法

技术简介： 本发明提供一种基于混和效应移除的即时缺陷预测方法，包括下列步骤：1)软件变更度量的收集；2)移除变更度量与变更量度量的混和效应；3)建立无监督即时缺陷预测模型；4)提交变更序列给开发人员进…… 查看详细 >

一种工作量感知的bug定位技术有效性评价方法

技术简介： 本发明提供一种工作量感知的bug定位技术有效性评价方法，包括下列步骤：1)软件bug报告信息的收集；2)源代码文件工作量的收集；3)源代码文件序列的生成；4)评价指标的计算；5)bug定位技术的分析…… 查看详细 >

一种对分布式文件系统进行统一性能测试的方法

技术简介： 本发明公开了一种对分布式文件系统进行统一性能测试的方法，具体包括以下步骤：首先，提供一个主从式的分布式测试框架，能够运行在多台计算机上，每台计算机上以多进程和多线程的方式并行地运行…… 查看详细 >

一种针对异常处理代码的测试方法

技术简介： 本发明公布了一种针对java异常处理代码的测试方法，该方法主要是通过评估不同插桩策略来解决使用插桩技术生成针对异常处理代码的测试可信度不高的问题，实现了针对异常处理代码的测试工具。包括…… 查看详细 >

一种面向线性约束代码的有界可达性验证方法

技术简介： 本发明公开了一种面向线性约束代码的有界模型验证方法，包括如下步骤：步骤1：构建代码的控制流程图CFG状态模型；步骤2：结合步骤1中构建的CFG状态模型，从程序的起始状态起，验证代码的CFG状态…… 查看详细 >

一种基于代码依赖关系的过时需求自动检测方法及系统

技术简介： 本发明公开了一种基于代码依赖关系的过时需求自动检测方法，该方法包括:步骤一、比较代码新旧版本间的差异，识别其中影响需求的变更代码元素；步骤二、引入代码中与变更代码元素结构上紧密依赖…… 查看详细 >