软件可靠性建模研究OA北大核心CSCDCSTPCD
Study on Software Reliability Modeling
依据软件可靠性特征,提出以解决软件开发逻辑思维正确性为建模基本问题的可靠性建模思想.给出基于失效过程的软件可靠性定义,以及一种基于"任务-事件-功能"的软件体系结构准则,进行了形式化描述和理论证明.阐述从功能可靠性、事件可靠性到任务可靠性的分层可靠性预计方法,在建模中融合了软件可靠性设计以及软件测试和管理.
吴超;林家骏;俞岭;邵玮炜
华东理工大学自动化研究所,上海,200237总参通信部驻上海地区军事代表室,上海,200082华东理工大学自动化研究所,上海,200237总参通信部驻上海地区军事代表室,上海,200082
信息技术与安全科学
软件可靠性模型软件工程软件测试
《计算机工程》 2008 (11)
52-54,3
评论