构件行为模型的构造研究  

Construction of software component behavior models

作　　者：马春燕[1] 胡飞[1] 郑小宁[1] 

机构地区：[1]西北工业大学软件与微电子学院,西安710072

出　　处：《计算机应用研究》2008年第10期3026-3029,共4页Application Research of Computers

摘　　要：提出了基于UML构件规格说明自动构造构件行为模型的方法,并用一个实例对该方法进行了说明。该方法构造的构件行为模型包含状态与状态之间的转换,接口操作作为状态转换弧上的输入,能够很好地体现接口的操作调用序列,因而可以作为构件测试的测试模型,对于构件的开发者和使用者进行构件的黑盒测试以及第三方构件的评估很有价值。This paper proposed an algorithm for automatic construction of software component behavior model from UML component and illustrated it by ao 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.

关 键 词：构件 测试模型 统一建模语言构件规格说明 构件行为模型 自动构造 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]