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
来源：
Gaojishu Tongxin/Chinese High Technology Letters | 2010年 / 20卷 / 07期
关键词：
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 条
  • [1] 43, 8, pp. 1375-1382, (2006)
  • [2] Beydeda S., Gruhn V., State of the art in testing components, Proceedings of the 3rd International Conference on Quality Software, pp. 146-153, (2003)
  • [3] Jezek P., Kofron J., Plasil F., Model checking of component behavior specification: a Real life experience, Proceedings of the International Workshop on Formal Aspects of Component Software (FACS 2005), 160, pp. 197-210, (2006)
  • [4] 29, 4, pp. 513-525, (2006)
  • [5] 18, 1, pp. 50-61, (2007)
  • [6] Lee D., Yannakakis M., Testing finite-state machines: state identification and verification, IEEE Transactions on Computer, 43, 3, pp. 306-320, (1994)
  • [7] Yalcin M.C., Yenigun H., Using distinguishing and UIO sequences together in a checking sequence, Proceedings of the International Federation for Information Proceeding (IFIP) 2006, pp. 259-273, (2006)
  • [8] Yannakakis M., Lee D., Testing finite state machines, Proceedings of the 23rd annual ACM Symposium on Theory of Computing, pp. 476-485, (1991)
  • [9] Samuel P., Mall R., Bothra A.K., Automatic test case generation using unified modeling language (UML) state diagrams, IET Software, 2, 2, pp. 79-93, (2008)
  • [10] Abdurazik A., Offutt J., Using UML collaboration diagrams for static checking and test generation, Proceedings of the 3rd International Conference on the Unified Modeling Language (UML'00), pp. 383-395, (2000)
12