福州大学学报(自然科学版)
福州大學學報(自然科學版)
복주대학학보(자연과학판)
JOURNAL OF FUZHOU UNIVERSITY(NATURAL SCIENCE EDITION)
2014年
1期
50-54
,共5页
Python%XMI%SMV代码%模型检验
Python%XMI%SMV代碼%模型檢驗
Python%XMI%SMV대마%모형검험
Python%XMI%SMV codes%model checking
在使用NuSMV模型检验工具时,常常先使用UML的状态图对系统进行行为建模,然后再使用NuSMV输入语言的语法描述该模型,这个过程繁琐,有时会出现人为的转换错误.为此,设计了XMI2SMV代码转换器,并用Python编程语言实现了这个工具,降低了模型检验工具的使用难度.
在使用NuSMV模型檢驗工具時,常常先使用UML的狀態圖對繫統進行行為建模,然後再使用NuSMV輸入語言的語法描述該模型,這箇過程繁瑣,有時會齣現人為的轉換錯誤.為此,設計瞭XMI2SMV代碼轉換器,併用Python編程語言實現瞭這箇工具,降低瞭模型檢驗工具的使用難度.
재사용NuSMV모형검험공구시,상상선사용UML적상태도대계통진행행위건모,연후재사용NuSMV수입어언적어법묘술해모형,저개과정번쇄,유시회출현인위적전환착오.위차,설계료XMI2SMV대마전환기,병용Python편정어언실현료저개공구,강저료모형검험공구적사용난도.