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

基于时序规范的测试预言自动生成技术评述

王馨  王戟  齐治昌  
【摘要】:测试预言是一种检验待测系统在特定执行下是否正确运行的方法,是软件测试过程中必不可少的阶段,也是软件测试研究的薄弱环节。针对反应式实时系统,我们使用时序规范来描述系统性质。本文详细阐述了基于时序规范的测试预言自动生成技术的研究现状,并按预言生成的理论基础将预言生成方法分为四类进行介绍。最后,并分析了基于时序规范的测试预言生成面临的困难。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 龚洁,唐若鹰,王霄,唐稚松;XYZ/CFC与XYZ/PAD:图形一文本程序设计环境[J];软件学报;1994年08期
2 易志明,林凌,郝丽宏,李树靖;SPI串行总线接口及其实现[J];自动化与仪器仪表;2002年06期
3 刘海庆,夏幼明,李晶,尹红丽;基于时序逻辑的多Agent系统协商模型及其推理与授权规则研究[J];武汉大学学报(信息科学版);2005年09期
4 贾国平,郑国梁;一个统一的程序验证框架[J];软件学报;1997年02期
5 肖德琴,周权,张焕国,刘才兴;基于时序逻辑的加密协议分析[J];计算机学报;2002年10期
6 何峰,毋国庆,姚剑;基于时序逻辑和SCR方法的需求分析方法[J];武汉大学学报(自然科学版);1999年05期
7 张德龙,陈效玖;一种用于实现任意基数值时序逻辑的阈值存储电路[J];计算机学报;1992年01期
8 刘才兴,肖德琴,张焕国,邹华胜;基于时序逻辑的面向实现的协议规范语言[J];小型微型计算机系统;2004年05期
9 刘瑞成;张立臣;张宇亮;;随机时序逻辑的模糊时间扩展方法[J];计算机工程与应用;2006年01期
10 汪小荣,朱秀昌;H.261视频编解码环路的实现[J];南京邮电学院学报(自然科学版);1998年03期
11 蒙志军;刘涛;田维坚;冯桂兰;;TDI CCD驱动时序的研究及CPLD实现[J];工业控制计算机;2009年03期
12 贾国平,郑国梁;用于反应系统的修改时序逻辑[J];软件学报;1997年09期
13 邬杨波,胡建平;采用三相交流电源的低功耗绝热时序电路[J];微电子学与计算机;2005年11期
14 许庆国;缪淮扣;;基于PVS的时序逻辑语义模型及其实现[J];应用科学学报;2006年06期
15 张海宾;段振华;;稠密时间区间时序逻辑的可满足性判定[J];西安电子科技大学学报;2007年03期
16 梁陈良;聂长海;徐宝文;陈振宇;;一种基于模型检验的类测试用例生成方法[J];东南大学学报(自然科学版);2007年05期
17 李静;陈永泰;;电能计量芯片ATT7022B的通信研究与实现[J];电子测量技术;2008年05期
18 杨琛;段振华;;PPTL模型检测器实现的一个关键技术[J];西安交通大学学报;2010年10期
19 杨琛;段振华;;支持Stutter-不变性的命题区间时序逻辑[J];西安电子科技大学学报;2011年02期
20 齐继光,王正方,郑时雨,肖湘东;时序推理的现状[J];信息与控制;1995年02期
中国重要会议论文全文数据库 前10条
1 黄正宝;张广泉;;一种基于时序逻辑的UML 2.0形式化语义[A];2006年全国理论计算机科学学术年会论文集[C];2006年
2 冯荷飞;曹子宁;;交错时序认知逻辑在安全协议中的应用[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年
3 郭华;庄雷;;电子商务协议的形式化验证方法及FR验证实例[A];2005年全国理论计算机科学学术年会论文集[C];2005年
4 杜高明;张多利;高明伦;耿罗锋;候宁;;多核并行图像显示接口设计[A];2008’“先进集成技术”院士论坛暨第二届仪表、自动化与先进集成技术大会论文集[C];2008年
5 吴彪;朱立新;赵佳;;基于CPLD的可编程并行接口芯片8255设计与仿真[A];系统仿真技术及其应用(第7卷)——'2005系统仿真技术及其应用学术交流会论文选编[C];2005年
6 高静;曹子宁;;基于空间逻辑和计算树逻辑的模型检测[A];2009年中国高校通信类院系学术研讨会论文集[C];2009年
7 孙守卿;李廉;章超;李彩虹;;基于模型检测工具SPIN的安全协议形式化分析[A];2005年全国理论计算机科学学术年会论文集[C];2005年
8 文静华;张梅;张焕国;;电子支付协议的博弈逻辑模型与形式化分析[A];2007年全国开放式分布与并行计算机学术会议论文集(上册)[C];2007年
9 张梅;文静华;张焕国;;基于ATL的电子商务协议建模与形式化分析[A];2009年全国开放式分布与并行计算机学术会议论文集(上册)[C];2009年
10 赵相福;欧阳丹彤;;动态系统基于模型诊断的研究进展与展望[A];第七届青年学术会议论文集[C];2005年
中国博士学位论文全文数据库 前10条
1 张南;命题投影时序逻辑的完备公理系统与形式验证[D];西安电子科技大学;2012年
2 田聪;命题投影时序逻辑的判定性、复杂性、表达性及模型检测[D];西安电子科技大学;2010年
3 舒新峰;投影时序逻辑的完备公理系统与形式验证[D];西安电子科技大学;2010年
4 杨琛;打结不变的命题投影时序逻辑与模型检测[D];西安电子科技大学;2010年
5 万良;基于行为时序逻辑TLA的系统、规则与协议检测的研究[D];贵州大学;2009年
6 李广元;LTLC:面向实时与混成系统的连续时序逻辑[D];中国科学院软件研究所;2001年
7 陈冬火;超协调时序逻辑及其模型检测方法[D];中国科学院研究生院(成都计算机应用研究所);2006年
8 张海宾;混合系统的形式化验证[D];西安电子科技大学;2007年
9 龙士工;串空间理论及其在安全协议分析中的应用研究[D];贵州大学;2007年
10 姬孟洛;实时系统最差情况执行时间分析的研究[D];国防科学技术大学;2006年
中国硕士学位论文全文数据库 前10条
1 杨琳琳;基于时序逻辑的安全协议验证方法的研究[D];南京航空航天大学;2010年
2 费丽娟;构件组装中“特征干扰问题”的时序逻辑检测方法研究[D];华中师范大学;2004年
3 尹红丽;基于时序逻辑的协商公理体系多Agent系统的形式化模型[D];云南师范大学;2004年
4 伍晓敏;基于VSK-t逻辑的Agent形式化模型[D];云南师范大学;2004年
5 王帆;基于UML的形式化规范说明研究[D];天津大学;2004年
6 黎吾平;模型检测在软件方面的应用[D];吉林大学;2008年
7 李根;基于SPIN的命题投影时序逻辑模型检查[D];西安电子科技大学;2008年
8 董护斌;面向实时系统的实时区域时态逻辑:RRTL[D];西北大学;2002年
9 吴宏;基于LSC的模型检验研究与实现[D];国防科学技术大学;2004年
10 黄丫;基于模型检测的可诊断性的形式化检验研究[D];吉林大学;2006年
中国重要报纸全文数据库 前1条
1 记者 许孝平;芜湖县全面加快民生工程建设进度[N];芜湖日报;2010年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978