-
题名基于程序执行状态图的软件测试方法研究
被引量：9
- 1
-
-
作者
何允如
刘宗田
郝峰
李心科
-
机构
合肥工业大学计算机与信息学院
上海大学计算机学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2002年第18期96-98,共3页
-
文摘
软件测试一直是保证软件质量的最主要的手段之一,多年来人们一直在寻找好的测试方法和测试策略。同时随着图形界面的日益流行,传统的测试方法变得难以适应测试的需要。文章提出了一种基于程序执行状态图PESC的软件测试方法,给出了程序执行状态图的定义,以及相应的覆盖准则。最后,文章介绍了使用PESC逐步生成测试路径的方法。
-
关键词
程序执行状态图
软件测试方法
软件质量
软件工程
-
Keywords
Software Testing,Program Execution State Chart,Test Case
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种基于CBD的软件测试方法
被引量：4
- 2
-
-
作者
曹严元
张为群
-
机构
西南师范大学计算机与信息科学学院
-
出处
《计算机科学》
CSCD
北大核心
2005年第2期156-158,共3页
-
基金
重庆市自然科学基金(项目编号:CSTC-2004BB0146)
-
文摘
基于构件的开发方法(CBD)的提出和大量应用,对传统的测试技术提出了新的挑战。本文通过对CBD方法及特点的研究,提出了CBD软件的测试样式,通过构件规格说明构架和构件交互图对构件间交互关系建模,并在此基础上给出了构件软件系统的测试技术和方法。
-
关键词
软件测试方法
构件软件系统
规格说明
交互图
开发方法
建模
构架
CBD
挑战
基础
-
Keywords
CBD
Component-based software
Software testing
Testing type
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
TP31
[自动化与计算机技术—计算机软件与理论]
-
-
题名浅谈软件测试方法
被引量：3
- 3
-
-
作者
何秋晶
-
机构
哈尔滨工业大学科技发展有限公司
-
出处
《林业科技情报》
2005年第1期47-48,共2页
-
文摘
本文介绍了软件测试的定义、方法和目的。
-
关键词
软件测试方法
-
Keywords
software testing
testing method
testing objective
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名软件测试的一种数学简化方法
被引量：2
- 4
-
-
作者
张忠林
马海云
贾利敏
-
机构
兰州交通大学电子与信息工程学院
-
出处
《计算机应用与软件》
CSCD
北大核心
2008年第4期100-102,117,共4页
-
文摘
在马尔可夫链模型的基础上,将软件测试结果的分析问题转化为一个经典概率问题。通过数学方法实现了软件测试模型的简化,加速了测试用例的生成,从而降低了测试的复杂度,解决了简化测试用例集难度的问题。通过实例证明,这种测试技术具有一定的实用性和有效性。
-
关键词
软件可靠性
软件测试方法
马尔可夫链
经典概率模型
-
Keywords
ReliabiLity of software Software test methods Markov Chain CLassical probability model
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
O1-0
[理学—基础数学]
-
-
题名基于黑板结构的软件测试灰箱方法
- 5
-
-
作者
刘玉然
-
机构
华东石油大学
-
出处
《计算机应用与软件》
CSCD
北大核心
2005年第6期128-130,共3页
-
文摘
本文提出了一种新的基于黑板结构的软件测试方法。软件测试是保证软件质量的主要问题之一,传统的软件测试方法主要有黑箱方法和白箱方法。所用方法是介于这两者之间的一种方法,故称之为灰箱方法。创新之处在于:首先,黑板结构被用来记录软件执行过程中的各种状态和信息,以作为自动生成的软件测试信息;其次,对基于黑板结构的灰箱方法各种优缺点及适用范围进行了讨论。
-
关键词
黑板结构
灰箱
软件测试方法
软件质量
黑箱方法
执行过程
记录软件
自动生成
优缺点
信息
-
Keywords
Blackboard structure Software test Grey box technique
-
分类号
TP273
[自动化与计算机技术—检测技术与自动化装置]
TQ113.254
[化学工程—无机化工]
-
-
题名马尔可夫链模型在软件可靠性测试中的应用
被引量：3
- 6
-
-
作者
马海云
张忠林
-
机构
天水师范学院数信学院
兰州交通大学信息与电气工程学院
-
出处
《中国测试技术》
2006年第6期121-123,共3页
-
文摘
现行的软件可靠性分析方法禁锢了人们从更简单层次对软件系统的可靠性进行研究。基于上述认识,为了缩短软件测试周期,文中提出了一种新的软件可靠性测试分析方法。该方法把马尔可夫链模型运用于软件可靠性测试中,在测试过程中使用了新的评判准则分析测试结果,通过实例证明了该评判准则的实用性和有效性。从而为更快速地评估软件的可靠性提供了可能。
-
关键词
软件可靠性
软件测试方法
测试用例
马尔科夫链
马尔可夫链模型
-
Keywords
Software Reliability
Software Testing Technology
Test Case
Markov Chain
Markov Chain Model
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种用于白盒测试评估的错误播种方法
- 7
-
-
作者
罗莉琴
宫云战
王海东
-
机构
装甲兵工程学院信息工程系
-
出处
《计算机工程与设计》
CSCD
2004年第9期1581-1583,共3页
-
文摘
软件错误播种方法不仅可以用来评价软件的性能和研究软件错误的特性,而且还可通过播种错误为软件测试方法的评估提供必要的条件。考虑到白盒测试所针对的错误类型是程序代码级错误,为了方便错误播种,将程序代码错误分为计算型错误、域错误和程序接口错误,并针对这3类错误提供了一种改进的基于程序变异的软件错误播种方法。
-
关键词
白盒测试
软件错误
程序代码
程序变异
软件测试方法
程序接口
错误类型
播种方法
特性
-
Keywords
software testing
fault seeding
program mutation
PDG
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名两两组合覆盖测试数据自动生成集成工具的设计与实现
被引量：4
- 8
-
-
作者
周晓宇
聂长海
徐宝文
陈火旺
-
机构
东南大学计算机科学与工程系
武汉大学软件工程国家重点实验室
-
出处
《计算机科学》
CSCD
北大核心
2005年第1期118-119,154,共3页
-
基金
国家自然科学基金(60373066)
江苏省科技攻关项目(BE2001025)
+3 种基金
江苏省三三三人才基金
武汉大学软件工程国家重点实验室开放基金
江苏省计算机信息处理技术重点实验室(苏州大学)开放基金(KJS02009
T8118011)
-
文摘
两两组合覆盖测试方法是一种科学有效的软件测试方法,相应的测试数据生成算法是人们研究的一个重点问题,本文在人们已有的研究基础上,结合我们在这个方面的研究成果,设计实现了一个两两组合覆盖测试数据自动生成工具,所产生的测试数据集与同类工具相比具有一定的特点和优势。
-
关键词
两两组合覆盖测试
软件测试方法
测试数据生成
集成工具
-
Keywords
Software testing
Combination coverage
Test data generation
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
