技术简介： 本发明公布了一种针对java异常处理代码的测试方法，该方法主要是通过评估不同插桩策略来解决使用插桩技术生成针对异常处理代码的测试可信度不高的问题，实现了针对异常处理代码的测试工具。包括…… 查看详细 >
技术简介： 本发明提供一种工作量感知的bug定位技术有效性评价方法，包括下列步骤：1)软件bug报告信息的收集；2)源代码文件工作量的收集；3)源代码文件序列的生成；4)评价指标的计算；5)bug定位技术的分析…… 查看详细 >
技术简介： 本发明公开了一种对分布式文件系统进行统一性能测试的方法，具体包括以下步骤：首先，提供一个主从式的分布式测试框架，能够运行在多台计算机上，每台计算机上以多进程和多线程的方式并行地运行…… 查看详细 >
技术简介： 本发明公开了一种基于执行索引和访问路径的堆区对象比较方法，它包含以下步骤：指定一对匹配的程序执行点，以不同的输入执行同一版本程序(或者以同一输入执行不同版本的程序)，在匹配的程序执行…… 查看详细 >
技术简介： 本发明公开了一种面向线性约束代码的有界模型验证方法，包括如下步骤：步骤1：构建代码的控制流程图CFG状态模型；步骤2：结合步骤1中构建的CFG状态模型，从程序的起始状态起，验证代码的CFG状态…… 查看详细 >
技术简介： 本发明公开了一种基于代码依赖关系的过时需求自动检测方法，该方法包括:步骤一、比较代码新旧版本间的差异，识别其中影响需求的变更代码元素；步骤二、引入代码中与变更代码元素结构上紧密依赖…… 查看详细 >
技术简介： 本发明公开了一种迭代学习模型行为相似性的测试用例生成方法和装置。本发明首先根据系统状态模型构建系统状态机图，然后根据系统状态机图、已有的测试用例集、已有的测试用例集相应的测试结果生…… 查看详细 >
技术简介： 一种程序静态自动分析方法。本发明涉及一种使用数据流分析手段和逻辑推理系统进行程序性质自动化分析的方法，首先使用语法分析工具分析源码，构建语句级别的扩展程序流图，其次使用递归函数和其…… 查看详细 >
技术简介： 本发明提出的一种基于代码变更的移动应用测试脚本自动维护方法，包括以下步骤：步骤1、代码变更分析：分析新旧版本代码中产生变化的代码，进行过滤后，获取导致界面行为模型产生变更的代码变更…… 查看详细 >
技术简介： 本发明涉及一种图形界面自动化测试方法，包括以下步骤：对待测试软件自动生成随机测试用例，并对每个测试软件的功能模块生成操作序列的记录，保存运行截图；根据操作序列的记录计算操作序列之间…… 查看详细 >
技术简介： 本发明涉及基于扩展的IFML模型的移动应用的测试用例生成方法，先建立模型，即针对待测试的移动应用绘制出其对应的IFML模型；建立模型所使用到的IFML，是在原IFML标准基础上，加入了针对移动应用…… 查看详细 >
技术简介： 本发明公开一种基于缺陷报告分析的缺陷源代码定位方法，首先获得新的待检查缺陷报告；如果不存在缺陷定位模型，建立缺陷定位模型。建立缺陷定位模型：获取大量历史缺陷报告、源代码和缺陷定位标…… 查看详细 >