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

基于SPIN的变异分析方法研究

张侹  王璠  韩柯  
【摘要】：模型检验是一种针对有限状态系统的形式化验证技术,以其简洁明了和自动化程度高而引人注目。通过引入模型检验技术可以改进变异分析方法中等价变异体的判断和测试用例自动生成的不足。在介绍了相关理论知识后,使用当前较为流行的模型验证工具SPIN给出一个实例,提出了利用该工具针对系统的线性时序逻辑性质进行变异分析的方法。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 钱俊彦,赵岭忠,古天龙;一种基于时间自动机的时钟等价性优化方法[J];计算机工程;2005年18期
2 卜广志;葛含益;邢继娟;;一种用于模型检验的符号检验法[J];计算机仿真;2007年01期
3 王斌;田野;章云;;采用时间约束Petri网分析优化广电过程模型[J];计算技术与自动化;2007年01期
4 刘万伟;王戟;陈火旺;;基于LTL Tableau的自动机构造[J];吉林大学学报(工学版);2007年01期
5 张鹏程;李必信;周宇;;模型检验软件体系结构研究与进展[J];计算机科学;2007年04期
6 梁陈良;聂长海;徐宝文;陈振宇;;一种基于模型检验的类测试用例生成方法[J];东南大学学报(自然科学版);2007年05期
7 叶俊民;张振方;王敬华;李蓉;;基于模型检验技术的源程序分析研究[J];微电子学与计算机;2009年08期
8 董威,王戟,齐治昌;并发和实时系统的模型检验技术[J];计算机研究与发展;2001年06期
9 汪文元;沙基昌;;工作流模型的模型检验技术研究[J];计算机仿真;2005年11期
10 杨刚;黄迪明;秦巧;;基于工作流建模过程中的验证技术的分析[J];福建电脑;2006年01期
11 田翀;宁洪;李姗姗;雷琦;;CWM研究及相关元数据管理系统的设计[J];计算机工程;2006年11期
12 郭建;金乃咏;;模型检验中对CTL公式的空属性探测[J];西安电子科技大学学报;2007年05期
13 杨厚群;何中市;陈静;;基于EHA的异常处理模型检验方法[J];计算机科学;2008年04期
14 吴琼;邵志清;刘刚;陈丽琼;;基于着色时间Petri网的实时系统的形式验证[J];计算机科学;2008年07期
15 张岩;梅宏;;UML类图中面向非功能属性的描述和检验[J];软件学报;2009年06期
16 曾红卫;缪淮扣;;优化基于模型检验的测试生成[J];计算机辅助设计与图形学学报;2011年03期
17 吴宏;齐治昌;;基于LSC的模型检验研究[J];计算机应用与软件;2006年07期
18 黄锦;陈晓苏;肖道举;刘辉宇;;基于模型检验的软件安全静态分析研究[J];微计算机信息;2007年30期
19 叶俊民;谢茜;金聪;李明;张振方;;一种基于模型检验程序分析技术的前端工具研究[J];计算机科学;2010年05期
20 董威;王戟;齐治昌;;UML模型中并发对象的组合验证[J];计算机科学;2005年07期
中国重要会议论文全文数据库 前10条
1 张侹;王璠;韩柯;;基于SPIN的变异分析方法研究[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
2 杨秋妹;余阳;李长森;;基于Spin的工作流模型验证[A];第二十三届中国数据库学术会议论文集（技术报告篇）[C];2006年
3 陈道喜;张广泉;陈冬火;;NSPK协议的Spin模型检测[A];2008年全国开放式分布与并行计算机学术会议论文集(下册)[C];2008年
4 江雷;朱建平;;基于静态分析的软件安全检测技术研究[A];全国计算机安全学术交流会论文集（第二十四卷）[C];2009年
5 叶俊民;张振方;王敬华;李蓉;;基于模型检验技术的源程序分析研究[A];2009年全国开放式分布与并行计算机学术会议论文集(上册)[C];2009年
6 谭坚;屈婉霞;庞征斌;徐炜遐;;基于SMT求解器的谓词抽象[A];中国电子学会第十六届信息论学术年会论文集[C];2009年
7 苏焕程;黄志球;刘林源;;基于SPIN的BPEL4WS一致性验证[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集（上）[C];2008年
8 李震;刘斌;殷永峰;李晓勋;;基于改进Petri网的可信软件模型验证和测试研究[A];第六届中国测试学术会议论文集[C];2010年
9 曾红卫;缪淮扣;;优化基于模型检验的测试生成[A];第六届中国测试学术会议论文集[C];2010年
10 董庆超;王智学;候蕾;陈剑;;基于UML类图的本体模型一致性检查方法[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集（上）[C];2008年
中国博士学位论文全文数据库 前10条
1 董威;面向UML的模型检验研究[D];中国人民解放军国防科学技术大学;2002年
2 文艳军;基于接口自动机的组合验证方法研究[D];国防科学技术大学;2005年
3 郭建;在数字系统设计中断言验证的研究[D];西安电子科技大学;2008年
4 李向宁;业务过程管理理论与若干关键技术研究[D];西北大学;2007年
5 范年柏;程序正确性验证的几个问题[D];湖南大学;2005年
6 易晓东;面向C程序验证的切片执行方法[D];国防科学技术大学;2006年
7 邓小妮;基于模型检验与仿真的C~4ISR系统需求验证方法研究[D];国防科学技术大学;2008年
8 胡军;构件化嵌入式软件设计的分析与验证[D];南京大学;2005年
9 何涛;基于Web服务的网络软件需求元模型的建模与分析[D];上海大学;2009年
10 胡斌;可信的自治式服务协同系统验证[D];浙江大学;2009年
中国硕士学位论文全文数据库 前10条
1 王璐珍;UML顺序图的自动分析技术研究[D];中国人民解放军国防科学技术大学;2002年
2 李翠翠;基于SPIN模型检测的电子商务协议分析与验证[D];华东理工大学;2012年
3 张曦;基于WCET分析技术的程序实时性模型检验方法研究[D];国防科学技术大学;2011年
4 肖卿俊;从事务处理到可靠服务组合[D];上海交通大学;2007年
5 余立全;基于SPIN的SOCKET通信程序分析系统[D];南昌大学;2012年
6 谢洪萍;基于UML的工作流模型自动分析验证研究[D];华南师范大学;2005年
7 刘万授;基于UML安全协议的建模和自动检测[D];华南师范大学;2005年
8 郭伟;UML状态图模型检查技术及工具实现[D];湖南大学;2008年
9 张振方;基于模型检验的软件分析方法研究[D];华中师范大学;2009年
10 张小研;SOA流程的建模与验证[D];北京交通大学;2010年
中国重要报纸全文数据库 前1条
1 居德华　教授;SPICE：过程改进的又一种选择[N];中国计算机报;2009年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978
订卡电话 400-819-9993
在线咨询 http://help.cnki.net
京ICP证040441号
京公网安备11010802020475号
©2020中国知网（CNKI）