Abstract
We propose the use of (semi-) automatically extrapolated models as a means for coping with legacy systems: a focused way of testing systems for their behavioral properties allows the construction of expressive behavioral hypothesis models, and therefore extends the range of formal methods to ‘black box’ scenarios, which are dominant in industrial practice. Keeping these models up to date by continuous adaptation may provide an ideal way for controlling the evolution of large systems during their whole life cycles. Bottleneck of this approach is the size of the extrapolated models: particularly for distributed systems the state explosion problem strikes back. This paper focusses on a particularly promising cure: view-oriented model construction allows a new way of size control that complements other powerful techniques, which together have the potential to scale to systems of realistic size. This is illustrated by considering small instance views in the context of Computer Telephony Integrated Systems.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Angluin, D.: Learning regular sets from queries and counter examples. Information and Computation 2(75), 87–106 (1987)
The Esterel Synchronous Programming Language: Design, Semantics, Implementation (1992) (Make Corrections) (352 citations) Gerard Berry, Georges Gonthier Science of Computer Programming (1992)
Chow, T.S.: Testing software design modeled by finite-state machines. IEEE Transactions on Software Engineering 4(3), 178–187 (1978)
Emerson, E.A.: Temporal and modal logic. In: van Leeuwen, J. (ed.) Handbook of theoretical computer science, Elsevier, Amsterdam (1990)
Groce, A., Peled, D., Yannakakis, M.: Adaptive model checking. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol. 2280, pp. 357–370. Springer, Heidelberg (2002)
Hagerer, A., Hungar, H., Niese, O., Steffen, B.: Model Generation by Moderated Regular Extrapolation. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol. 2306, pp. 80–95. Springer, Heidelberg (2002)
Hagerer, A., Margaria, T., Niese, O., Steffen, B., Brune, G., Ide, H.: Efficient regression testing of CTI-systems: Testing a complex call-center solution. In: Annual Review of Communication. Int. Engineering Consortium (IEC), vol. 55 (2001)
Harel, D.: Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming 3(8), 231–274 (1987)
Hungar, H., Niese, O., Steffen, B.: Domain-Specific Optimization in Automata Learning. In: Hunt Jr., W.A., Somenzi, F. (eds.) CAV 2003. LNCS, vol. 2725, pp. 315–327. Springer, Heidelberg (2003)
Jonsson, B., Margaria, T., Naeser, G., Nyström, J., Steffen, B.: Incremental requirement specification for evolving systems. Nordic Journal of Computing 8(1), 65; Also in Proc. of Feature Interactions in Telecommunications and Software Systems 2000 (2001)
Margaria, T., Niese, O., Steffen, B., Erochok, A.: System Level Testing of Virtual Switch (Re-)Configuration over IP. In: Proc. IEEE European Test Workshop, Corfu (GR), May 2002, IEEE Society Press, Los Alamitos (2002)
Margaria, T., Niese, O., Steffen, B.: A Practical Approach for the Regression Testing of IP-based Applications, invited contribution to the volume IP Applications and Services 2003: A Comprehensive Report IEC, Int. Engineering Consortium Chicago (USA) (2003) ISBN 1-931695-12-1
Margaria, T., Steffen, B.: Lightweight Coarse-grained Coordination: A Scalable System-Level Approach, invited contrib. to the Special Section on Formal Methods in Industrial Critical Systems (Ed. JAco van de Pol) of STTT, Int. Journal on Software Tools for Technology Transfer, Springer Verlag (to appear)
Win, T.N., Ernst, M.D., Garland, S.J., Kirli, D., Lynch, N.: Using simulated execution in verifying distributed algorithms. In: Zuck, L.D., Attie, P.C., Cortesi, A., Mukhopadhyay, S. (eds.) VMCAI 2003. LNCS, vol. 2575, pp. 283–297. Springer, Heidelberg (2002)
Niese, O., Margaria, T., Hagerer, A., Nagelmann, M., Steffen, B., Brune, G., Ide, H.: An automated testing environment for CTI systems using concepts for specification and verification of workflows. In: Annual Review of Communication, Int. Engineering Consortium, Chicago, USA, vol. 54, pp. 927–936. IEC (2001)
Niese, O., Steffen, B., Margaria, T., Hagerer, A., Brune, G., Ide, H.: Library-based design and consistency checks of system-level industrial test cases. In: Hussmann, H. (ed.) FASE 2001. LNCS, vol. 2029, pp. 233–248. Springer, Heidelberg (2001)
Steffen, B.: Unifying models. In: Reischuk, R., Morvan, M. (eds.) STACS 1997. LNCS, vol. 1200, pp. 1–20. Springer, Heidelberg (1997)
Steffen, B., Hungar, H.: Behavior-based model construction. In: Zuck, L.D., Attie, P.C., Cortesi, A., Mukhopadhyay, S. (eds.) VMCAI 2003. LNCS, vol. 2575, pp. 5–19. Springer, Heidelberg (2002)
Vasilevskii, M.P.: Failure diagnosis of automata. Kibernetika 4, 98–108 (1973)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hungar, H., Margaria, T., Steffen, B. (2004). Model Generation for Legacy Systems. In: Wirsing, M., Knapp, A., Balsamo, S. (eds) Radical Innovations of Software and Systems Engineering in the Future. RISSEF 2002. Lecture Notes in Computer Science, vol 2941. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24626-8_11
Download citation
DOI: https://doi.org/10.1007/978-3-540-24626-8_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21179-2
Online ISBN: 978-3-540-24626-8
eBook Packages: Springer Book Archive