期刊文献+
共找到34篇文章
< 1 2 >
每页显示 20 50 100
Testability Estimation of Framework Based Applications
1
作者 Noopur Goel Manjari Gupta 《Journal of Software Engineering and Applications》 2012年第11期841-849,共9页
Quality of software systems is highly demanded in today’s scenario. Highly testable system enhances the reliability also. More than 50% of test effort-time and cost are used to produce a highly testable system. Thus,... Quality of software systems is highly demanded in today’s scenario. Highly testable system enhances the reliability also. More than 50% of test effort-time and cost are used to produce a highly testable system. Thus, design-for-testability is needed to reduce the test effort. In order to enhance the quality, productivity and reduced cost of the software organizations are promoting to produce the reuse-oriented products. Incorporating reuse technology in both aspects-software development process and test process may payoff many folds. Keeping this view, our study focus the testability of the object-oriented framework based software systems and identify that flexibility at the variable points of the object-oriented framework, chosen for framework instantiation, greatly affects the testability of object-oriented framework based software at each level of testing. In the current paper, we propose a testability model considering the flexible aspect of the variable point to estimate testability in the early phase, requirement analysis phase, of development process of the framework based software. The proposed model helps to improve the testability of the software before the implementation starts thus reducing the overall development cost. 展开更多
关键词 Reuse-Technology Variation-Points object-oriented FRAMEWORK BASED software Basic test Cases FRAMEWORK Interface classES Other Application classES
暂未订购
基于数据链的软件故障定位方法 被引量:9
2
作者 杨波 吴际 刘超 《软件学报》 EI CSCD 北大核心 2015年第2期254-268,共15页
软件中存在的故障很多与数据流紧密相关,对数据流故障定位是一个具有相当难度的研究问题.通过分析变量的定义-使用关系和变量间的依赖关系,并跟踪程序运行时各种操作对变量值的影响,即,变量操作状态的变化等基本信息,提出了一种综合考... 软件中存在的故障很多与数据流紧密相关,对数据流故障定位是一个具有相当难度的研究问题.通过分析变量的定义-使用关系和变量间的依赖关系,并跟踪程序运行时各种操作对变量值的影响,即,变量操作状态的变化等基本信息,提出了一种综合考虑变量操作状态变化以及变量操作状态间依赖关系的数据链模型,利用该模型对程序中数据流故障进行定位.经过实验验证,所提出的基于数据链的故障定位方法的定位结果与基于定义-使用对、基于程序切片、基于概率依赖图和基于语句覆盖这4种典型的故障定位方法进行了对比,取得了更好的定位效果. 展开更多
关键词 故障定位 数据流 变量 数据链 软件测试
在线阅读 下载PDF
基于程序插装的动态测试技术实现 被引量:16
3
作者 孙昌爱 金茂忠 《小型微型计算机系统》 CSCD 北大核心 2001年第12期1475-1479,共5页
动态测试是检测程序的动态行为的一种有效手段 .本文介绍了 Safepro白盒软件测试工具系列中基于程序插装的动态测试技术实现 ,具体讨论了动态测试的模型、数据流模型和动态跟踪数据的编码和解码技术 。
关键词 动态测试 数据流分析 软件测试 程序插装 软件工程
在线阅读 下载PDF
Gupta方法的改进 被引量:3
4
作者 单锦辉 王戟 +1 位作者 齐治昌 吴建平 《计算机学报》 EI CSCD 北大核心 2002年第12期1378-1386,共9页
Gupta等提出一种线性化谓词函数的方法 (简称 Gupta方法 ) ,为指定程序路径自动生成测试数据 .该文给出了一种模型语言 ,研究静态、动态数据依赖关系的性质以及 Gupta方法中各概念的形式化定义 ,将 Gupta等提出的谓词片推广为路径静态切... Gupta等提出一种线性化谓词函数的方法 (简称 Gupta方法 ) ,为指定程序路径自动生成测试数据 .该文给出了一种模型语言 ,研究静态、动态数据依赖关系的性质以及 Gupta方法中各概念的形式化定义 ,将 Gupta等提出的谓词片推广为路径静态切片 ,证明了路径静态切片构造算法的正确性 .对 Gupta方法的改进 ,省略了构造谓词片和输入依赖集的过程 ,改进后的方法构造线性约束的效率更高 .以改进后的方法为核心算法 ,开发了面向路径的测试数据自动生成的原型工具 ,并用实际的程序路径对该工具进行实验 .结果表明改进后的方法是比较有效的 . 展开更多
关键词 Gupta 测试数据自动生成 路径测试 软件测试 数据流分析 程序切片 线性化谓词函数
在线阅读 下载PDF
一种基于类数据流的软件测试技术 被引量:3
5
作者 李庆华 刘金根 +1 位作者 缪天鹏 党建国 《华中科技大学学报(自然科学版)》 EI CAS CSCD 北大核心 2003年第11期17-19,共3页
提出了一种类数据流测试技术 ,通过类的数据流分析计算出实例变量的定义 使用对信息及成员函数的前置条件和后置条件 ,匹配函数的前置条件和后置条件为每一定义 使用对产生函数激活序列 (即测试用例 ) .这样产生的测试用例能够发现成... 提出了一种类数据流测试技术 ,通过类的数据流分析计算出实例变量的定义 使用对信息及成员函数的前置条件和后置条件 ,匹配函数的前置条件和后置条件为每一定义 使用对产生函数激活序列 (即测试用例 ) .这样产生的测试用例能够发现成员函数与实例变量之间交互作用时发生的错误 ,并且弥补了传统数据流测试技术的不足 ,减少了重复测试 ,提高了测试效率 . 展开更多
关键词 类数据流 类测试 对象状态 软件测试
在线阅读 下载PDF
基于数据流的类测试技术研究 被引量:3
6
作者 张雪萍 范中山 +1 位作者 王家耀 庄雷 《计算机工程与应用》 CSCD 北大核心 2005年第9期40-42,共3页
面向对象软件测试已成为软件工程领域的一个重要研究课题,其中,类测试是面向对象软件测试的关键。论文在介绍传统数据流测试技术的基础上,以面向对象软件的类作为基本测试单元,研究了一种基于数据流的类测试技术。
关键词 面向对象 软件测试 数据流测试 类测试
在线阅读 下载PDF
数据流测试准则之间关系的研究 被引量:2
7
作者 伦立军 丁雪梅 李英梅 《计算机工程与应用》 CSCD 北大核心 2005年第4期79-81,共3页
软件测试充分性准则是决定一个软件系统能否被充分测试的规则,而测试充分性的关键问题是其检测故障的能力。该文首先分析了数据流测试基本概念,然后讨论了数据流测试准则之间的关系,最后针对测试准则C1和C2,提出了二者的关系R。R(C1,C2... 软件测试充分性准则是决定一个软件系统能否被充分测试的规则,而测试充分性的关键问题是其检测故障的能力。该文首先分析了数据流测试基本概念,然后讨论了数据流测试准则之间的关系,最后针对测试准则C1和C2,提出了二者的关系R。R(C1,C2)可保证在特定的错误检测度量方法下,C1比C2具有更好的检错能力。 展开更多
关键词 软件测试 测试准则 数据流分析 测试数据
在线阅读 下载PDF
可执行可信软件安全性分析技术研究 被引量:2
8
作者 陈楠 王震宇 +2 位作者 窦增杰 姚伟平 余弦 《计算机工程与设计》 CSCD 北大核心 2010年第22期4802-4805,共4页
为了保证基于可信架构的可信软件的安全性,给出了可信软件安全性分析的总体架构及其工作原理。提出了一个静态分析技术与动态测试技术相结合的有效机制,实现了静态分析和动态跟踪的交互协作,提高了安全分析的效率。设计了一种可执行代... 为了保证基于可信架构的可信软件的安全性,给出了可信软件安全性分析的总体架构及其工作原理。提出了一个静态分析技术与动态测试技术相结合的有效机制,实现了静态分析和动态跟踪的交互协作,提高了安全分析的效率。设计了一种可执行代码中间表示的方法,给出了建立程序存储空间抽象模型和程序抽象运行时刻环境的方法。详细地讨论了程序的控制流和数据流分析技术,并给出了求解算法。最后,概述了程序动态测试系统。 展开更多
关键词 可信软件 静态分析 动态测试 控制流分析 数据流分析
在线阅读 下载PDF
一种针对交互式软件的功能测试方法 被引量:3
9
作者 曹文静 施建洪 崔嘉 《海军航空工程学院学报》 2009年第5期583-586,共4页
交互式软件的功能是通过复杂的人机交互完成的,目前的功能测试常常只考虑软件的界面信息,而不考虑软件的具体需求和逻辑实现流程,这就导致测试巾随意性较大,测试过程难以有序进行。针对这种情况,文章提出了一种基于数据流图的功能... 交互式软件的功能是通过复杂的人机交互完成的,目前的功能测试常常只考虑软件的界面信息,而不考虑软件的具体需求和逻辑实现流程,这就导致测试巾随意性较大,测试过程难以有序进行。针对这种情况,文章提出了一种基于数据流图的功能测试方法,依据交互式软件的需求规约和用户界面,以数据的流向来组织功能测试过程。 展开更多
关键词 软件测试 功能测试 交互式软件 数据流图
在线阅读 下载PDF
基于BPEL的Web Service组合的数据流分析测试方法(英文) 被引量:8
10
作者 董文莉 胡建华 《软件学报》 EI CSCD 北大核心 2009年第8期2102-2112,共11页
随着Web Service组合变得越来越复杂,通过测试来保证服务质量和可靠性也变得越来越重要.将传统数据流分析方法扩展用于Web Service组合测试,提出了一种基于BPEL的Web Service组合的数据流分析测试方法.该方法基于一个测试模型:Web Serv... 随着Web Service组合变得越来越复杂,通过测试来保证服务质量和可靠性也变得越来越重要.将传统数据流分析方法扩展用于Web Service组合测试,提出了一种基于BPEL的Web Service组合的数据流分析测试方法.该方法基于一个测试模型:Web Service组合测试模型WSCTM,该测试模型可以捕获Web Service组合的数据流接口.采用基于服务的模型WSCTM,数据流可以从3个视点来分析:服务间、服务内和服务实现构件间.从而,Web Service组合的数据流测试可以在三层上得到实现.基于以上方法,可得到Web Service组合的定义-使用链,最终可产生满足既定测试标准以获得需求Web服务组合质量要求的测试路径. 展开更多
关键词 WEB服务 业务流程执行语言 WEB服务组合 软件测试 数据流分析
在线阅读 下载PDF
基于模型检测的数据流异常测试技术研究 被引量:2
11
作者 陈涛 许金超 钮俊 《计算机工程与应用》 CSCD 北大核心 2011年第25期1-4,共4页
程序的执行体现为数据在变量中的流动。对C/C++源代码中变量定义使用情况进行分析,针对变量未赋值就使用、变量重复赋值和变量定义后未使用三种数据流异常情况,使用程序阅读自动机,把程序转换为变量状态机,使用ALCCTL时序逻辑和模型检... 程序的执行体现为数据在变量中的流动。对C/C++源代码中变量定义使用情况进行分析,针对变量未赋值就使用、变量重复赋值和变量定义后未使用三种数据流异常情况,使用程序阅读自动机,把程序转换为变量状态机,使用ALCCTL时序逻辑和模型检验工具,验证程序是否满足定义的可信模式。提出了新的静态查找变量使用故障的方法。该方法已应用于面向故障的软件测试系统中。 展开更多
关键词 变量使用 软件测试 数据流异常 模型检测
在线阅读 下载PDF
新的结构化测试数据自动生成方法 被引量:1
12
作者 马建红 辛政华 +1 位作者 王磊 徐敏 《计算机工程与设计》 CSCD 北大核心 2008年第10期2581-2586,共6页
针对模拟退火算法,遗传算法应用于测试数据的自动生成的局限性,提出了一种基于GEMGA(基因表达散乱遗传算法)的结构化测试数据的自动生成的方法。讨论了路径的选择,提出了将控制流图与数据流图结合起来生成测试路径,通过TriType的分析结... 针对模拟退火算法,遗传算法应用于测试数据的自动生成的局限性,提出了一种基于GEMGA(基因表达散乱遗传算法)的结构化测试数据的自动生成的方法。讨论了路径的选择,提出了将控制流图与数据流图结合起来生成测试路径,通过TriType的分析结果说明了该方法的可行性。根据得到的测试路径将GEMGA应用到测试数据的自动生成,TriType的实验结果表明,GEMGA能生成更高质量的数据,并适用于较大规模的程序。 展开更多
关键词 数据流图 控制流图 结构测试 测试数据 基因表达散乱遗传算法 黑盒优化 搜索被构想为按级别排列的联系和类的框架 串链方法
在线阅读 下载PDF
基于分支相关性分析的不可达路径检测方法 被引量:1
13
作者 姜淑娟 韩寒 +3 位作者 史娇娇 张艳梅 鞠小林 钱俊彦 《计算机研究与发展》 EI CSCD 北大核心 2016年第5期1072-1085,共14页
软件测试中,不可达路径的存在会导致测试资源浪费,有效地检测程序中的不可达路径有助于节约测试资源、提高测试效率.分支相关性的存在是不可达路径产生的主要起因.因此,确定分支的相关性在不可达路径的检测中占据十分重要的地位.提出了... 软件测试中,不可达路径的存在会导致测试资源浪费,有效地检测程序中的不可达路径有助于节约测试资源、提高测试效率.分支相关性的存在是不可达路径产生的主要起因.因此,确定分支的相关性在不可达路径的检测中占据十分重要的地位.提出了一种利用关联分析和数据流分析确定分支相关性的方法,进而实现不可达路径的自动检测.首先,结合静态分析和动态分析,构建反映程序中各分支判断语句静态依赖关系和动态执行信息的数据集;然后,利用关联分析和数据流分析技术确定分支的相关性;最后,根据分支相关性信息检测不可达路径.基于一组基准程序和开源程序,开展不可达路径检测实验.实验结果表明,该方法能够准确地检测出程序中的不可达路径,可以有效地提高软件测试的效率. 展开更多
关键词 软件测试 不可达路径 分支相关性 关联分析 数据流分析
在线阅读 下载PDF
基于Labview的挖掘机多路阀综合测试系统开发 被引量:8
14
作者 刘金刚 祝建仁 +1 位作者 旷水章 陈建文 《机械科学与技术》 CSCD 北大核心 2014年第9期1368-1372,共5页
介绍了一个基于Labview的挖掘机多路阀全电液综合测试系统。根据相关多路阀测试标准要求以及挖掘机多路阀的特点完成测试系统的液压系统原理和数据采集控制系统的设计。系统采用电液比例技术完成液压系统的控制包括系统压力、流量、多... 介绍了一个基于Labview的挖掘机多路阀全电液综合测试系统。根据相关多路阀测试标准要求以及挖掘机多路阀的特点完成测试系统的液压系统原理和数据采集控制系统的设计。系统采用电液比例技术完成液压系统的控制包括系统压力、流量、多路阀的动作以及负载模拟,并利用Labview软件完成测试系统软件设计实现数据的自动采集、处理、显示以及打印等功能,因此系统具有很高的自动化程度能有效提高挖掘机多路阀的测试效率。以完成的测试系统为基础对某挖掘机多路阀进行相关的测试试验,从结果表面设计的综合测试系统功能完善、操作简单。 展开更多
关键词 多路阀 综合测试系统 数据采集 LABVIEW
在线阅读 下载PDF
一种基于数据流分析的冗余变异体识别方法 被引量:8
15
作者 孙昌爱 郭新玲 +1 位作者 张翔宇 陈宗岳 《计算机学报》 EI CSCD 北大核心 2019年第1期44-60,共17页
变异测试是一种基于故障的软件测试技术,广泛用来评估测试用例集的充分性与软件测试技术的有效性.尽管变异测试具有较强的故障检测能力,但由于数量庞大的变异体导致了计算开销大的问题,阻碍了变异测试在实践中的广泛应用.为了增强变异... 变异测试是一种基于故障的软件测试技术,广泛用来评估测试用例集的充分性与软件测试技术的有效性.尽管变异测试具有较强的故障检测能力,但由于数量庞大的变异体导致了计算开销大的问题,阻碍了变异测试在实践中的广泛应用.为了增强变异测试的实用性,该文从减少变异体数量和缩短变异测试执行时间的角度出发研究变异测试的优化技术,提出冗余变异体的概念和一种基于数据流分析的冗余变异体识别方法.采用11个C程序以经验研究的方式评估了所提冗余变异体识别方法的可行性与有效性.实验结果表明,该文提出的冗余变异体识别方法不仅可以识别出大量的冗余变异体,有效地减少了变异测试执行时间,还提供了一种评价变异算子质量的方法.该文提出的冗余变异体概念及其识别方法可以有效地提高变异测试的效率,并为资源受限的情况下如何选择变异算子进行变异测试提供了指导方针. 展开更多
关键词 软件测试 变异测试 冗余变异体 数据流分析 变异优化
在线阅读 下载PDF
关于可应用测试数据充分性准则复杂性的注记 被引量:1
16
作者 暴建民 王申科 《计算机学报》 EI CSCD 北大核心 1999年第4期437-441,共5页
软件测试充分性准则的复杂性分析对于测试效率的分析和比较具有重要意义,对于测试充分性准则使用具有指导意义.Wepuker于1984年提出了Rapps-Weyuker的all-uses,all-p-uses/some-c-uses,all-c-uses/some-p-uses和all-p... 软件测试充分性准则的复杂性分析对于测试效率的分析和比较具有重要意义,对于测试充分性准则使用具有指导意义.Wepuker于1984年提出了Rapps-Weyuker的all-uses,all-p-uses/some-c-uses,all-c-uses/some-p-uses和all-p-uses准则的复杂性上界,于1988年又提出可应用数据流测试准则.我们发现原有测试复杂度在可应用家族中应用出现问题,本文就此问题给出注记. 展开更多
关键词 软件测试 软件可靠性 数据流 测试准则 软件开发
在线阅读 下载PDF
DFSampling:一种数据流分析指导的变异体精简策略 被引量:1
17
作者 孙昌爱 卫新洁 +1 位作者 刘镇贤 宫云战 《软件学报》 EI CSCD 北大核心 2022年第9期3407-3421,共15页
软件测试是一种广泛使用的软件质量保证手段.变异测试是一种基于故障的软件测试方法,广泛用于评估测试用例集的充分性与软件测试技术的有效性.数量庞大的变异体导致变异测试的成本非常高.提出一种数据流分析指导的变异体精简方法(DFSamp... 软件测试是一种广泛使用的软件质量保证手段.变异测试是一种基于故障的软件测试方法,广泛用于评估测试用例集的充分性与软件测试技术的有效性.数量庞大的变异体导致变异测试的成本非常高.提出一种数据流分析指导的变异体精简方法(DFSampling),设计了启发式规则,基于这些规则对随机选择技术与基于路径感知的变异体精简技术(PAMR)进行了改进.采用经验研究的方式评估了DFSampling的有效性,比较了DFSampling与随机选择技术、PAMR技术的有效性,实验结果表明DFSampling是一种有效的变异体精简策略,提高了变异测试的效率. 展开更多
关键词 软件测试 变异测试 数据流分析 变异体精简 随机选择策略
在线阅读 下载PDF
面向对象软件类测试研究新进展 被引量:5
18
作者 张雪萍 《计算机工程与设计》 CSCD 北大核心 2006年第11期1954-1956,1969,共4页
软件测试是软件开发过程中不可缺少的一环,是保证软件质量和提高软件可靠性的关键。近年来,随着面向对象软件开发方法应用的更加广泛和研究的不断深入,面向对象软件测试已成为软件工程领域的一个重要研究课题。类是面向对象软件的基本... 软件测试是软件开发过程中不可缺少的一环,是保证软件质量和提高软件可靠性的关键。近年来,随着面向对象软件开发方法应用的更加广泛和研究的不断深入,面向对象软件测试已成为软件工程领域的一个重要研究课题。类是面向对象软件的基本构成单元,类测试是面向对象软件测试的关键。从基于状态、基于规范、基于UML、基于方法序列、基于数据流等6方面论述了类测试的目前研究成果,分析了研究现状,探讨了进一步工作的方向。 展开更多
关键词 类测试 基于状态 基于规范 基于UML 基于方法序列 基于数据流
在线阅读 下载PDF
基于数据流图的仿真训练软件测试用例生成 被引量:1
19
作者 齐新战 孙春生 卫翔 《西南科技大学学报》 CAS 2013年第3期86-88,共3页
在仿真训练软件中,操作人员通过图形界面完成信息交互。通过采用黑盒测试的方法,输入测试数据驱动程序运行,可以检验图形界面的操作交互是否正确。采用基于数据流图(DFD)的测试用例生成方法,可以组成完整的测试用例集合,覆盖程序运行流... 在仿真训练软件中,操作人员通过图形界面完成信息交互。通过采用黑盒测试的方法,输入测试数据驱动程序运行,可以检验图形界面的操作交互是否正确。采用基于数据流图(DFD)的测试用例生成方法,可以组成完整的测试用例集合,覆盖程序运行流程,从而提高测试效率,保证测试质量。 展开更多
关键词 数据流图 测试用例生成 仿真训练软件
在线阅读 下载PDF
面向对象类测试方法分析 被引量:5
20
作者 郑春一 宋雨 孙文靖 《微机发展》 2003年第1期57-59,66,共4页
面向对象软件测试是面向对象软件开发的重要阶段 ,面向对象测试的关键是类测试。当前 ,类测试常用的方法是基于状态的测试和数据流测试。文章对这两种方法进行了分析和比较 ,提出了将来基于这两种方法的研究重点。
关键词 面向对象 类测试方法 软件测试 软件开发 软件质量
在线阅读 下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部