摘要
使用统一建模语言(unifiedmodelinglanguage,UML)为联锁软件建立平台无关的模型(platformindependentmodel,PIM),可以实现在异种平台间的移植和复用,并有助于自动生成测试案例和测试脚本。UML建模包括静态结构分析和动态行为分析。Petri网可对联锁软件与安全性相关的动态行为精确和严格地进行形式化描述。
Constructing a platform independent model for interlocking software using unified modeling language (UML) can not only make it portable and reusable from heterogeneous platform, but also be helpful to generate test case and test script automatically. UML modeling can be applied to static structure and applied to dynamic behavior. Petri net can be applied to provide precise and strict formal description for the dynamic behavior, which is related to the safety of interlocking software.
出处
《计算机辅助工程》
2005年第2期16-20,共5页
Computer Aided Engineering
基金
上海市科学技术委员会科技攻关项目(035115023)
教育部博士学科点专项科研基金(20030247021)
关键词
联锁软件
建模
统一建模语言
PETRI网
interlocking software
modeling
unified modeling language (UML)
Petri net
