Reliability Verification of Software Based on Cloud Service

As software continues to expand the scale and more and more reliability requirements come from users, how to measure reliability of each component of the software has become a key issue in software development. So, in this paper, a novel guarantee-verification method based on cloud service was proposed from the aspect of component service. First, the component´s trustworthiness was defined in terms of component service guarantee-verification. Secondly, an effective component model was defined. Thirdly, based on this model, the process of verifying a component service by atomic service extension was given and illustrated in an application sample. This model can provide an effective verification method which can automatically determine whether a component service satisfies a certain user´s requirement or not. And it can also help improve the usability of a software component and the efficiency of component based software development.