Component behavior testing based on user requirements

被引:0
|
作者
Li L. [1 ]
Wang Z. [2 ]
Liu L. [1 ]
机构
[1] College of Information Science and Technology, Nanjing University of Aeronautics and Astronautics
[2] College of Computer and Information Engineering, Hohai University
来源
关键词
Component behavior; Component testing; Model-based testing; Testing sequence;
D O I
10.3772/j.issn.1002-0470.2010.07.012
中图分类号
学科分类号
摘要
In view of the problem that in component based software development it is difficult to validate the component's dynamic behavior, the paper presents a novel approach for component behavior test. The component behavior is modeled using the interface automata to study the problem of how to test component behavior according to the model and user requirements. The relationships among component interfaces are first detected after analyzing the component model, and then the component behavior is expressed with a set of sequences of relevant interfaces. Subsequently, the testing sequences are derived according to the user requirements. The experimental results show that the approach proposed can verify the component behavior at the system level and generate testing sequences automatically, thus facilitating the component validation and test.
引用
收藏
页码:727 / 732
页数:5
相关论文
共 12 条
  • [11] Lund M.S., Stolen K., Deriving tests from UML 2.0 sequence diagrams with neg and assert, Proceedings of the 2006 International Workshop on Automation of Software Test, pp. 22-28, (2006)
  • [12] de Alfaro L., Henzinger T.A., Interface automata, Proceedings of the 9th Annual ACM Symposium on Foundations of Software Engineering (FSE 2001), pp. 109-120, (2001)