期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

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

Reliability evaluation before the accomplishment of service-oriented architecture software
下载PDF
导出
摘要 为了在软件实现前评估其可靠性,针对基于面向服务架构(SOA)设计的软件提出了一种可靠性评价方法:用OWL-S描述软件的需求和设计信息,利用Maude为OWL-S过程模型的控制结构定义形式化语义,使用分布函数构建软件的操作剖面,在Maude中增加软件的操作剖面信息和体系结构信息如何参与可靠度计算的描述,在Maude系统的支持下,通过重写得到软件的可靠度,并基于此方法设计开发了一个软件可靠性预计工具——SRPT。所提出的软件可靠性评价方法综合考虑了数据流、控制流、构件和软件操作剖面信息以及体系结构信息对软件可靠性的影响,能够在软件实现前根据软件设计预测其可靠度,为软件的开发设计提供了工程指导。 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.
作者 吕堂祺 黄宁 贾晓光 王东
机构地区 北京航空航天大学可靠性与系统工程学院 北京航空航天大学计算机学院
出处 《计算机应用》 CSCD 北大核心 2011年第9期2436-2439,2484,共5页 journal of Computer Applications
基金 国防"十一五"预研项目
关键词 面向服务架构 OWL—S模型 重写逻辑 操作剖面 可靠性评价 Service-Oriented Architecture （SOA） OWL-S （ Ontology Web Language for Services） model rewrite logic operational profile reliability evaluation
分类号 TP311.521 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献16

  • 1CHEUENG R C. A user-oriented software reliability model [ J]. IEEE Transactions on Software Engineering, 2002, 28(4): 118- 125.
  • 2毛晓光,邓勇进.基于构件软件的可靠性通用模型[J].软件学报,2004,15(1):27-32. 被引量：62
  • 3KRISHNAMURTHY L, MATHUR A. On the estimation of reliability of a software system using reliabilities of its components [ C]//Proceedings of the Eighth International Symposium on Software Reliabil- ity Engineering. Washington, DC: IEEE Computer Society, 1997: 146 - 155.
  • 4YACOUB S M, AMMAR H H. A methodology for architecture-level reliability risk analysis [ J]. IEEE Transactions on Software Engineering, 2002, 28(6): 529-547.
  • 5YACOUB S. A scenario-based reliability analysis approach for component-based software [ J]. IEEE Transactions on Reliability, 2004, 53(4) : 465 -480.
  • 6JELINSKI Z, MORANDA P B. Software reliability research [ M]// Statistical Computer Performance Evaluation. New York: Academic Press, 1972:465-484.
  • 7赵秀梅.软件构件简介[J].长治学院学报,2003,21(5):51-53. 被引量：1
  • 8MARTIN D. OWL-S: semantic markup for Web services [ EB/OL]. [2010 - 05 - 16]. http://www, ai. sri. com/daml/services/owl-s/ 1.2/overview.
  • 9AHRENDT W, ROTH A, SASSE R. Automatic validation of transformation rules for Java verification against a rewriting semantics [ C]//Logic for Programming, Artificial Intelligence, and Reasoning, LNCS 3835. Berlin: Springer-Verlag, 2005:412-426.
  • 10de OLIVEIRA BRAGA C. Rewriting logic as a semantic framework for modular structural operational semantics [ D]. Brasil: Pontificia Universidade Catolica do Rio de Janeiro, 2001.

二级参考文献15

  • 1[1]Hamlet D, Mason D, Woit D. Theory of software reliability based on components. In: Proc. of the 3rd Int'l. Workshop on Component-Based Software Engineering. Toronto: IEEE Computer Society, 2001. 361～370.
  • 2[2]Goseva-Popstojanova K, Trivedi K, Mathur AP. How different architecture based software reliability models are related? In: Proc. of the Fast Abstracts 11th IEEE Int'l. Symp. on Software Reliability Engineering (ISSRE 2000). San Jose, California, 2000. http://www.chillarege.com/fastabstracts/issre2000/2000103.pdf
  • 3[3]Goseva-Popstojanova K, Trivedi K. Architecture-Based approach to reliability assessment of software systems. Performance Evaluation, 2001,45(2-3):179～204.
  • 4[4]Gokhale S, Lyu M, Trivedi K. Reliability simulation of component based software systems. In: Proc. of the 9th Intl. Symp. on Software Reliability Engineering (ISSRE'98). Paderborn: IEEE Computer Society, 1998. 192～201.
  • 5[5]Krishnamurthy S, Mathur AP. On the estimation of reliability of a software system using reliabilities of its components. In: Proc. of the 8th Int'l. Symp. on Software Reliability Engineering (ISSRE'97). Albuquerque, NM: IEEE Computer Society, 1997. 146～155.
  • 6[6]Mason D. Probabilistic analysis for component reliability composition. In: Crnkovic I, Schmidt H, Stafford J, Wallnau K, eds. Proc. of the 5th ICSE Workshop on Component-Based Software Engineering: Benchmarks for Predictable Assembly. Orlando, 2002.
  • 7[7]May J. Component-Based software reliability analysis. Technical Report, CSTR-02-002, Department of Computer Science, University of Bristol, 2002.
  • 8[8]Gokhale S, Wong W E, Trivedi K, Horgan JR. An analytical approach to architecture based software reliability prediction. In: Proc. of the 3rd Int'l. Computer Performance & Dependability Symp. (IPDS'98). Durham: IEEE Computer Society, 1998. 13～22.
  • 9[9]Musa JD, Iannino A, Okumoto K. Software Reliability: Measurement, Prediction, Application. New York: McGraw-Hill, 1987.
  • 10K Goseva-Popstojanova,S Kamavaram.Assessing Uncertainty in Reliability of Component-Based Software Systems[C].In:14th int'l Symp Software Reliability Engineering,2003:307～320.

共引文献65

计算机应用
2011年 第9期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部