计算机应用 ›› 2011, Vol. 31 ›› Issue (09): 2436-2439.DOI: 10.3724/SP.J.1087.2011.02436

• 计算机软件技术 • 上一篇    下一篇

面向服务架构软件实现前的可靠性评价方法

吕堂祺1,黄宁1,2,贾晓光2,王东2   

  1. 1. 北京航空航天大学 可靠性与系统工程学院,北京 100191
    2. 北京航空航天大学 计算机学院,北京 100191
  • 收稿日期:2010-12-24 修回日期:2011-01-30 发布日期:2011-09-01 出版日期:2011-09-01
  • 通讯作者: 吕堂祺
  • 作者简介:吕堂祺(1987-),男,江西九江人,硕士研究生,主要研究方向:网络可靠性;
    黄宁(1968-),女,北京人,教授,主要研究方向:网络可靠性、软件测试、软件可靠性;
    贾晓光(1985-),男,河南郑州人,硕士研究生,主要研究方向:软件测试、软件可靠性;
    王东(1984-),男,山东济南人,硕士研究生,主要研究方向:软件测试、软件可靠。
  • 基金资助:
    国防“十一五”预研项目

Reliability evaluation before the accomplishment of service-oriented architecture software

LV Tang-qi1,HUANG Ning1,2,JIA Xiao-guang2,WANG Dong2   

  1. 1. School of Reliability and Systems Engineering, Beihang University, Beijing 100191, China
    2. School of Computer Science and Engineering, Beihang University, Beijing 100191, China
  • Received:2010-12-24 Revised:2011-01-30 Online:2011-09-01 Published:2011-09-01
  • Contact: LV Tang-qi

摘要: 为了在软件实现前评估其可靠性,针对基于面向服务架构(SOA)设计的软件提出了一种可靠性评价方法:用OWL-S描述软件的需求和设计信息,利用Maude为OWL-S过程模型的控制结构定义形式化语义,使用分布函数构建软件的操作剖面,在Maude中增加软件的操作剖面信息和体系结构信息如何参与可靠度计算的描述,在Maude系统的支持下,通过重写得到软件的可靠度,并基于此方法设计开发了一个软件可靠性预计工具——SRPT。所提出的软件可靠性评价方法综合考虑了数据流、控制流、构件和软件操作剖面信息以及体系结构信息对软件可靠性的影响,能够在软件实现前根据软件设计预测其可靠度,为软件的开发设计提供了工程指导。

关键词: 面向服务架构, OWL-S模型, 重写逻辑, 操作剖面, 可靠性评价

Abstract: A reliability evaluation method was proposed to evaluate the reliability of Service-Oriented Architecture (SOA) before its realization. OWL-S (Ontology Web Language for Services), of which the formal semantics of the control structure was defined by Maude, was used to descript the information of software requirements and design. The operational profile of software was built up by distribution function. After this, how the information of operational profile and the architecture of software took part in reliability calculation was added in Maude. At last, the reliability of software could be achieved through rewriting with the supporting of Maude system. In addition, the Software Reliability Predict Tool (SRPT) was developed based on this method. The data flow, control flow, components as well as the operational profile and the architecture of software were considered in the impact on software reliability. According to the design of software, it can estimate the reliability before the accomplishment of software.

Key words: Service-Oriented Architecture (SOA), OWL-S (Ontology Web Language for Services) model, rewrite logic, operational profile, reliability evaluation

中图分类号: