收藏本站
《第六届中国测试学术会议论文集》2010年
收藏 | 手机打开
二维码
手机客户端打开本文

基于改进Petri网的可信软件模型验证和测试研究

李震  刘斌  殷永峰  李晓勋  
【摘要】:软件被广泛应用到安全关键领域,这对软件可信性的验证和测试提出了严苛的要求.形式化方法以其严格的数学基础保证软件系统的正确构建.Petri网利用库所和变迁支持异步、并发、分布式系统建模,但是缺少对库所和变迁类型的描述,不能满足软件系统复杂的具体行为特征.模型检验工具具有自动化验证和反例生成功能,但是调试和建模能力不够.文章扩展Petri网以更好的支持软件系统的行为建模和分析,建立模型和验证工具的自动化转化机制,对软件系统进行模型检验,利用反例功能获得失效场景路径,指导测试用例生成,最后给出了定时器示例和机载发动机软件的典型实例应用.

【参考文献】
中国期刊全文数据库 前3条
1 单锦辉,姜瑛,孙萍;软件测试研究进展[J];北京大学学报(自然科学版);2005年01期
2 林闯,刘婷,曲扬;一种不确定时段的扩展时段时序逻辑:时间Petri网模型表示和线性推理[J];计算机学报;2001年12期
3 刘克;单志广;王戟;何积丰;张兆田;秦玉文;;“可信软件基础研究”重大研究计划综述[J];中国科学基金;2008年03期
中国博士学位论文全文数据库 前1条
1 沈胜宇;模型检验的反例解释[D];国防科学技术大学;2005年
【共引文献】
中国期刊全文数据库 前10条
1 易江芳;佟冬;程旭;;GATEST:使用遗传算法自动生成模拟矢量的验证平台[J];北京大学学报(自然科学版)网络版(预印本);2006年02期
2 易江芳;佟冬;程旭;;GATEST:使用遗传算法自动生成模拟矢量的验证平台[J];北京大学学报(自然科学版);2006年05期
3 袁霖;王怀民;尹刚;史殿习;米海波;;基于角色的软件可信评估技术[J];北京工业大学学报;2010年05期
4 李震;刘斌;陆民燕;殷永峰;;基于扩展Petri网的除冰软件安全需求建模和验证[J];北京航空航天大学学报;2012年01期
5 石剑飞;闫怀志;秦玮;王文同;;Component-Based Software Trustworthiness Fuzzy Analytic Hierarchy Process Model[J];Journal of Beijing Institute of Technology;2010年02期
6 汪磊;;WEB工程中的测试合理化设计[J];电脑开发与应用;2011年12期
7 陈宁江;;软件测试综合型实践教学方案探讨[J];大众科技;2010年09期
8 符宁;周兴社;詹涛;;基于受约束半环的服务可信性质评价方法[J];电子学报;2011年04期
9 张慧颖;李波;曹希真;;针对航天测控实时软件的二级AHP-Fuzzy可信性评估模型[J];飞行器测控学报;2010年04期
10 戎强强;李方;余涛;;面向软件可信优化的失信因素分析方法[J];阜阳师范学院学报(自然科学版);2011年03期
中国重要会议论文全文数据库 前5条
1 周献中;李檬;朱颖颖;占济舟;赵佳宝;;基于系统思想的软件可信性内涵与特征分析[A];经济全球化与系统工程——中国系统工程学会第16届学术年会论文集[C];2010年
2 周献中;李檬;占济舟;朱颖颖;赵佳宝;;研究软件可信性的新视角:失信因子[A];经济全球化与系统工程——中国系统工程学会第16届学术年会论文集[C];2010年
3 刘振宇;蔡立志;杨根兴;;Web应用软件的质量评价技术研究[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
4 赵中芳;魏志强;贾东宁;;基于CBR的软件自动化测试用例复用方法研究[A];2008'中国信息技术与应用学术论坛论文集(二)[C];2008年
5 裴顺昌;宋浩;李建平;蔡晨;;基于CMMI风险管理体系的可信软件开发风险管理研究[A];第十一届中国管理科学学术年会论文集[C];2009年
中国博士学位论文全文数据库 前10条
1 赵倩;基于自配置的软件可信性增长模型及方法[D];哈尔滨工程大学;2010年
2 王晓暾;不确定信息环境下的质量功能展开研究[D];浙江大学;2011年
3 向纯洁;信息系统开发团队绩效影响行为因素研究[D];华中科技大学;2011年
4 王娟丽;基于QFD的概念设计方法研究[D];浙江大学;2011年
5 占济舟;失信因子对软件可信性的影响及其控制[D];南京大学;2011年
6 吴新星;基于语言的软件可信性度量理论及其应用[D];华东师范大学;2011年
7 陶红伟;基于属性的软件可信性度量模型研究[D];华东师范大学;2011年
8 唐姗;基于目标的高可信自适应容错软件开发方法研究[D];复旦大学;2011年
9 宋成;可信计算平台中若干关键技术研究[D];北京邮电大学;2011年
10 邱罡;可信系统保护模型研究与设计[D];西安电子科技大学;2010年
中国硕士学位论文全文数据库 前10条
1 王卫锋;FSCS自适应随机测试算法的边界效应及运行效率研究[D];华东师范大学;2010年
2 华韵子;强对流天气识别系统的设计与实现[D];华东师范大学;2010年
3 张丹阳;校园网上二手信息发布平台的设计与实现[D];华东师范大学;2010年
4 王志兵;软件行为运行时验证研究[D];湖南工业大学;2010年
5 刘小飞;分布式软件动态调控策略研究[D];湖南工业大学;2010年
6 王喜虎;基于Spring的接口测试环境智能配置管理组件的设计与实现[D];华南理工大学;2010年
7 李静;基于灰色理论的可信软件规划质量屋模型研究[D];浙江大学;2011年
8 何天添;嵌入式软件模块高可靠性设计与验证技术研究[D];华东理工大学;2011年
9 杨雅雯;高可靠性嵌入式仿真测试平台的硬件逻辑设计[D];北京交通大学;2011年
10 严丛优;新进飞行教师培训与教学监控记录系统设计[D];电子科技大学;2010年
【二级参考文献】
中国期刊全文数据库 前2条
1 杨芙清,梅宏,吕建,金芝;浅论软件技术发展[J];电子学报;2002年S1期
2 王志言,刘椿年;区间算术在软件测试中的应用[J];软件学报;1998年06期
中国博士学位论文全文数据库 前2条
1 单锦辉;面向路径的测试数据自动生成方法研究[D];国防科学技术大学;2002年
2 李留英;UML测试技术的研究与实现[D];中国人民解放军国防科学技术大学;2000年
【相似文献】
中国期刊全文数据库 前10条
1 刘莉莉,傅铅生;应用Petri Net方法建模分析制造企业ERP的实施工程[J];航空工程与维修;2002年06期
2 谭宁;;基于Petri网的办公自动化系统结构模型设计[J];硅谷;2009年12期
3 林绍森;李晓兰;;采用Petri技术构建高校应急预案管理模型[J];硅谷;2010年24期
4 林群,关志超,杨东援;区域性枢纽城市物流公共信息平台体系结构Petri网研究[J];计算机工程与应用;2005年06期
5 郑怡文;;基于时延Petri网的肯定型工程关键工序的求解[J];福建电脑;2008年07期
6 刘峻;;药品批发分销网络的petri网建模[J];科学决策;2008年10期
7 赵相安;陈洪辉;何明;姜志平;;基于Petri网的武器装备体系能力需求仿真验证方法[J];系统仿真学报;2009年04期
8 王岚;张国宁;;维修保障仿真模型的HLA兼容性改造[J];计算机与网络;2009年19期
9 金涛;闻立杰;王建民;;行为因果关系的分类与判定[J];系统仿真学报;2011年S1期
10 修少驹;描述数字系统中并行过程与控制的理论模型——Petri-网[J];计算机工程与应用;1980年05期
中国重要会议论文全文数据库 前10条
1 李震;刘斌;殷永峰;李晓勋;;基于改进Petri网的可信软件模型验证和测试研究[A];第六届中国测试学术会议论文集[C];2010年
2 薛瑜;李承家;吕莉芳;;模糊Petri网与连续Petri网的关系[A];第九届中国不确定系统年会、第五届中国智能计算大会、第十三届中国青年信息与管理学者大会论文集[C];2011年
3 刘长有;张莉;;基于着色Petri网的一类航班推出冲突建模与仿真[A];第二十九届中国控制会议论文集[C];2010年
4 吕莉芳;李承家;薛瑜;;时延离散Petri网的形式分析[A];第九届中国不确定系统年会、第五届中国智能计算大会、第十三届中国青年信息与管理学者大会论文集[C];2011年
5 王志坚;蔡自兴;;基于Petri网的企业信息化系统统一建模研究[A];第二十六届中国控制会议论文集[C];2007年
6 叶阳东;贾利民;;列车运行对象Petri网系统的仿真[A];2001系统仿真技术及其应用学术会议论文集[C];2001年
7 韩亚欣;罗明宇;谭跃进;;主生产调度过程的随机Petri网模型[A];'2000系统仿真技术及其应用学术交流会论文集[C];2000年
8 张春雷;孙志挥;陈淼;;一种基于PETRI高级网的工作流动态建模方法[A];第十七届全国数据库学术会议论文集(研究报告篇)[C];2000年
9 刘玉君;张帆;李瑞;;基于Petri网理论的造船项目工作流建模研究[A];2011中国造船工程学会造船工艺学术委员会造船企业精益生产学术研讨会论文集[C];2011年
10 高德平;周国祥;;基于着色Petri网的工作流模型的研究与应用[A];全国第20届计算机技术与应用学术会议(CACIS·2009)暨全国第1届安全关键技术与应用学术会议论文集(下册)[C];2009年
中国博士学位论文全文数据库 前10条
1 刘改云;自动制造系统的Petri网结构分析和控制器设计[D];西安电子科技大学;2011年
2 杨鹏;基于广义随机Petri网理论的SIP的研究[D];兰州理工大学;2009年
3 任小龙;基于Petri网的FMS调度问题研究[D];西安电子科技大学;2010年
4 张君一;基于GSPN与ESPN的制造系统可靠性模块化建模与分析[D];东北大学;2008年
5 董威;面向UML的模型检验研究[D];中国人民解放军国防科学技术大学;2002年
6 孙长乐;某型号产品协同设计系统构建及支持技术研究[D];大连理工大学;2010年
7 鲁工圆;铁路车站作业系统仿真技术研究[D];西南交通大学;2011年
8 杨年华;模型驱动架构中的可信嵌入式软件建模与分析[D];华东理工大学;2011年
9 代飞;基于EPMM的软件演化过程模型验证[D];云南大学;2011年
10 钟锋;基于网格的煤炭企业信息化关键技术研究[D];中国矿业大学(北京);2009年
中国硕士学位论文全文数据库 前10条
1 杨雪;基于高级Petri网的住院医师培训工作流系统建模与实现[D];沈阳工业大学;2010年
2 赵珊;基于UML和Petri网模型验证框架的设计与实现[D];西安建筑科技大学;2010年
3 翟维维;基于Petri网的工作流模型在并行审批系统的研究[D];北京林业大学;2011年
4 王佳慧;基于面向对象的随机Petri网图形建模与分析工具的开发[D];郑州大学;2010年
5 李桂枝;皮带机群控系统的Petri网建模与规则化描述[D];合肥工业大学;2011年
6 高峰;组合式Petri网对PI演算的转换与验证[D];吉林大学;2010年
7 何鹏;基于随机Petri网的物流业务流程分析工具的研究与开发[D];武汉理工大学;2010年
8 刘石坚;面向对象模糊Petri网的理论及建模研究[D];长沙理工大学;2010年
9 徐佳琪;适用于ICONIX过程的UML图有色Petri网建模技术[D];吉林大学;2011年
10 胡正梁;基于Petri网的UML形式化研究[D];安徽大学;2010年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026