首页> 中文会议>全国抗恶劣环境计算机第二十三届学术年会 >基于UML状态机图的软件模型可靠性检查方法研究

基于UML状态机图的软件模型可靠性检查方法研究

页面导航

摘要
著录项
相似文献
相关主题

摘要

随着计算机软件应用的深入,人们对软件的质量和可靠性提出了更高的要求.本文通过模型转换和模型检查的方法来验证软件模型的可靠性.首先通过Kripke结构将UML状态机的图形信息转换成NuSMV可以读取的SMV模型;接着在NuSMV模型检查工具中利用形式化语言CTL对生成的SMV模型进行检查,以验证软件系统的可靠性;最后本文以网上购物系统的订单模块为例进行了模型检查并作了改进,提高了系统的可靠性.

著录项

来源
《全国抗恶劣环境计算机第二十三届学术年会》|2013年|164-173|共10页
会议地点浙江丽水
作者
陈静; 闫德礼;
展开▼
作者单位

中国计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类 TP311.52;
关键词
计算机软件; 模型可靠性; 功能模块; UML状态机图;

相似文献

中文文献
外文文献
专利

1. 基于WF状态机的UML时序图动态构建及测试 [J] . 孔令东 . 软件 . 2018,第004期
2. 基于UML状态图和Qt状态机框架的IEC104规约的分析与实现 [J] . 余存 ,黄利军 ,黄浩然 . 电力系统保护与控制 . 2015,第015期
3. 基于改进蚁群算法UML状态机图的测试用例生成 [J] . 任洪丽 ,张伟 ,李文瑞 . 计算机工程与设计 . 2010,第017期
4. 基于有限状态机理论的UML模型一致性检测方法研究 [J] . 刘舒婷 . 电子技术与软件工程 . 2015,第021期
5. 基于UML活动图的无人车变道可靠性预测 [J] . 吴兆贤 ,吴培培 . 软件导刊 . 2022,第1期
6. 一种基于UML活动图的软件可靠性测试用例生成方法 [C] . 贲可荣 ,米磊 . 中国造船工程学会电子技术学术委员会第七届会员代表大会暨电子技术2006年学术年会 . 2006
7. 基于UML的软件模型检测方法研究与应用 [A] . 崔小丹 . 2015

基于UML状态机图的软件模型可靠性检查方法研究

摘要

著录项

相似文献

相关主题

期刊订阅