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