Contract-Based Combined Component Interaction Graph Generation

  • Haiqiang Li
  • Min Cao
  • Jian Cao
Conference paper
Part of the Lecture Notes in Electrical Engineering book series (LNEE, volume 236)


Component interaction graph is used to describe the interrelation of components, which provides an objective basis and technology to test component composition. However, the traditional component interaction graph cannot serve as a basis to test a component itself and the state transition between components for lacking of description of states of individual component. Therefore, a novel model, named Contract-Based Combined Component Interaction Graph (CBCCIG) is put forward in this paper. CBCCIG combined the thought of contract test with the UML state diagram which is introduced in the paper. The proposed model can not only support the quick assembly of the software system depending on developer’s own willing, but also the automatic or semi-automatic generation of test cases which are the state transition and information interaction between components. Thus, CBCCIG improves the efficiency of development and testing.


CBSD Component composition CIG UML state diagram Testing by contracts 


  1. 1.
    Shang, M., Wang, H., Jiang, L.: The development process of component-based application software. In: 2011 International Conference of Information Technology, Computer Engineering Management Sciences, pp. 11–14 (2011)Google Scholar
  2. 2.
    Fu, L., Sun, G., Chen, J.: An approach for component-based software development. In: International Forum on Information Technology and Applications, pp. 22–25 (2010)Google Scholar
  3. 3.
    Li, L., Wang, Z., Zhang, X.: An approach to testing based component composition. In: International Colloquium Computer Communication, Control Management, pp. 735–739 (2008)Google Scholar
  4. 4.
    Wu, Y., Pan, D., Chen, M-H.: Techniques for testing component-based software. In: Proceedings of the Seventh IEEE International Conference on Engineering of Complex Computer Systems, vol. 2, pp. 222–232 (2001)Google Scholar
  5. 5.
    Cao, W., Zhang, W., A software test method based on CBD. Comput. Sci. 2, 156–158 (2005) (Chinese)Google Scholar
  6. 6.
    Lun, L., Chi, X.: Software architecture testing in the C2 Style. In: 2001 3rd International Conference Advanced Computer Theory Engine, pp. 123–127 (2010)Google Scholar
  7. 7.
    Valentini, E., Fliess, G., Haselwanter, E.: A framework for efficient contract-based testing of software components. In: Proceeding of the 29th Annual International Computer Software and Applications Conference, pp. 219–222 (2005)Google Scholar
  8. 8.
    Mohanty, S., Acharya, A.A., Mohapatra, D.P.: A model based prioritization technique for component based software retesting using UML state diagram. In: International Conference Electronics Computer Technology, pp. 364–368 (2011)Google Scholar

Copyright information

© Springer Science+Business Media New York 2013

Authors and Affiliations

  1. 1.School of Computer Engineering and ScienceShanghai UniversityShanghaiChina
  2. 2.School of PhysicsNankai UniversityTianjinChina

Personalised recommendations