收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

模型检测引导的软件测试技术研究

金晓文  
【摘要】:随着计算机技术的不断发展,应用领域的不断扩大,软件的规模和复杂性也在不断地增加。为了保证软件质量,软件测试技术成为主要的技术手段。但众所周知的是,程序测试依据的测试原则可以发现一些错误,但其不能保证可以达到百分之百地排除所有的错误,所以不得不承认使用传统的方法来排除软件系统中的错误已经越来越难以满足实际需求。 近年来,模型检测以其自动化程度高的特点在软件测试领域得到了广泛关注。它的基本思想是采用状态空间搜索的方法来检测一个给定的计算模型是否满足某个模态/时序逻辑公式所表示的特定性质。而软件测试作为保证软件产品正确性和可靠性的传统手段,其与模型检测存在一些本质的不同。传统测试是以选定的测试用例作为系统输入,然后对结果和预期进行比较。由于测试例选取的范围的有限,因此传统测试具有不完备性。与测试不同的模型检测,不是对既定的输入来验证逻辑,而是针对系统某类属性进行规约之后再进行对比式的检测。但模型检测亦有其瓶颈之处,即值域太泛而导致的状态空间爆炸。模型检测是采用的全空间遍历的方法来进行的,所以在大多数情况下,需要应用抽象与归纳原则与自动化模型检测相结合才能验证系统所需。 针对模型检测的空间爆炸问题以及软件测试的不完备性,提出在测试过程中将模型检测前置于传统测试,将模型检测与测试相结合。通过分析模型检测中的形式化规约明确测试目的,并转换成TTCN-3(Testing and Test Control Notation)抽象测试套。进一步利用规约中本身存在的正例路径(μ演算),即可生成抽象测试套的逻辑执行,并与数据类型描述文件相关联,从而生成测试用例。分析TTCN-3开发模式,基于标签转换系统与TTCN-3行为树的等价性,提出模型检测引导的抽象测试套生成算法,并实现TTCN-3抽象测试套的自动生成。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 邝宏斌;罗贵明;;并行软件模型检测[J];计算机工程;2008年19期
2 周立青;杨晋吉;;乐观合同签订协议的模型检测分析[J];计算机工程;2011年07期
3 周从华;刘志锋;;具有过去时态算子的计算树逻辑模型检测[J];计算机工程;2007年22期
4 陈振宇;陶志红;KLEINE BüNING Hans;王立福;;变量极小不可满足在模型检测中的应用(英文)[J];软件学报;2008年01期
5 陈清亮;朱可宜;;多智能体协同的认知规范模型检测算法[J];中山大学学报(自然科学版);2009年01期
6 冯庆奎;;基于一阶迁移系统的限界模型检测工具实现[J];计算机工程与设计;2010年01期
7 骆翔宇;苏开乐;顾明;;一种求解认知难题的模型检测方法[J];计算机学报;2010年03期
8 韦林;古天龙;常亮;;基于模型检测的命题动态逻辑规划[J];桂林电子科技大学学报;2010年02期
9 刘剑,林惠民;传值进程模型检测中诊断信息的生成[J];软件学报;2003年01期
10 肖健宇;张德运;郑卫斌;张勇;;程序条件化用于软件模型检测中的状态空间缩减[J];西安交通大学学报;2006年04期
11 缪力;张大方;;程序模型检测的两阶段框架[J];计算机应用;2007年12期
12 何青;骆翔宇;苏开乐;;基于符号化模型检测的对弈必胜策略验证[J];计算机工程与应用;2008年17期
13 杨晋吉;苏开乐;骆翔宇;林瀚;肖茵茵;;有界模型检测的优化[J];软件学报;2009年08期
14 龙士工;王扣武;;多智体系统时序认知规范的SPIN模型检测[J];计算机工程与科学;2011年12期
15 周从华;刘志锋;王昌达;;概率计算树逻辑的限界模型检测[J];软件学报;2012年07期
16 马琳;黄志球;徐丙凤;陈哲;;支持模型检测的故障树生成方法研究[J];计算机与数字工程;2013年02期
17 化志章;揭安全;薛锦云;;一种自动的形式化验证技术——模型检测[J];微计算机信息;2007年33期
18 陈晨;陈永生;;基于层次单元划分的软件模型检测技术[J];计算机应用;2008年08期
19 周从华;邢支虎;刘志锋;王昌达;;马尔可夫决策过程的限界模型检测[J];计算机学报;2013年12期
20 徐畅;刘吉锋;孙吉贵;;基于经典逻辑的安全协议模型检测方法[J];计算机科学;2008年06期
中国重要会议论文全文数据库 前7条
1 高静;曹子宁;;基于空间逻辑和计算树逻辑的模型检测[A];2009年中国高校通信类院系学术研讨会论文集[C];2009年
2 许梅;曹子宁;;基于谓词μ演算和空间逻辑的模型检测算法研究[A];2009年中国高校通信类院系学术研讨会论文集[C];2009年
3 何青;骆翔宇;苏开乐;;对弈必胜策略的符号化模型检测[A];2006年全国理论计算机科学学术年会论文集[C];2006年
4 王飞明;胡元闯;董荣胜;;模型检测中状态爆炸及其优化策略研究[A];广西计算机学会2008年年会论文集[C];2008年
5 陈道喜;张广泉;陈冬火;;NSPK协议的Spin模型检测[A];2008年全国开放式分布与并行计算机学术会议论文集(下册)[C];2008年
6 邢立国;张光甫;刘薇;胥维昌;金一和;;人皮肤模型评价杀菌类农药腐蚀/刺激性研究[A];2014线粒体毒性与基于毒性通路的安全性评价新策略学术研讨会暨中国毒理学会毒理学替代法与转化毒理学专业委员会成立大会论文集[C];2014年
7 张明玉;;我国对外开放、通货膨胀与经济增长相关关系的模型检测[A];面向21世纪的科技进步与社会经济发展(下册)[C];1999年
中国博士学位论文全文数据库 前10条
1 江华;界程演算模型检测[D];贵州大学;2008年
2 林荣德;移动界程演算及模型检测应用的关键问题研究[D];华南理工大学;2010年
3 刘剑;传值进程与移动进程的模型检测方法[D];中国科学院研究生院(软件研究所);2005年
4 刘志锋;模型检测中关键技术的研究及其应用[D];南京大学;2011年
5 朱维军;时间区间时序逻辑模型检测:理论、算法及应用[D];西安电子科技大学;2011年
6 陈冬火;超协调时序逻辑及其模型检测方法[D];中国科学院研究生院(成都计算机应用研究所);2006年
7 田聪;命题投影时序逻辑的判定性、复杂性、表达性及模型检测[D];西安电子科技大学;2010年
8 黄宏涛;基于懒惰切片的模型检测技术研究[D];哈尔滨工程大学;2012年
9 刘金卓;基于符号化模型检测的软件演化过程模型验证[D];云南大学;2013年
10 吴骏;多Agent联盟规范系统研究[D];南京大学;2011年
中国硕士学位论文全文数据库 前10条
1 张衍志;符号化模型检测算法的研究[D];吉林大学;2009年
2 黎吾平;模型检测在软件方面的应用[D];吉林大学;2008年
3 吴小娟;并行完备模型检测技术的研究[D];电子科技大学;2013年
4 姜志敏;模型检测在配置中的应用[D];吉林大学;2010年
5 金怡爱;基于模型检测方法的规划[D];吉林大学;2005年
6 施小纯;基于反例搜索的启发式模型检测算法的研究[D];中国科学院研究生院(软件研究所);2004年
7 陈亚军;模型检测在安全协议形式化验证中的应用[D];电子科技大学;2012年
8 高静;面向环境演算系统的模型检测算法的研究[D];南京航空航天大学;2009年
9 廉智超;模型检测在模型诊断领域中的应用[D];吉林大学;2007年
10 张轶;并发传值进程模型检测工具的数据类型扩展[D];中国科学院研究生院(软件研究所);2003年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978