Model Based Software Component Verification
Developing software components requires a high focus on software quality. A novel approach was proposed from the component producer perspective to improve it in this paper. First,atomic service, service extension and extension rule were defined respectively. Secondly, an effective component model was defined,in terms of service, to describe all services which a component can provide. Thirdly, the process of constructing a component service by atomic service extension was given and illustrated in an application sample. The concrete sample shows that this component model can provide an effective verification approach which can automatically determine whether a component service satisfies a certain users requirement or not. And it can also help improve the usability of a software component and the efficiency ofcomponent based software development.
Software component verificaton component model atomic service service extension extension constraint
Longye Tang Xiaofeng Zhou Zhijian Wang Yukui Fei Jijun Zhang
College of computer & information engineering Hohai University Nanjing, China College of information science & engineering Shandong Agricultural University Taian. China
国际会议
成都
英文
15-20
2010-06-23（万方平台首次上网日期，不代表论文的发表时间）