摘要
从瀑布式程序设计的角度,综述了苛求系统软件生命周期各阶段的可靠性方法、技术和模型,包括需求形式化建模与验证、屏蔽设计错误的多版本软件容错、函数式程序设计以及可靠度评估模型等。总结比较各自适用的开发阶段、面向的目标错误类型及优缺点。
From the aspect of waterfall programming, the reliability methods, techniques and models applied in various phases of software life cycle of critical systems, inclu- ding the formal modeling and verification of requirements, the multi-version software fault tolerance of masking design errors, the functional programming and reliability estimation models are elaborated. On this basis, the respective applicable phases of each model, the target error types, their advantages and disadvantages are summarized.
出处
《城市轨道交通研究》
北大核心
2012年第2期89-95,114,共8页
Urban Mass Transit
关键词
苛求系统
软件可靠性
形式化方法
软件容错
函数式程序设计
评估模型
critical system
software reliability
formalmethod
software fault tolerance
functional program-ming
estimation model
