软件可靠性建模研究
依据软件可靠性特征，提出以解决软件开发逻辑思维正确性为建模基本问题的可靠性建模思想。给出基于失效过程的软件可靠性定义，以及一种基于“任务-事件-功能”的软件体系结构准则，进行了形式化描述和理论证明。阐
2024-04-22
2