基于形式规约的软件测试用例自动生成技术研究

首页 > 过刊浏览>2004年第31卷第3期 >

基于形式规约的软件测试用例自动生成技术研究
DOI:
                        
                    
作者:
                        邹北骥 张保国 李军义 孙家广邹北骥 张保国 李军义 孙家广

在知网中查找
在百度中查找
在本站中查找

                    
作者单位:
作者简介:
通讯作者:
基金项目:国家863基础研究类项目(No.2002AA411510)，中国科学院软件所计算机科学重点实验室课题(No.SYSKF0307)

Research on Automatic Test Case Generation Based on Form Specification

Author:

ZOU Bei-ji~
ZOU Bei-ji~

在知网中查找
在百度中查找
在本站中查找

Affiliation:

Fund Project:

摘要

图/表

访问统计

参考文献

相似文献

引证文献

资源附件

摘要:

在Hierons提出的一种基于Z语言软件自动测试方法的基础上进行了拓展．该方法基于软件的Z语言规约；以HierOns提出的推理规则为基础，提出了分裂树的算法，将操作模式的约束条件转换为形如ViPi∧Qi的析取范式；然后根据析取范式将Z语言描述的操作模式划分为子操作模式；依据子操作模式的前置条件和后置条件，将子操作模式作为状态转换图的转换关系，构建了被测试软件的状态转换图；依据状态转换图，提出了相应的状态覆盖准则、转换关系覆盖准则和转换关系谓词覆盖准则等测试数据选择准则．

关键词:自动化测试软件测试 Z语言测试用例生成状态转换

文章指标

PDF下载次数:
HTML阅读次数:
摘要点击次数:
引用次数:

引用本文

邹北骥张保国李军义孙家广.基于形式规约的软件测试用例自动生成技术研究[J].湖南大学学报：自然科学版,2004,31(3):

复制

历史

收稿日期:
最后修改日期:
录用日期:
在线发布日期:
出版日期:

首页

期刊简介

编委会

作者中心

下载中心

学术道德

常见问题

版权声明

联系我们

English

文章指标

引用本文

历史