会议专题

The 1st Workshop on Model-Based Verification & Validation Communication Sequence Graphs for Mutation-Oriented Integration Testing

Integration testing (IT) plays an important role for validation of the communication between different software components to ensure their optimal cooperation. In this paper we (i) introduce communication sequence graphs (CSG) for integration testing representing the communication between software components on a meta-level, (ii) define coverage criteria based on these graphs, and (iii)give hints how to extend CSG notion by Boolean algebra in order to represent complex data structures of data exchanged between components to be integrated. A case study borrowed from a robot controlling system illustrates CSG as a new integration testing approach.

Software testing integration testing communication sequence graphs mutation testing

Fevzi Belli Axel Hollmann Sascha Padberg

University of Paderbom, Germany

国际会议

2009 Third IEEE International Conference on Secure Integration and Reliability Improvement SSIRI 2009(第三届IEEE安全软件集成及可信性改进国际会议)

上海

英文

387-392

2009-07-08(万方平台首次上网日期,不代表论文的发表时间)