计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2008年
22期
37-39
,共3页
安全苛求软件%安全性分析%形式化描述
安全苛求軟件%安全性分析%形式化描述
안전가구연건%안전성분석%형식화묘술
安全性分析对于确保开发出符合安全性需求的软件系统非常重要.该文从安全苛求软件的建模特点出发,分析现有的安全性分析方法和UML建模语言在安全苛求软件方面的应用及优缺点.针对UML面向安全性需求建模的不足,对顺序图增加了安全性描述方法.通过车载ATP系统的建模应片j验证其可行性与有效性.
安全性分析對于確保開髮齣符閤安全性需求的軟件繫統非常重要.該文從安全苛求軟件的建模特點齣髮,分析現有的安全性分析方法和UML建模語言在安全苛求軟件方麵的應用及優缺點.針對UML麵嚮安全性需求建模的不足,對順序圖增加瞭安全性描述方法.通過車載ATP繫統的建模應片j驗證其可行性與有效性.
안전성분석대우학보개발출부합안전성수구적연건계통비상중요.해문종안전가구연건적건모특점출발,분석현유적안전성분석방법화UML건모어언재안전가구연건방면적응용급우결점.침대UML면향안전성수구건모적불족,대순서도증가료안전성묘술방법.통과차재ATP계통적건모응편j험증기가행성여유효성.