题目：基于重写逻辑和剖面的SOA软件可靠性评估

随着Web服务和SOA（Service-Oriented Architecture）技术的出现和发展，SOA软件已经成为当前软件开发的新趋势。如何评估SOA软件的可靠性，已经成为软件的重要研究课题。 传统的基于黑盒的软件可靠性评估方法主要适用于软件实现后的测试阶段，并且需要搜集大量的测试数据，无法在软件开发的早期阶段应用。基于体系结构的软件可靠性评估方法需要根据构件之间的转移概率进行可靠性的评估。一方面转移概率在软件开发的早期阶段只能人为地凭借经验给出，另一方面这类方法仅考虑单个构件的可靠性和构件间的转移对整体可靠性的影响，而不对软件中的控制流和数据流进行单独考察。 软件可靠性的评估精确与否依赖于软件的操作剖面。然而在目前大多数基于体系结构的软件可靠性模型中，软件的操作剖面仅仅在转移概率中得以体现，缺乏对操作剖面的分析与描述。 针对以上问题，为了在早期的设计阶段能够预测软件的可靠性，为软件的整体设计提供指导，本文提出了一种基于重写逻辑和剖面的软件可靠性评估方法。该方法在充分考虑软件体系结构基础上，利用重写逻辑工具，基于软件的操作剖面对软件的可靠性进行评估。在方法研究的基础上，设计并实现了一个SOA软件可靠性预测工具，并且集成实验室原有的工具完成了一个多模型可靠性评估工具的原型系统。最后通过对原型系统的测试，分析和验证了本文提出的软件可靠性预测方法。本文主要工作内容如下： 软件操作剖面信息的获取。从类似领域中构件运行的历史数据中获取软件的操作剖面信息，并采用本体来保存和共享获取的操作剖面信息。 软件操作剖面的重写逻辑描述。在OWL-S形式化语义定义的基础上，对软件的操作剖面进行形式化的描述，并且描述剖面信息参与软件可靠度计算的过程。 扩展了基于重写逻辑的软件可靠度计算方法。这种方法以OWL-S描述软件需求和设计阶段的信息，然后对OWL-S进行形式化定义，增加对操作剖面和其它可靠性信息的重写逻辑描述，将软件的OWL-S模型转换为重写逻辑模型，最后在Maude系统中执行得到软件的可靠度。 系统的实现和集成。编写系统实现基于重写逻辑和剖面的软件可靠性计算方法，并与实验室原有的系统集成，完成一个软件可靠性综合分析系统。