计算机辅助工程
計算機輔助工程
계산궤보조공정
COMPUTER AIDED ENGINEERING
2005年
2期
16-20
,共5页
联锁软件%建模%统一建模语言%Petri网
聯鎖軟件%建模%統一建模語言%Petri網
련쇄연건%건모%통일건모어언%Petri망
使用统一建模语言(unified modeling language,UML)为联锁软件建立平台无关的模型(platform independent model,PIM),可以实现在异种平台间的移植和复用,并有助于自动生成测试案例和测试脚本.UML建模包括静态结构分析和动态行为分析.Petri网可对联锁软件与安全性相关的动态行为精确和严格地进行形式化描述.
使用統一建模語言(unified modeling language,UML)為聯鎖軟件建立平檯無關的模型(platform independent model,PIM),可以實現在異種平檯間的移植和複用,併有助于自動生成測試案例和測試腳本.UML建模包括靜態結構分析和動態行為分析.Petri網可對聯鎖軟件與安全性相關的動態行為精確和嚴格地進行形式化描述.
사용통일건모어언(unified modeling language,UML)위련쇄연건건립평태무관적모형(platform independent model,PIM),가이실현재이충평태간적이식화복용,병유조우자동생성측시안례화측시각본.UML건모포괄정태결구분석화동태행위분석.Petri망가대련쇄연건여안전성상관적동태행위정학화엄격지진행형식화묘술.
