Efficient test-based model generation for legacy reactive systems

Proceedings - IEEE International High-Level Design Validation and Test Workshop, HLDVT

Volumn , Issue , 2004, Pages 95-100

  Margaria, Tiziana ^b,d   Niese, Oliver ^c   Raffelt, Harald ^a   Steffen, Bernhard ^a,d  

^a TU DORTMUND UNIVERSITY   (Germany)

^b UNIVERSITY OF GÖTTINGEN   (Germany)

^c Empolis GmbH   (Germany)

^d METAFrame Technologies GmbH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER TELEPHONY INTEGRATED (CTI) SYSTEMS; DETERMINISTIC FINITE AUTOMATA (DFA); LEGACY REACTIVE SYSTEMS; MODEL SYNTHESIS;

ALGORITHMS; COMPUTER HARDWARE; COMPUTER SOFTWARE; FINITE AUTOMATA; LEARNING SYSTEMS; ONLINE SYSTEMS; OPTIMIZATION;

MATHEMATICAL MODELS;

EID: 19944391951     PISSN: 15526674     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HLDVT.2004.1431246     Document Type: Conference Paper

References (23)

1. D. Angluin. Learning regular sets from queries and counterexamples. Information and Computation, 2(75):87-106, 1987.
2. Y. Brun, M. D. Ernst Finding latent code errors via machine learning over program executions In Proceedings of the 26th International Conference on Software Engineering (ICSE'04), 480-490, May 2004
3. Tsun S. Chow. Testing software design modeled by finite-state machines. IEEE Trans, on Software Engineering, 4(3): 178-187, May 1978. Special collection based on COMPSAC.
4. J. E. Cook, Z. Du, C. Liu, A. L. Wolf Discovering Models of Behavior for Concurrent Systems Tech. rep. New Mexico State University, Deppartment of Computer Science, August 2002
5. J. E. Cook, A. L. Wolf Discovering Models of Software Processes from Event-Based Data ACM Transactions on Software Engineering and Methodology (TOSEM) 215-249, 1998
6. M. D. Ernst, A. Czeisler, W. G. Griswold, D. Notkin. Quickly detecting relevant program invariants In proceedings of the 22nd International Conference on Software Engineering (ICSE 2000), 449-458, June 2000
7. S. Fujiwara, G. v. Bochmann, F. Khendek, M. Amalou, and A. Ghedamsi. Test selection based on finite state models. IEEE Trans, on Software Engineering, 17(6):591-603, June 1991.
8. A.Groce, D.Peled, M.Yannakakis. Adaptive model checking. 8th Conf. on Tools and Alg. Construction and Analysis of Systems (TACAS 2002). LNCS 2280, pp.357-370, Springer 2002.
9. A. Hagerer, H. Hungar, O. Niese, and B. Steffen. Model Generation by Moderated Regular Extrapolation. Proc. of the 5th Int. Conf. on Fundamental Approaches to Software Engineering (FASE 2002), LNCS 2306, pp. 80-95.
10. A. Hagerer, T. Margaria, O. Niese, B. Steffen, G. Brune, and H. Ide. Efficient regression testing of CTI-systems: Testing a complex call-center solution. In Annual Review of Communication, volume 55. Int. Engineering Consortium (IEC), 2001.
11. H. Hungar, T. Margaria, B. Steffen: Test-Based Model Generation for Legacy Systems, IEEE International Test Conference (ITC), Charlotte, NC, September 30 - October 2, 2003.
12. th Int. Conf. on Computer Aided Verification, 2003, LNCS 2725, pp.315-327, Springer Verlag.
13. D. Lee and M. Yannakakis. Principles and methods of testing finite state machines - a survey. Proc. IEEE, 84(8): 1090-1126, 1996.
14. T. Margaria, O. Niese, B. Steffen, A. Erochok. System Level Testing of Virtual Switch (Re-)Configuration over IP. In Proc. IEEE European Test Workshop. Corfu (GR), May 2002, IEEE Society Press.
15. T. Margaria, B. Steffen: Model Generation for Legacy Systems - Monterey 2002 Workshop on "Radical Innovations of Software and Systems Engineering in the Future", Venice, Italy, October 2002 - LNCS 2941, Springer Verlag, April 2004 - pp. 168-182.
16. A technique for verifying component-based software L. Mariani, Mauro Pezzé To appear in Proceeding of the International Workshop on Test and Analysis of Component Based Systems, March 2004
17. J. W. Nimmer, M. D. Ernst Automatic generation of program specifications In Proceedings of the 2002 International Symposium on Software Testing and Analysis (ISSTA 2002), 232-242, July 2002
18. D. Peled, M. Y. Vardi, M. Yannakakis Black Box Checking Formal Methods for Protocol Engineering and Distributed Systems, (FORTE/PSTV), pp. 225-240, 1999, Kluwer.
19. R.L. Rivest and R.E. Schapire. Inference of finite automata using homing sequences. Information and Computation, 103:299-347, 1993.
20. Krishan Sabnani and Anton Dahbura. A protocol test generation procedure. Computer Networks and ISDN Systems, 15(4):285-297, September 1988.
21. B. Steffen and H. Hunger, Behavior-based model construction. In S. Mukhopadhyay and L. Zuck, editors, Proc. 4th Int. Conf. on Verification, Model Checking and Abstract Interpretation, LNCS 2575, Springer 2003.
22. S.T. Vuong, W.Y.L. Chan, and M.R. Ito. The UIOv-method for protocol test sequence generation. In Proc. 2nd Int. Workshop on Protocol Test Systems, pages 161-176. North-Holland, 1990.
23. T. Xie, D. Notkin Mutually Enhancing Test Generation and Specification Inference. In Proceedings of 3rd International Workshop on Formal Approaches to Testing of Software (FATES 2003), LNCS Vol. 2931, Springer, pp. 60-69, Oct. 2003.