技术简介： 本发明提出一种传感器网软件可达性验证方法，该方法首先将无线传感网软件用模型表示，该模型用来描述节点以及节点之间的状态迁移，然后用粒子群算法对所得的软件模型进行优化，在具体实施总可以…… 查看详细 >
技术简介： 基于多特征缺陷再分配图分配缺陷报告的方法综合运用机器学习模型和缺陷再分配图预测缺陷修复人员，用已修复的缺陷报告中开发人员之间的再分配关系，将再分配关系转化为缺陷再分配图，使用机器学…… 查看详细 >
技术简介： 基于改进的支持向量机的软件缺陷优先级预测方法主要采用一种改进的支持向量机模型为缺陷优先级的预测建模，对缺陷报告的处理优先级进行判断和预测，步骤1)选取状态为已解决的，已关闭的，已确定…… 查看详细 >
技术简介： 本发明提供一种基于组合测试的错误定位方法，该方法从输出端的结果入手，分析输出端的故障模式，结合apriori算法定位错误，提高了错误定位的定全率和定准率。作为软件测试中定位故障的方法，本…… 查看详细 >
技术简介： 本发明提供一种频谱信息去冗优化的软件缺陷定位方法，通过运行测试用例，收集程序运行结果信息即频谱信息；对所得频谱信息进行去冗优化处理，利用频谱信息计算可疑度；根据可疑度值的大小对语句…… 查看详细 >
技术简介： 本发明给出了一种基于程序切片的软件安全测试方法，该方法对程序切片技术进行了探讨，并提出了一种基于程序切片的不可达路径检测方案。本方法以网页中提取的JavaScript脚本语言代码为输入，将其…… 查看详细 >
技术简介： 本发明是一种基于动态切片的轻量级错误定位方法，最顶层是测试用例生成模块，主要负责测试用例的自动化生成。第二层是程序状态修改模块，主要负责动态地改变谓词的结果，以产生值得进行切片的关…… 查看详细 >
技术简介： 本发明公开了基于函数控制流的安卓应用漏洞检测方法和系统，该方法在现有的静态分析方法、动态分析方法和动静结合的方法上，通过一次分析代码的操作，得到函数控制流图，并且根据函数控制流图来…… 查看详细 >
技术简介： 本发明公开一种事件触发器和事件触发方法，事件触发器包括清单文件解析模块，用于分析待测试的应用程序，解析应用程序的清单文件；事件预触发模块，向伪造虚假事件模块发出请求，通知伪造虚假事…… 查看详细 >
技术简介： 本发明公开了一种测试Android应用控件的方法，以使开发人员便于编写对于控件的测试用例，提升整个开发时间和测试水平。本发明通过分析配置文件，找出所有控件的名称、ID等信息，通过对不同的控…… 查看详细 >
技术简介： 本发明公开了一种特殊自动化测试用例实际输出结果正确性的验证方法,该方法在对自动化测试用例产生的实际数据进行特定分析处理时，不影响其自动化测试本身的进程。步骤1：获取无Bug数据存储在本…… 查看详细 >
技术简介： 本发明公开了基于频谱的增量式缺陷定位方法，该方法采用增量式逐步迭代的方法，利用程序信息和测试信息找出程序缺陷语句或者预测缺陷语句可能存在的范围。该方法首先通过运行测试用例，收集测试…… 查看详细 >