期刊文献+
共找到37篇文章
< 1 2 >
每页显示 20 50 100
软件测试管理及其工程应用 被引量:9
1
作者 高慧英 《计算机与数字工程》 2007年第1期147-149,共3页
在分析软件测试模型和软件测试流程的基础上,总结测试管理原则,并将其应用于工程实践中。
关键词 软件测试模型 软件测试流程 软件测试管理 关键过程域
下载PDF
基于工作流技术的软件测试流程定义与监控 被引量:8
2
作者 郑小军 刘超 晏海华 《计算机应用研究》 CSCD 北大核心 2007年第2期43-45,88,共4页
阐述了软件测试流程的相关概念,论述了基于工作流技术实现软件测试流程定义与监控的概念模型,详细探讨了软件测试流程定义与实例化和软件测试流程的执行与监控所涉及的主要内容及其具体实现方案。
关键词 工作流 测试流程 测试阶段 测试流程控制项
下载PDF
CoDoc Marvel在软件测试中的应用研究 被引量:2
3
作者 胡晓明 高园园 +1 位作者 卢辉 董军平 《电子质量》 2024年第1期58-63,共6页
针对软件设计审查工具CoDoc Marvel,提出一种在软件测试领域中的应用方法。从软件源代码中逆向提取软件层次结构、接口信息、数据设计和逻辑设计等信息,指导代码审查、软件测试用例设计、测试缺陷定位和软件回归测试。研究结果表明,利... 针对软件设计审查工具CoDoc Marvel,提出一种在软件测试领域中的应用方法。从软件源代码中逆向提取软件层次结构、接口信息、数据设计和逻辑设计等信息,指导代码审查、软件测试用例设计、测试缺陷定位和软件回归测试。研究结果表明,利用逆向工程技术和工具可以有效提升软件测试的效率和效能,特别是在理解软件体系结构和测试设计方面具有非常重要的作用。 展开更多
关键词 软件测试 逆向工程 软件设计 流程图 软件重构
下载PDF
基本路径测试方法之圈复杂度计算 被引量:8
4
作者 肖自乾 王弗雄 陈经优 《软件导刊》 2010年第1期10-12,共3页
软件测试是软件开发过程中不可缺少的重要组成部分,贯穿整个软件开发过程。在软件测试方法中,白盒测试和黑盒测试是经常使用的测试技术。白盒测试中的基本路径测试方法是解决复杂路径测试最有效的方法,而圈复杂度的计算则是基本路径测... 软件测试是软件开发过程中不可缺少的重要组成部分,贯穿整个软件开发过程。在软件测试方法中,白盒测试和黑盒测试是经常使用的测试技术。白盒测试中的基本路径测试方法是解决复杂路径测试最有效的方法,而圈复杂度的计算则是基本路径测试方法中非常重要的环节。实践经验表明,圈复杂度和程序可能存在的缺陷数量有着很大的相关性,本文就基本路径测试方法中如何正确计算圈复杂度进行了探讨。 展开更多
关键词 软件测试 控制流图 基本路径 独立路径 分解 圈复杂度
下载PDF
基于BPEL的Web Service组合的数据流分析测试方法(英文) 被引量:8
5
作者 董文莉 胡建华 《软件学报》 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
Gupta方法的改进 被引量:3
6
作者 单锦辉 王戟 +1 位作者 齐治昌 吴建平 《计算机学报》 EI CSCD 北大核心 2002年第12期1378-1386,共9页
Gupta等提出一种线性化谓词函数的方法 (简称 Gupta方法 ) ,为指定程序路径自动生成测试数据 .该文给出了一种模型语言 ,研究静态、动态数据依赖关系的性质以及 Gupta方法中各概念的形式化定义 ,将 Gupta等提出的谓词片推广为路径静态切... Gupta等提出一种线性化谓词函数的方法 (简称 Gupta方法 ) ,为指定程序路径自动生成测试数据 .该文给出了一种模型语言 ,研究静态、动态数据依赖关系的性质以及 Gupta方法中各概念的形式化定义 ,将 Gupta等提出的谓词片推广为路径静态切片 ,证明了路径静态切片构造算法的正确性 .对 Gupta方法的改进 ,省略了构造谓词片和输入依赖集的过程 ,改进后的方法构造线性约束的效率更高 .以改进后的方法为核心算法 ,开发了面向路径的测试数据自动生成的原型工具 ,并用实际的程序路径对该工具进行实验 .结果表明改进后的方法是比较有效的 . 展开更多
关键词 Gupta 测试数据自动生成 路径测试 软件测试 数据流分析 程序切片 线性化谓词函数
下载PDF
基于事件流图的GUI自动化测试系统的开发 被引量:4
7
作者 陆永忠 余幸花 +2 位作者 聂松林 裴小兵 汪春 《计算机工程与科学》 CSCD 2008年第5期142-146,共5页
针对目前GUI自动化测试方法中存在着一定程度的手工依赖性以及对测试用例和测试覆盖率缺乏系统管理等问题,本文结合Microsoft UI Automation框架开发了一个基于事件流图的GUI自动化测试系统。该系统先对被测标准GUI进行逆向工程以得到GU... 针对目前GUI自动化测试方法中存在着一定程度的手工依赖性以及对测试用例和测试覆盖率缺乏系统管理等问题,本文结合Microsoft UI Automation框架开发了一个基于事件流图的GUI自动化测试系统。该系统先对被测标准GUI进行逆向工程以得到GUI的事件流图和期望的结果,然后分别采用基于蚁群算法的日常冒烟测试用例生成算法和基于宽度优先搜索的深度回归测试用例生成算法生成测试用例,并用这些生成的测试用例来测试新的GUI。测试结果表明,该GUI自动化测试模型是切实可用的,为在Windows环境下提高GUI测试的自动化程度提供了一种更为有效的途径。 展开更多
关键词 软件测试自动化 图形化用户界面 事件流图
下载PDF
运行时异常对软件静态测试的影响研究 被引量:6
8
作者 金大海 宫云战 +1 位作者 杨朝红 肖庆 《计算机学报》 EI CSCD 北大核心 2011年第6期1090-1099,共10页
当程序的执行过程中出现运行时异常,控制流动态地变更可能会产生非预期的执行逻辑,由此引入的缺陷将给软件静态测试工作带来巨大的挑战.针对这一问题,提出一种结合运行时异常的静态测试方法,将缺陷检测及控制流扩展交替执行,通过扩展分... 当程序的执行过程中出现运行时异常,控制流动态地变更可能会产生非预期的执行逻辑,由此引入的缺陷将给软件静态测试工作带来巨大的挑战.针对这一问题,提出一种结合运行时异常的静态测试方法,将缺陷检测及控制流扩展交替执行,通过扩展分析路径达到提高测试充分度的目的.以异常模式状态机描述运行时异常行为,在包含运行时异常的控制流上,应用迭代方程得到运行时异常控制流序列,将在传统控制流上的一次缺陷检测过程扩展为在异常控制流序列上的多次检测.实验结果表明,结合运行时异常的静态测试方法虽然增加了时间开销,且引入一定的误报,但却可以发现传统测试方法所遗漏的缺陷,这点在航空、航天等高可信领域尤为重要. 展开更多
关键词 软件测试 静态分析 运行时异常 异常模式 异常控制流
下载PDF
Java中空指针引用故障的静态检测方法 被引量:5
9
作者 杨睿 金大海 +1 位作者 宫云战 马跃 《清华大学学报(自然科学版)》 EI CAS CSCD 北大核心 2011年第S1期1509-1514,共6页
空指针引用是程序中存在的比较常见的问题,由于它在程序中比较隐蔽,用动态方法测试耗时又耗力且很难达到全面覆盖的效果。该文介绍了一种针对空指针引用故障的静态分析方法,将空指针引用问题抽象为一类故障模型,并以故障模式状态机来形... 空指针引用是程序中存在的比较常见的问题,由于它在程序中比较隐蔽,用动态方法测试耗时又耗力且很难达到全面覆盖的效果。该文介绍了一种针对空指针引用故障的静态分析方法,将空指针引用问题抽象为一类故障模型,并以故障模式状态机来形式化描述此类故障模型,然后根据故障状态机的创建条件及待检测代码的语义信息确定是否创建该类型的状态机,并将创建的状态机实例置于控制流图入口节点,根据数据流分析的结果对故障状态进行迭代以检测空指针引用问题。该方法已在缺陷检测系统(defect testing system,DTS)中应用,对Robocode等工程的检测结果证明本文方法可以有效地检测出空指针引用问题。 展开更多
关键词 软件测试 静态分析 空指针引用故障 状态机 控制流图
原文传递
基于数据流的类测试技术研究 被引量:3
10
作者 张雪萍 范中山 +1 位作者 王家耀 庄雷 《计算机工程与应用》 CSCD 北大核心 2005年第9期40-42,共3页
面向对象软件测试已成为软件工程领域的一个重要研究课题,其中,类测试是面向对象软件测试的关键。论文在介绍传统数据流测试技术的基础上,以面向对象软件的类作为基本测试单元,研究了一种基于数据流的类测试技术。
关键词 面向对象 软件测试 数据流测试 类测试
下载PDF
关于可应用测试数据充分性准则复杂性的注记 被引量:1
11
作者 暴建民 王申科 《计算机学报》 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
Development of an Improved GUI Automation Test System Based on Event-Flow Graph 被引量:2
12
作者 Yongzhong Lu Danping Yan +1 位作者 Songlin Nie Chun Wang 《Journal of Software Engineering and Applications》 2008年第1期38-43,共6页
A more automated graphic user interface (GUI) test model, which is based on the event-flow graph, is proposed. In the model, a user interface automation API tool is first used to carry out reverse engineering for a GU... A more automated graphic user interface (GUI) test model, which is based on the event-flow graph, is proposed. In the model, a user interface automation API tool is first used to carry out reverse engineering for a GUI test sample so as to obtain the event-flow graph. Then two approaches are adopted to create GUI test sample cases. That is to say, an improved ant colony optimization (ACO) algorithm is employed to establish a sequence of testing cases in the course of the daily smoke test. The sequence goes through all object event points in the event-flow graph. On the other hand, the spanning tree obtained by deep breadth-first search (BFS) approach is utilized to obtain the testing cases from goal point to outset point in the course of the deep regression test. Finally, these cases are applied to test the new GUI. Moreover, according to the above-mentioned model, a corresponding prototype system based on Microsoft UI automation framework is developed, thus giving a more effective way to improve the GUI automation test in Windows OS. 展开更多
关键词 Automated software testing GRAPHIC User Interface Event-flow Graph Regression testing ANT COLONY Optimization UI AUTOMATION
下载PDF
常用的基于控制流的测试充分性准则 被引量:3
13
作者 王峰 郭长国 +1 位作者 齐璇 施寅生 《计算机工程与科学》 CSCD 北大核心 2009年第10期56-59,104,共5页
本文介绍了几种在软件测试中常用的基于控制流的测试充分性评价准则。这些测试充分性准则适用于用过程式语言、面向对象语言编写的程序。测试人员可用这些准则判断究竟测试了多少代码,还有多少代码未测试到。
关键词 软件测试 测试充分性准则 控制流
下载PDF
数据流测试准则之间关系的研究 被引量:2
14
作者 伦立军 丁雪梅 李英梅 《计算机工程与应用》 CSCD 北大核心 2005年第4期79-81,共3页
软件测试充分性准则是决定一个软件系统能否被充分测试的规则,而测试充分性的关键问题是其检测故障的能力。该文首先分析了数据流测试基本概念,然后讨论了数据流测试准则之间的关系,最后针对测试准则C1和C2,提出了二者的关系R。R(C1,C2... 软件测试充分性准则是决定一个软件系统能否被充分测试的规则,而测试充分性的关键问题是其检测故障的能力。该文首先分析了数据流测试基本概念,然后讨论了数据流测试准则之间的关系,最后针对测试准则C1和C2,提出了二者的关系R。R(C1,C2)可保证在特定的错误检测度量方法下,C1比C2具有更好的检错能力。 展开更多
关键词 软件测试 测试准则 数据流分析 测试数据
下载PDF
信息流和数据流分析在程序检测中的应用 被引量:1
15
作者 何波玲 李玲 《长春邮电学院学报》 1999年第2期61-65,共5页
采用类似PASCAL的语言,提出了一种以源程序为目标的信息流和数据流静态分析方法。该方法能检查出许多编译程序无法发现的错误,如数据流错误,程序中含有无限循环等,并论述了该方法在检查程序错误中的应用。
关键词 软件测试 程序分析 信息流 数据流 测试
下载PDF
常用的基于数据流的测试充分性准则 被引量:2
16
作者 王峰 郭长国 +1 位作者 宗建建 施寅生 《清华大学学报(自然科学版)》 EI CAS CSCD 北大核心 2011年第S1期1407-1413,共7页
软件测试所有技术活动的基础,在于测试用例的设计、选择以及评价。如何设计充分的测试集一直是测试人员面对的一个难题。控制流、数据流是分析程序结构的2个主要手段。该文综合介绍了几种在软件单元测试中常用的基于数据流的测试充分性... 软件测试所有技术活动的基础,在于测试用例的设计、选择以及评价。如何设计充分的测试集一直是测试人员面对的一个难题。控制流、数据流是分析程序结构的2个主要手段。该文综合介绍了几种在软件单元测试中常用的基于数据流的测试充分性评价准则,如c-use覆盖、p-use覆盖、all-use覆盖、k-dr链覆盖、上下文覆盖等。这些准则适用于用过程式语言、面向对象语言编写的程序。测试人员可用这些准则判断究竟测了多少代码还有多少代码未测到。 展开更多
关键词 软件测试 测试充分性准则 数据流
原文传递
基于模型检测的数据流异常测试技术研究 被引量:2
17
作者 陈涛 许金超 钮俊 《计算机工程与应用》 CSCD 北大核心 2011年第25期1-4,共4页
程序的执行体现为数据在变量中的流动。对C/C++源代码中变量定义使用情况进行分析,针对变量未赋值就使用、变量重复赋值和变量定义后未使用三种数据流异常情况,使用程序阅读自动机,把程序转换为变量状态机,使用ALCCTL时序逻辑和模型检... 程序的执行体现为数据在变量中的流动。对C/C++源代码中变量定义使用情况进行分析,针对变量未赋值就使用、变量重复赋值和变量定义后未使用三种数据流异常情况,使用程序阅读自动机,把程序转换为变量状态机,使用ALCCTL时序逻辑和模型检验工具,验证程序是否满足定义的可信模式。提出了新的静态查找变量使用故障的方法。该方法已应用于面向故障的软件测试系统中。 展开更多
关键词 变量使用 软件测试 数据流异常 模型检测
下载PDF
面向不同应用的可行性数据流测试准则
18
作者 刘宏伟 杨孝宗 +1 位作者 李香 曲峰 《同济大学学报(自然科学版)》 EI CAS CSCD 北大核心 2002年第10期1178-1182,共5页
测试准则是完成软件测试必须满足的条件 ,一个可行的测试准则是当且仅当对任意一个程序 ,都存在一个测试用例集能够满足该准则 .但在通常情况下 ,由于程序中不可执行的语句或路径的存在 ,使得基于数据流的测试准则不可行 .在一类具有可... 测试准则是完成软件测试必须满足的条件 ,一个可行的测试准则是当且仅当对任意一个程序 ,都存在一个测试用例集能够满足该准则 .但在通常情况下 ,由于程序中不可执行的语句或路径的存在 ,使得基于数据流的测试准则不可行 .在一类具有可行性的测试准则FDF的基础上 ,给出了三类新的基于数据流的测试准则 ,并且证明其中两类准则比FDF测试准则具有更强的故障检测能力 . 展开更多
关键词 软件测试 数据流分析 测试准则 划分测试 故障检验能力 包含关系
下载PDF
SDL数据流的正则性判定准则 被引量:1
19
作者 张海燕 高卫东 孟洛明 《北京邮电大学学报》 EI CAS CSCD 1996年第3期9-14,共6页
数据流分析能够可靠地证明顺序软件以及并发软件中存在的软件错误.在对软件常见错误性质进行归纳的基础上,提出了软件正则性与非正则性的概念,并提出了顺序软件和并发软件中数据流的正则性判定准则.该判定准则可以用来判断一个软件... 数据流分析能够可靠地证明顺序软件以及并发软件中存在的软件错误.在对软件常见错误性质进行归纳的基础上,提出了软件正则性与非正则性的概念,并提出了顺序软件和并发软件中数据流的正则性判定准则.该判定准则可以用来判断一个软件的数据流是否正常。 展开更多
关键词 软件测试 软件可靠性 数据流
下载PDF
A Comparative Evaluation of Test Coverage Techniques Effectiveness
20
作者 Xaveria Youh Djam Nachamada Vachaku Blamah Modesta Ero Ezema 《Journal of Software Engineering and Applications》 2021年第4期95-109,共15页
<div style="text-align:justify;"> <span style="font-family:Verdana;">Software systems have become complex and challenging to develop and maintain because of the large size of test cases... <div style="text-align:justify;"> <span style="font-family:Verdana;">Software systems have become complex and challenging to develop and maintain because of the large size of test cases with increased scalability issues. Test case prioritization methods have been successfully utilized in test case management. However, the prohibitively exorbitant cost of large test cases is now the mainstream in the software industry. The growth of agile test-driven development has increased the expectations for software quality. Yet, our knowledge of when to use various path testing criteria for cost-effectiveness is inadequate due to the inherent complexity in software testing. Existing researches attempted to address the issue without effectively tackling the scalability of large test suites to reduce time in regression testing. In order to provide a more accurate way of fault detection in software projects, we introduced novel coverage criteria, called Incremental Cluster-based test case Prioritization (ICP), and investigated its potentials by making a comparative evaluation with three un-clustered traditional coverage-based criteria: Prime-Path Coverage (PPC), Edge-Pair Coverage (EPC) and Edge Coverage (EC) based on mutation analysis. By clustering test suites, based on their dynamic run-time behavior, the number of pair-wise comparisons is reduced significantly. To compare, we analyzed 20 functions from 25 C programs, instrumented faults into the programs, and used the Mull mutation tool to generate mutants and perform a statistical analysis of the results. The experimental results show that ICP can lead to cost-effective improvements in fault detection.</span> </div> 展开更多
关键词 software testing Fault Detection Mutation Analysis test Case Prioritization Control flow Coverage
下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部