Construction of software component behavior models
Xiaoning Zheng · Jisuanji yingyong yanjiu · 2008
This paper proposed an algorithm for automatic construction of software component behavior model from UML component and illustrated it by an example.The constructed model included states and transitions between states.The method was as transition label.The model presented possible component operation sequences.It could be a model based on which tests were to be generated.This algorithm is valuable for model-based software component testing which supplier and user carries and software component evaluation which the third party carries on.