Reliability Verification of Software Based on Cloud Service
Jia Chang-yun, Longye Tang · 2010
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.