软件测试中的路径划分技术

来源 :第九届全国容错计算学术大会 | 被引量 : 0次 | 上传用户：madefake

【摘要】

：

路径覆盖测试准则要优于其它已知的覆盖准则,但由于对一般的软件,路径数目太大,以致实际难以实现.路径划分是路径覆盖技术的一个折中方法.给定的程序P和给定模块的最大路径数

【作者】

：

宫云战高文玲

【机构】

：

装甲兵工程学院信息工程系

【出处】

：

第九届全国容错计算学术大会

【发表日期】

：

2001年期

【关键词】

：

软件测试路径划分路径数路径覆盖模块就近原则划分方法覆盖准则覆盖技术度量标准测试准则算法程序

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

路径覆盖测试准则要优于其它已知的覆盖准则,但由于对一般的软件,路径数目太大,以致实际难以实现.路径划分是路径覆盖技术的一个折中方法.给定的程序P和给定模块的最大路径数目K,按就近原则,本文给出了一种划分P的算法,使得每个划分后的模块所包含的路径数目都少于等于Ｋ．同时也给出了最佳划分的度量标准和最佳划分方法．

其他文献

WFO:一种新的文件检查点设置策略

实现分布/并行系统容错的基础是单进程检查点设置和卷回恢复技术,而对活动文件信息进行保存和恢复则是这种技术的重要方面.本文提出一种虚拟文件操作策略,实现了对用户文件的

会议

维修信息系统的升级方法

当前全球各航空公司的维修信息系统水平参差不齐。维修信息系统的升级是大势所趋。

期刊

维修信息系统升级航空

基于消息计数的协调式检查点设置算法

协调式检查点设置及卷回恢复技术作为一种简单有效的容错手段,现已广泛地运用在机群系统中.为进一步减低协调式检查点中的时间和空间开销,本文给出了一种新的基于消息计数的

会议