Abstract
Real-time contracts between components, as an important aspect of quality-of-service considerations, add a new dimension to the development and validation of component-based embedded systems. A real-time contract determines the fulfillment of a component’s response time requirements when it operates in a client-server relation with other components. This represents a typical contract testing scenario in which the client component needs to assess the timely response of an associated server component according to its usage profile of that server. The basic model of built-in contract testing technology is capable of assessing the correctness of behavioral contracts between components in this way. This chapter introduces an extension to the basic built-in contract testing model that puts components into the position to assess their deployment environment with respect to response time specifications. This extended model of built-in contract testing requires some additional built-in test architecture for components plus an automatic test case generator that is based on search heuristics.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Atkinson, C., Gross, H.-G.: Built-In Testing in Model-Driven, Component-Based Development. In: Workshop on Component-Based Development Processes, 7th International Conference on Software Reuse (ICSR-7), Austin, TX, April 15-19 (2002)
Beugnard, A., Jézéquel, J.M., Plouzeau, N., Watkins, D.: Making Components Contract- Aware. IEEE Software 32(7), 38–44 (1999)
Binder, R.: Testing Object-Oriented Systems - Models, Pattern Tools. Addison-Wesley, Reading (2000)
EODev, http://eodev.sourceforge.net
Fraunhofer, I. R.: System Specification. Technical Report of the Fraunhofer Institute for Graphical Data Processing, Darmstadt (2002)
GALib, http://lancet.mit.edu/ga
GA Playground, http://www.aridolan.com/ga/gaa/gaa.html
Genetic Server and Genetic Library, http://www.nd.com/genetic
Goldberg, D.E.: Genetic Algorithms in Search, Optimization and Machine Learning. Addison-Wesley, Reading (1989)
Gross, H.-G., Jones, B.F., Eyres, D.E.: Evolutionary Algorithms for the Verification of Execution Time Bounds for Real-Time Software. In: IEE Workshop on Applicable Modeling, Verification and Analysis Techniques, London, UK (January 1999)
Gross, H.-G.: Measuring Evolutionary Testability of Real-Time Software. PhD Thesis, University of Glamorgan, Pontypridd, Wales (June 2000)
Gross, H.-G.: Built-In Contract Testing in Component-Based Application Engineering. In: CologNet Joint Workshop on Component-Based Software Development and Implementation Technology for Computational Logic, International Workshop on Logic Based Program Development and Transformation (LOPSTR), pp. 17–20 (2002)
Gross, H.-G.: An Evaluation of Dynamic Optimisation-based Worst-case Execution Time Analysis. In: 1st Intl. Conference on Information Technology: Prospects and Challenges in the 21st Century, Kathmandu, Nepal (2003)
Gross, H.-G., Mayer, N.F.: Search-Based Execution-Time Verification in Object-Oriented and Component-Based Real-Time System Development. In: 8th IEEE WS on Object-oriented Real-time Dependable Systems, Guadalajara, Mexico, January 2003, pp. 15–17 (2003)
Gross, H.-G., Mayer, N.F.: Search-based Performance Evaluation with MARMOT. In: 1st Intl. Workshop on QoS in Compnent-based Software Engineering, Toulouse, France (2003)
Gross, H.-G.: Component-Based Software Testing with UML, September 2004. Springer, Heidelberg (2004)
Hunt, J.: Testing Control Software using a Genetic Algorithm. Engineering Applications of Artificial Intelligence 8(6) (1995)
Jézéquel, J.M., Deveaux, D., LeTraon, Y.: Reliable Objects: Lightweight Testing for OO Languages. IEEE Software (1999)
Meyer, B.: Object-Oriented Software Construction. Prentice-Hall, Englewood Cliffs (1997)
Reussner, R.H.: Parameterisierte Verträge zur Protokolladaption bei Software- Komponenten, Logos, Berlin (2001)
Reussner, R.H.: The Use of Parameterized Contracts for Architecting Systems with Software Components. 6th International on Component-Oriented Programming, Budapest (2001)
Reussner, R.H., Schmidt, W.H., Poernomo, I.H.: Reliability Prediction for Component- Based Software Architectures. In: 9th International Workshop on Component-Based Software Engineering, Lund (2002)
Santos, P., Ritter, T., Born, M.: Rapid Engineering of Collaborative and Adaptive Multimedia Systems on Top of CORBA Components. In: Irmscher, K. (ed.) Kommunikation in Verteilten Systemen, VDE, Offenbach (2003)
Schwefel, H.P., Männer, R.: Parallel Problem Solving from Nature. Springer, Berlin (1990)
Sthamer, H.: The Automatic Generation of Software Test Data. PhD Thesis, University of Glamorgan, Pontypridd, Wales, UK (1995)
Sthamer, H., Baresel, A., Wegener, J.: Evolutionary Testing of Embedded Systems. In: 14th International Software Quality Week (QW 2001), San Francisco, USA (May 2001)
Sthamer, H., Wegener, J., Baresel, A.: Using Evolutionary Testing to Improve Efficiency and Quality in Software Testing. In: Proceedings of the 2nd Asia-Pacific Conference on Software Testing Analysis Review, Melbourne, Australia, July 22-24 (2002)
Tracey, N., Clark, J., Mander, K.: TheWay Forward for Unifying Dynamic Test-Case Generation: The Optimisation-Based Approach. In: IFIP Intl. Workshop on Dependable Computing and its Applications (DCIA), South Africa, January 1998, pp. 169-180 (1998)
Tracey, N.: A Search-Based Automated Test-Data Generation Framework for Safety-Critical Software. PhD Thesis, University of York, UK (2000)
Von Laarhoven, P.J.M., Aarts, E.H.L.: Simulated Annealing: Theory and Applications. In: Mathematics and its Applications, Kluwer, Dordrecht (1987)
Wang, Y., King, G., Fayad, M., Patel, D., Court, I., Staples, G., Ross, M.: On Built-in Tests Reuse in Object-Oriented Framework Design. ACM Journal on Computing Surveys 23(1) (2000)
Wegener, J., Grochtmann, M.: Verifying Timing Constraints of Real-Time Systems by Means of Evolutionary Testing. Real-Time Systems 3(15) (1998)
Wegener, J., Sthamer, H., Baresel, A.: Application Fields for Evolutionary Testing. Eurostar 2001 Stockholm, Sweden (November 2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Gross, HG., Mayer, N., Riano, J.P. (2005). Assessing Real-Time Component Contracts Through Built-in Evolutionary Testing. In: Atkinson, C., Bunse, C., Gross, HG., Peper, C. (eds) Component-Based Software Development for Embedded Systems. Lecture Notes in Computer Science, vol 3778. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11591962_6
Download citation
DOI: https://doi.org/10.1007/11591962_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-30644-3
Online ISBN: 978-3-540-31614-5
eBook Packages: Computer ScienceComputer Science (R0)