构件行为模型的构造研究

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