|
|||||
|
|
| 基于UML时序图的自动化验证方法与应用 | |
| 作者单位： | ;1.广东中山职业技术学院 |
| 摘 要： | UML统一建模语言已成为当今软件设计中的标准方法。而由于其缺乏严密的逻辑性,使得模型中存在的潜在缺陷无法在早期被发现。本文提出一种将UML时序图转换为Promela语言描述的方法,并利用SPIN自动化验证工具检验模型的正确性。从而使开发人员在软件设计阶段就能快速检测出模型中存在的缺陷,并避免错误的设计进入开发阶段。经过试验,证明了此方法的可行性和有效性。 |
Automated Verification Methods and Applications Based on UML Sequence Diagram |
|
| Abstract: | |
| Keywords: | UML 形式化验证 Promela |