技术简介： 一种程序静态自动分析方法。本发明涉及一种使用数据流分析手段和逻辑推理系统进行程序性质自动化分析的方法，首先使用语法分析工具分析源码，构建语句级别的扩展程序流图，其次使用递归函数和其…… 查看详细 >
技术简介： 本发明公开了一种面向线性约束代码的有界模型验证方法，包括如下步骤：步骤1：构建代码的控制流程图CFG状态模型；步骤2：结合步骤1中构建的CFG状态模型，从程序的起始状态起，验证代码的CFG状态…… 查看详细 >
技术简介： 本发明方法是基于安卓开发框架和其多线程模型，插桩安卓应用程序并动态运行提取单个执行轨迹，再使用预测性分析方法对执行轨迹进行分析，构造其活动间的发生序关系(Happens-Before)并预测生成多…… 查看详细 >
技术简介： 本发明公开了一种程序中基于动态符号执行的自动错误定位方法，包括蜕变模型构造、测试引擎、自动错误定位引擎和错误定位结果整合；蜕变模型构造利用蜕变关系将没有Oracle的程序构造出有Oracle的…… 查看详细 >
技术简介： 一种Web服务测试用例自动生成方法，基于文档解析及约束求解自动生成测试用例，包括Web服务文档解析、Web服务约束条件提取和Web服务测试用例自动化生成三部分，自动化生成SOAP消息表示的测试用例…… 查看详细 >
技术简介： 本发明公开了一种面向条件判定覆盖的测试数据自动生成方法。本发明通过对每个分支节点按条件判定覆盖准则寻找可覆盖该分支节点的测试数据产生待测源代码的测试数据集。其中，对个分支节点按条件…… 查看详细 >
技术简介： 本发明公开了一种测试用例集执行顺序确定的方法及系统。其中该方法包括如下步骤：计算初始测试用例集中任意两条测试用例之间的单一用例切换成本；从初始测试用例集中选取所有组合可能的h条测试…… 查看详细 >
技术简介： 面向动态Web应用的多目标测试用例优先级测试方法，在回归测试中采用基于元素覆盖和语句覆盖的多目标测试用例优先级技术，使用多个目标对基于动态web应用的测试用例进行优先级排序，优先级高的测…… 查看详细 >
技术简介： 本发明公开了一种基于测试执行记录快速定位软件代码缺陷的方法，其步骤是：1）以测试用例为单位，整理测试执行记录；2）以代码行为单位，建立正交信息表，分别统计代码覆盖数据和执行结果数据；…… 查看详细 >
技术简介： 本发明公开一种适用于快速软件开发模式的实时软件缺陷检测方法，首先初始化模型使其对任意模块的检测结果置信度为0；等待并接收一个刚完成编码的软件模块；利用当前缺陷检测模型对所接收的软件…… 查看详细 >
技术简介： 基于事件可达性模型的图形用户界面测试脚本修复方法，获取待测新版本GUI的控件元素之间的事件序列可达性关系，生成描述GUI结构和GUI控件事件调用可达性关系的模型；并对已有测试脚本进行剖析，…… 查看详细 >
技术简介： 一种基于谓词自适应随机测试的测试用例集扩增方法，程序中的分支条件表达式称为分支，由分支条件回溯至输入域的表达式称为谓词，用于回归测试，结合软件修改分析的白盒测试技术与自适应随机测试…… 查看详细 >
Copyright © 2016 国家技术转移西南中心－区域技术转移公共服务平台 All Rights Reserved 蜀ICP备12030382号-1
主办单位：四川省科技厅、四川省科学技术信息研究所、四川省技术转移中心科易网