检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

非法计算故障的静态测试

计算机辅助设计与图形学学报 2007年第1期19卷 119-124页

作者：曹文静宫云战装甲兵工程学院信息工程系

针对C/C++程序中的非法计算,形式化定义了非法计算故障;建立了表达式区间运算模型、变量取值区间集产生模型和非法计算故障模型,并将其作为静态识别非法计算的基础;提出了非法计算自动测试算法.实验结果表明,文中方法具有较高的故障检... 详细信息

针对C/C++程序中的非法计算,形式化定义了非法计算故障;建立了表达式区间运算模型、变量取值区间集产生模型和非法计算故障模型,并将其作为静态识别非法计算的基础;提出了非法计算自动测试算法.实验结果表明,文中方法具有较高的故障检测准确率和测试效率.

关键词：软件测试静态测试方法非法计算故障模型自动测试算法

在线全文

学校读者我要写书评

暂无评论

一种嵌入式控制软件的可靠性测试

计算机工程 2001年第3期27卷 69-70,105页

作者：万琳宫云战装甲兵工程学院计算机应用教研室北京100072

主要针对我国装备领域的一种嵌入式控制软件的数学仿真平台模拟测试，介绍了平台的结构及被测软件的设计，并对测试所收集的各项数据进行分析，同时简单讨论了可测试剖面及覆盖率的有关问题．

关键词：嵌入式控制软件可靠性测试面向对象软件开发计算机

在线全文

学校读者我要写书评

暂无评论

萤火虫算法在测试用例集约简中的应用

哈尔滨工程大学学报 2020年第4期41卷 577-582页

作者：宫云战徐健豪邢颖北京邮电大学网络与交换技术国家重点实验室北京100876 北京邮电大学自动化学院北京100876

为了研究智能算法在测试用例集约简中的应用,本文提出一种基于萤火虫算法的测试用例集约简算法。将测试用例集约减问题转化为二元优化的集覆盖问题;对萤火虫算法进行改进,通过设置萤火虫细胞的方法,将萤火虫位置转化为0/1序列;将萤火虫... 详细信息

为了研究智能算法在测试用例集约简中的应用,本文提出一种基于萤火虫算法的测试用例集约简算法。将测试用例集约减问题转化为二元优化的集覆盖问题;对萤火虫算法进行改进,通过设置萤火虫细胞的方法,将萤火虫位置转化为0/1序列;将萤火虫算法与贪心算法相结合,进行求解。对不同程序和不同规模的测试用例集的仿真实验,在相同的测试次数下,萤火虫算法得到最优解的次数高于贪心算法和优化的GRE算法,萤火虫算法约简后测试开销比贪心算法减少了12.6%,比优化的GRE算法减少了2.3%。结果表明:该算法在约简能力和稳定性方面均优于传统算法。

关键词：软件测试回归测试测试用例集约简二元优化智能算法萤火虫算法集覆盖问题分支覆盖

在线全文

学校读者我要写书评

暂无评论

非法计算检测的通用模型

计算机辅助设计与图形学学报 2009年第4期21卷 487-492页

作者：江标宫云战杨朝红北京邮电大学网络与交换技术国家重点实验室北京100876 装甲兵工程学院信息工程系北京100072

非法计算是导致系统崩溃的一个常见故障.文中总结了Java语言中可能产生非法计算的运算符和数学库函数;建立了一个通用模型,用以检测一般函数(包括系统函数和自定义函数)在使用时是否合法;基于该通用模型提出了非法计算检测算法,并在此... 详细信息

非法计算是导致系统崩溃的一个常见故障.文中总结了Java语言中可能产生非法计算的运算符和数学库函数;建立了一个通用模型,用以检测一般函数(包括系统函数和自定义函数)在使用时是否合法;基于该通用模型提出了非法计算检测算法,并在此算法中引入区间运算.实验结果表明,文中模型及算法可以在检测出更多的非法计算故障的同时降低误报率.

关键词：非法计算区间运算静态测试故障模型

基于域敏感指向分析的区间运算在软件测试中的应用

在线全文

学校读者我要写书评

暂无评论

计算机研究与发展 2012年第9期49卷 1852-1862页

作者：周虹伯金大海宫云战网络与交换技术国家重点实验室(北京邮电大学) 北京100876

静态分析由于并不执行源代码,导致无法获取变量在实际运行中的取值,进而对一些和变量取值相关的缺陷检测带来了一定困难.利用符号执行和区间运算技术,虽然可以模拟程序实际执行时变量的可能取值范围,但对于结构体、数组等,由于不能对其... 详细信息

静态分析由于并不执行源代码,导致无法获取变量在实际运行中的取值,进而对一些和变量取值相关的缺陷检测带来了一定困难.利用符号执行和区间运算技术,虽然可以模拟程序实际执行时变量的可能取值范围,但对于结构体、数组等,由于不能对其成员进行独立描述,导致数据流无法支持域敏感分析,对和其成员变量相关的缺陷的检测难以实现,产生很多漏报.基于域敏感指向分析的区间运算模型,在域敏感指向分析模型的基础上对其进行了改进,将复杂数据类型拆分成独立的成员变量进行分析,并提出一种关联抽象取值集的类型系统,该系统可以保守的描述程序在动态执行时变量的可能取值.结合赋值语句的抽象语法定义,给出了该类型系统在数据流计算时的具体推导算法,并将其应用在缺陷检测系统(DTSGCC和DTSCPP)中.选用DTSCPP作为实验平台,对6个C++开源工程进行了测试,并对其数据进行了统计分析,结果表明该方法可以减少漏报,且测试效率与非域敏感版本相当.

关键词：静态分析缺陷检测域敏感指向分析区间运算

在线全文

学校读者我要写书评

暂无评论

基于区间必然集的测试用例生成方法

计算机辅助设计与图形学学报 2013年第4期25卷 550-556,563页

作者：王雅文宫云战肖庆北京邮电大学网络与交换技术国家重点实验室北京100876 中国科学院计算技术研究所计算机体系结构国家重点实验室北京100190 装甲兵工程学院信息工程系北京100072

针对自动化单元测试中面向路径的测试用例生成问题,通过改进传统的基于符号执行的测试用例生成方法,提出"符号化区间"来表示和分析变量的静态取值范围,并给出简单表达式和逻辑表达式中"区间可能集"和"区间必然集"的计算方法.提出了面向... 详细信息

针对自动化单元测试中面向路径的测试用例生成问题,通过改进传统的基于符号执行的测试用例生成方法,提出"符号化区间"来表示和分析变量的静态取值范围,并给出简单表达式和逻辑表达式中"区间可能集"和"区间必然集"的计算方法.提出了面向路径的值区间分析算法,通过对给定路径进行前向数据流分析来计算各条边上的区间上下文环境以及各符号的必然取值区间,在路径出口处的符号值区间必然集中任意取值,可得到覆盖给定路径的测试用例.与基于约束求解的传统方法相比,文中方法省去了表达式变换及调用约束求解器的过程,对输入变量弱关联的情况能够快速、准确地生成测试用例.

关键词：测试用例面向路径符号执行上下文环境区间必然集

在线全文

学校读者我要写书评

暂无评论

测试用例自动生成中等式约束处理算法

计算机辅助设计与图形学学报 2017年第9期29卷 1740-1749页

作者：张博邢颖宫云战贾薇北京邮电大学网络与交换技术国家重点实验室北京100876 北京邮电大学自动化学院北京100876

为了解决测试用例自动生成中等式约束的求解问题,提出一种加入等式处理策略的分支限界搜索算法.首先将线性代数中判定线性方程组是否有解的方法引入分支限界测试用例生成框架之中;然后在已有算法模型的基础上提出集成等式处理分支限界... 详细信息

为了解决测试用例自动生成中等式约束的求解问题,提出一种加入等式处理策略的分支限界搜索算法.首先将线性代数中判定线性方程组是否有解的方法引入分支限界测试用例生成框架之中;然后在已有算法模型的基础上提出集成等式处理分支限界搜索算法,以支持多种变量类型的等式处理;最后将等式约束分为等式无解、等式多解和等式唯一解三大类进行处理,包含了等式约束求解问题的所有情况.实验结果表明,文中算法可以实现对一部分不可达路径的检测,在很大程度上减少测试用例生成的时间并提高覆盖率;对大工程的测试以及同开源约束求解工具Choco的对比实验,也证明了该算法可以提升测试效率.

关键词：约束满足问题线性代数不可达路径分支限界

在线全文

学校读者我要写书评

暂无评论

提高静态缺陷检测精度方法

计算机辅助设计与图形学学报 2010年第11期22卷 2037-2044页

作者：肖庆杨朝红宫云战北京邮电大学网络与交换技术国家重点实验室北京100876 装甲兵工程学院信息工程系北京100072

误报率和漏报率是静态缺陷检测的关键技术指标,提高分析精度是降低误报和漏报的主要手段.文中介绍了缺陷模式及其有限状态机描述,提出基于传统数据流分析的缺陷检测方法.采用变量抽象取值来近似地表示程序动态执行信息,通过状态条件中... 详细信息

误报率和漏报率是静态缺陷检测的关键技术指标,提高分析精度是降低误报和漏报的主要手段.文中介绍了缺陷模式及其有限状态机描述,提出基于传统数据流分析的缺陷检测方法.采用变量抽象取值来近似地表示程序动态执行信息,通过状态条件中的变量抽象取值范围为空来判断不可达路径,以实现路径敏感分析;使用缺陷相关的函数摘要来表示缺陷检测所需函数调用信息,其中缺陷相关的函数摘要包括前置约束信息、后置约束信息和函数特征信息三部分,实现了上下文敏感的跨函数分析.文中方法已在缺陷检测系统DTS中实现,在大型开源软件分析中的实验结果表明,该方法能减少误报和漏报.

关键词：缺陷检测静态分析数据流分析路径敏感上下文敏感

在线全文

学校读者我要写书评

暂无评论

数组越界的静态测试分析

计算机工程 2006年第3期32卷 70-72页

作者：高传平宫云战装甲兵工程学院信息工程系北京100072

给出了一种静态分析方法,静态分析的主要优点就是在程序运行之前就可以对程序故障进行定位。文章首先针对数组越界错误类型进行了分析,介绍了软件测试的一些基本概念,给出了这类错误的静态分析方法,并给出了相应的算法,而后给出了测试... 详细信息

给出了一种静态分析方法,静态分析的主要优点就是在程序运行之前就可以对程序故障进行定位。文章首先针对数组越界错误类型进行了分析,介绍了软件测试的一些基本概念,给出了这类错误的静态分析方法,并给出了相应的算法,而后给出了测试系统设计和开发,最后给出了软件测试的实验结果和分析。

关键词：数组越界静态分析算法控制流图