计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2008年
11期
52-54
,共3页
吴超%林家骏%俞岭%邵玮炜
吳超%林傢駿%俞嶺%邵瑋煒
오초%림가준%유령%소위위
软件可靠性模型%软件工程%软件测试
軟件可靠性模型%軟件工程%軟件測試
연건가고성모형%연건공정%연건측시
依据软件可靠性特征,提出以解决软件开发逻辑思维正确性为建模基本问题的可靠性建模思想.给出基于失效过程的软件可靠性定义,以及一种基于"任务-事件-功能"的软件体系结构准则,进行了形式化描述和理论证明.阐述从功能可靠性、事件可靠性到任务可靠性的分层可靠性预计方法,在建模中融合了软件可靠性设计以及软件测试和管理.
依據軟件可靠性特徵,提齣以解決軟件開髮邏輯思維正確性為建模基本問題的可靠性建模思想.給齣基于失效過程的軟件可靠性定義,以及一種基于"任務-事件-功能"的軟件體繫結構準則,進行瞭形式化描述和理論證明.闡述從功能可靠性、事件可靠性到任務可靠性的分層可靠性預計方法,在建模中融閤瞭軟件可靠性設計以及軟件測試和管理.
의거연건가고성특정,제출이해결연건개발라집사유정학성위건모기본문제적가고성건모사상.급출기우실효과정적연건가고성정의,이급일충기우"임무-사건-공능"적연건체계결구준칙,진행료형식화묘술화이론증명.천술종공능가고성、사건가고성도임무가고성적분층가고성예계방법,재건모중융합료연건가고성설계이급연건측시화관리.
