基于EMC和HA的UML Statecharts检测研究

王佳婧; 冯长宝; 佟鑫

首页> 中文期刊> 《通讯世界》 >基于EMC和HA的UML Statecharts检测研究

基于EMC和HA的UML Statecharts检测研究

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

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

摘要

后续软件的正确开发取决于UML软件体系模型是不是反映了用户的需求.UML Statecharts可以把一个系统的行为正确地完整地描述出来,还可以展现系统功能.所以UMLstatecharts是UML模型检测的重要的对象.可以把UML Statecharts转成层次自动机HA[1],那么就可以让UML Statecharts没那么复杂,结构变得简单很多.之所以要在EMC[4]的基础上建立模型检测方法,是因为UML statecharts它有时序性.这种检测方法就是在对HA[1]描述的时候要使用Kripke[1]结构,对系统的性质进行描述时用时态逻辑,并标记状态.要判断出每一个状态能不能和相应的性质相匹配,对那些不符合的要给出不符合的状态序列,然后再次基础上优化.

著录项

来源
《通讯世界》 |2017年第16期|282-283|共2页
作者
王佳婧; 冯长宝; 佟鑫;
展开▼
作者单位

吉林动画学院,吉林长春130012;

吉林动画学院,吉林长春130012;

吉林动画学院,吉林长春130012;

展开▼
原文格式 PDF
正文语种 chi
中图分类 TP311.52;
关键词
UMLStatecharts; EMC4; HA1; Kripke1;

相似文献

中文文献
外文文献
专利

1. 基于UML Statechart的人机交互界面建模 [J] . 刘舒婷 ,刘立辉 . 电子世界 . 2014,第022期
2. 基于扩展UML statecharts的协议测试 [J] . 费立志 ,缪淮扣 . 计算机应用与软件 . 2007,第012期
3. 基于UML Statecharts面向对象软件的测试框架 [J] . 占学德 ,缪淮扣 . 应用科学学报 . 2006,第005期
4. 基于UML-Statecharts的工作流控制结构的验证 [J] . 陆公正 ,戎玫 ,张广泉 . 计算机科学 . 2006,第005期
5. 基于UML Statecharts的测试用例生成 [J] . 缪淮扣 ,占学德 ,刘玲 . 小型微型计算机系统 . 2005,第004期
6. 面向属性的UML Statecharts测试生成 [C] . 李书浩 ,王戟 ,齐治昌 . 2003中国计算机大会 . 2003
7. 基于扩展UML statecharts的协议一致性测试方法的研究 [A] . 费立志 . 2006

基于EMC和HA的UML Statecharts检测研究

摘要

著录项

相似文献

相关主题

期刊订阅