构件行为模型的构造研究

提出了基于 UML构件规格说明自动构造构件行为模型的方法 ,并用一个实例对该方法进行了说明。该方法构造的构件行为模型包含状态与状态之间的转换 ,接口操作作为状态转换弧上的输入 ,能够很好地体现接口的操作调用序列 ,因而可以作为构件测试的测试模型 ,对于构件的开发者和使用者进行构件的黑盒测试以及第三方构件的评估很有价值。

Construction of software component behavior models

This paper proposed an algorithm for automatic construction of software component behavior model from UML com-ponent 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.