城市轨道交通研究
城市軌道交通研究
성시궤도교통연구
URBAN MASS TRANSIT
2012年
2期
89-95,114
,共8页
苛求系统%软件可靠性%形式化方法%软件容错%函数式程序设计%评估模型
苛求繫統%軟件可靠性%形式化方法%軟件容錯%函數式程序設計%評估模型
가구계통%연건가고성%형식화방법%연건용착%함수식정서설계%평고모형
从瀑布式程序设计的角度,综述了苛求系统软件生命周期各阶段的可靠性方法、技术和模型,包括需求形式化建模与验证、屏蔽设计错误的多版本软件容错、函数武程序设计以及可靠度评估模型等.总结比较各自适用的开发阶段、面向的目标错误类型及优缺点.
從瀑佈式程序設計的角度,綜述瞭苛求繫統軟件生命週期各階段的可靠性方法、技術和模型,包括需求形式化建模與驗證、屏蔽設計錯誤的多版本軟件容錯、函數武程序設計以及可靠度評估模型等.總結比較各自適用的開髮階段、麵嚮的目標錯誤類型及優缺點.
종폭포식정서설계적각도,종술료가구계통연건생명주기각계단적가고성방법、기술화모형,포괄수구형식화건모여험증、병폐설계착오적다판본연건용착、함수무정서설계이급가고도평고모형등.총결비교각자괄용적개발계단、면향적목표착오류형급우결점.
