技术简介： 本发明公开了一种测试Android应用控件的方法，以使开发人员便于编写对于控件的测试用例，提升整个开发时间和测试水平。本发明通过分析配置文件，找出所有控件的名称、ID等信息，通过对不同的控…… 查看详细 >
技术简介： 本发明给出了一种基于程序切片的软件安全测试方法，该方法对程序切片技术进行了探讨，并提出了一种基于程序切片的不可达路径检测方案。本方法以网页中提取的JavaScript脚本语言代码为输入，将其…… 查看详细 >
技术简介： 本发明是一种基于动态切片的轻量级错误定位方法，最顶层是测试用例生成模块，主要负责测试用例的自动化生成。第二层是程序状态修改模块，主要负责动态地改变谓词的结果，以产生值得进行切片的关…… 查看详细 >
技术简介： 本发明提供一种基于组合测试的错误定位方法，该方法从输出端的结果入手，分析输出端的故障模式，结合apriori算法定位错误，提高了错误定位的定全率和定准率。作为软件测试中定位故障的方法，本…… 查看详细 >
技术简介： 本发明提供一种频谱信息去冗优化的软件缺陷定位方法，通过运行测试用例，收集程序运行结果信息即频谱信息；对所得频谱信息进行去冗优化处理，利用频谱信息计算可疑度；根据可疑度值的大小对语句…… 查看详细 >
技术简介： 本发明提出一种传感器网软件可达性验证方法，该方法首先将无线传感网软件用模型表示，该模型用来描述节点以及节点之间的状态迁移，然后用粒子群算法对所得的软件模型进行优化，在具体实施总可以…… 查看详细 >
技术简介： 本发明所述的一种基于有界模型检验的无线传感网软件代码验证方法，该方法首先通过对无线传感网软件源代码分析并建立动态查找表，然后建立软件模型，该模型是无线传感网软件源代码的静态结构和动…… 查看详细 >
技术简介： 基于改进的支持向量机的软件缺陷优先级预测方法主要采用一种改进的支持向量机模型为缺陷优先级的预测建模，对缺陷报告的处理优先级进行判断和预测，步骤1)选取状态为已解决的，已关闭的，已确定…… 查看详细 >
技术简介： 基于多特征缺陷再分配图分配缺陷报告的方法综合运用机器学习模型和缺陷再分配图预测缺陷修复人员，用已修复的缺陷报告中开发人员之间的再分配关系，将再分配关系转化为缺陷再分配图，使用机器学…… 查看详细 >
技术简介： 本发明公开了一种面向云计算监控系统的冗余数据过滤方法，该方法以历史监控数据为参考，动态地制定合理的阈值，使得数据节点预处理自身的监控数据，尽量减少向管理节点推送冗余数据。该方法解决…… 查看详细 >
技术简介： 一种基于向量自回归的云计算中虚拟机监控方法是一种新型的监控方法。由于云计算中虚拟机监控的特殊性监控的数据量较为庞大，采用周期性监控会对监控系统造成巨大的压力，我们采用更节省资源的“…… 查看详细 >
技术简介： 一种基于控制器局域网的信息物理系统的验证方法，首先通过建立基于控制器局域网的信息物理系统的验证模型，然后将待验证性质以时序逻辑公式的形式进行规范表示，进而对基于控制器局域网的信息物…… 查看详细 >
Copyright © 2018 宁夏回族自治区生产力促进中心 版权所有 宁ICP备11000235号-3 宁公网安备 64010402000776号
联系电话：0951-5064080 网站访问量： 网站在线人数：0 技术支持：科易网 
微信公众号