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

基于模型检验的软件可信分析模型

韩葆  蔡勉  
【摘要】:随着软件在关键领域的应用日趋普遍,由于软件复杂性导致的各种问题层出不穷,为保证软件的可信性,探索软件可信的自动化分析与验证方法,文中基于模型检验方法提出了一种软件可信分析模型。该模型使用有限状态机(FSA)描述软件的非可信行为属性,使用下推自动机(PDA)描述软件运行中的行为和已知非可信行为,构建已知非可信行为库DPDA。基于模型检验方法自动验证软件是否存在可疑行为,并检查可疑行为是否为非可信行为库中的已知非可信行为。本模型能快速地对软件进行自动化可信分析,有效缓解一般模型检验过程中的状态爆炸问题,为软件可信的自动化验证与评估提供依据。

知网文化
【相似文献】
中国重要会议论文全文数据库 前10条
1 江雷;朱建平;;基于静态分析的软件安全检测技术研究[A];全国计算机安全学术交流会论文集(第二十四卷)[C];2009年
2 叶俊民;张振方;王敬华;李蓉;;基于模型检验技术的源程序分析研究[A];2009年全国开放式分布与并行计算机学术会议论文集(上册)[C];2009年
3 张侹;王璠;韩柯;;基于SPIN的变异分析方法研究[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
4 谭坚;屈婉霞;庞征斌;徐炜遐;;基于SMT求解器的谓词抽象[A];中国电子学会第十六届信息论学术年会论文集[C];2009年
5 李震;刘斌;殷永峰;李晓勋;;基于改进Petri网的可信软件模型验证和测试研究[A];第六届中国测试学术会议论文集[C];2010年
6 曾红卫;缪淮扣;;优化基于模型检验的测试生成[A];第六届中国测试学术会议论文集[C];2010年
7 董庆超;王智学;候蕾;陈剑;;基于UML类图的本体模型一致性检查方法[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集(上)[C];2008年
8 钱俊彦;;简述Statecharts的CASE工具SuperState[A];广西计算机学会2006年年会论文集[C];2006年
9 雷琦;宁洪;李姗姗;汪昌健;;基于CWM的元数据管理系统的研究[A];第二十一届中国数据库学术会议论文集(技术报告篇)[C];2004年
10 王涛;郭长国;邹鹏;王晓斌;;一种基于注释的监控编程语言设计与实现[A];全国第20届计算机技术与应用学术会议(CACIS·2009)暨全国第1届安全关键技术与应用学术会议论文集(下册)[C];2009年
中国博士学位论文全文数据库 前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 何涛;基于Web服务的网络软件需求元模型的建模与分析[D];上海大学;2009年
9 胡军;构件化嵌入式软件设计的分析与验证[D];南京大学;2005年
10 胡斌;可信的自治式服务协同系统验证[D];浙江大学;2009年
中国硕士学位论文全文数据库 前10条
1 崔晓旭;商业银行评级模型检验系统的设计与实现[D];山东大学;2012年
2 刘超;基于模型检验的飞机系统安全性分析方法研究[D];南京航空航天大学;2012年
3 张曦;基于WCET分析技术的程序实时性模型检验方法研究[D];国防科学技术大学;2011年
4 韩葆;基于模型检验的软件可信性分析模型[D];北京工业大学;2012年
5 张振方;基于模型检验的软件分析方法研究[D];华中师范大学;2009年
6 王璐珍;UML顺序图的自动分析技术研究[D];中国人民解放军国防科学技术大学;2002年
7 吴宏;基于LSC的模型检验研究与实现[D];国防科学技术大学;2004年
8 陈庆锋;软件漏洞模型检验技术的研究[D];华中科技大学;2007年
9 韩荣飞;一种基于基数的领域特征模型检验方法[D];中国海洋大学;2009年
10 杨志;基于吴方法的高层次模型检验方法研究[D];哈尔滨工程大学;2008年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978