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 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.