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.
component trustworthiness service guarantee-verificaton mechnism component model atomic service cloud service
Changyun Jia Longye Tang
College of Computer engineering,Huaihai Institute of Technology,Lianyungang,China College of computer & information engineering,Hohai University ,Nanjing, China
国际会议
The Ninth International Conference on Grid and Cloud Computing(第九届网格与云计算国际学术会议 GCC 2010)
南京
英文
489-494
2010-11-01（万方平台首次上网日期，不代表论文的发表时间）