Software Dependability Analysis and Verification Based on UML Extensibility Mechanism

摘要：

To analyze software dependability in the early phases of software development, this paper firstly annotates software non-functional properties to UML models which are used to describe software functions based on UML extensibility mechanism and the relationship model between software dependability and non-functional properties. Then a method is proposed to analyze and verify software dependability using the formal specification of sequence diagram and activity diagram and the non-functional property values of UML models. Finally, an example is given to demonstrate how to use this method.1

关键词： software dependability UML model analysis verification UML extensibility mechanism

作者: Juan Ma Hongbing Qian

作者单位: School of Computer Science & EngineeringBeihang UniversityBeijing, China School of Computer Science & Engineering Beihang University Beijing, China

会议类型: 国际会议

会议名称: 2010 3rd International Conference on Advanced Computer Theory and Engineering(2010年第三届先进计算机理论与工程国际会议 ICACTE 2010)

会议地点: 成都

会议语种:英文

页码: 1-6

在线出版日期: 2010-08-20（万方平台首次上网日期，不代表论文的发表时间）