技术简介： 一种基于指针分析的软件漏洞检测方法，步骤如下借助插装软件，有3个主要的插装操作，分别完成基本数据类型恢复、复杂数据类型恢复和漏洞检测基本数据类型恢复的插装，插装操作为在属于类型敏感…… 查看详细 >
技术简介： 一种Web服务测试用例自动生成方法，基于文档解析及约束求解自动生成测试用例，包括Web服务文档解析、Web服务约束条件提取和Web服务测试用例自动化生成三部分，自动化生成SOAP消息表示的测试用例…… 查看详细 >
技术简介： 本发明公开了一种基于用户执行踪迹重放的移动应用测试方法，其步骤包含记录用户对某移动应用的一次执行踪迹；分析该执行踪迹，并确定若干个停止点；重放应用的执行踪迹，直至某个停止点；从停止…… 查看详细 >
技术简介： 本发明公开了一种面向条件判定覆盖的测试数据自动生成方法。本发明通过对每个分支节点按条件判定覆盖准则寻找可覆盖该分支节点的测试数据产生待测源代码的测试数据集。其中，对个分支节点按条件…… 查看详细 >
技术简介： 本发明公开了一种程序中基于动态符号执行的自动错误定位方法，包括蜕变模型构造、测试引擎、自动错误定位引擎和错误定位结果整合；蜕变模型构造利用蜕变关系将没有Oracle的程序构造出有Oracle的…… 查看详细 >
技术简介： 本发明提供一种基于移动即时通讯软件的软件缺陷智能跟踪管理方法，包括下列步骤：1)软件缺陷描述消息的采集；2)软件缺陷报告的自动生成；3)软件缺陷报告特征向量的生成；4)软件缺陷报告严重等级…… 查看详细 >
基于静态分析和动态运行的Web应用JavaScript代码原子性违反检测
技术简介： 本发明为一种基于静态分析和动态运行的原子性违反检测方法：先通过静态分析JS代码，获取JS中涉及到异步调用的函数和方法，保证代码上的覆盖；跨语言平台的动态插桩记录机制，在异步调用函数中设…… 查看详细 >
技术简介： 本发明公开了一种基于倒排索引技术的软件缺陷代码文件定位方法，属于计算机软件测试和维护技术领域，该方法的步骤1）汇总软件系统中的代码文件；步骤2）对代码文件记录分词；步骤3）读入缺陷报…… 查看详细 >
技术简介： 本发明公开了一种运用线性拟合实现路径覆盖的测试数据自动生成方法。本发明通过将主要的线性拟合运算的步骤装入至各个线程中，从而使得本发明的方法能够在多处理器的系统中并行运行，提高处理效…… 查看详细 >
技术简介： 本发明方法是基于安卓开发框架和其多线程模型，插桩安卓应用程序并动态运行提取单个执行轨迹，再使用预测性分析方法对执行轨迹进行分析，构造其活动间的发生序关系(Happens-Before)并预测生成多…… 查看详细 >
技术简介： 本发明涉及一种基于崩溃栈数据的软件缺陷代码定位方法，结合历史崩溃栈数据和历史代码维修记录，应用机器学习技术，构建缺陷代码预测模型，预测软件中包含缺陷的各个最终目标崩溃代码单元，从而…… 查看详细 >
技术简介： 本发明提供一种基于混和效应移除的即时缺陷预测方法，包括下列步骤：1)软件变更度量的收集；2)移除变更度量与变更量度量的混和效应；3)建立无监督即时缺陷预测模型；4)提交变更序列给开发人员进…… 查看详细 >