Abstract
As system parts are becoming increasingly decoupled, gaining at the same time in terms of local autonomy, this article elaborates on the effects this trend has on verification and validation techniques. Both qualitative approaches to fault detection and quantitative approaches to reliability assessment are analyzed in the light of their evolution to adapt to the increasing decentralization and autonomy of modern ‘systems of systems’.
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
Alexander, R.T., Offutt, A.J.: Coupling-based Testing of O-O Programs. Journal of Universal Computer Science 10(4) (2004)
Jensen, K.: Coloured Petri Nets: Basic Contents. Analysis and Practical Use. Springer, Heidelberg (1997)
Jensen, K., Kristensen, L.M.: Coloured Petri Nets - Modelling and Validation of Concurrent Systems. Springer, Heidelberg (2009)
Jin, Z., Offutt, A.J.: Coupling-based Criteria for Integration Testing; Software Testing. Verification & Reliability 8(3) (1998)
Jung, M., Saglietti, F.: Supporting Component and Architectural Re-usage by Detection and Tolerance of Integration Faults. In: 9th IEEE International Symposium on High Assurance Systems Engineering (HASE 2005). IEEE Computer Society Press (2005)
Kreowski, H.-J.: Modeling Iteracting Logistic Processes by Communities of Autonomous Systems, talk on activities of DFG-SFB 637 (Selbststeuerung logistischer Prozesse). In: Chinese-German Symposion, Braunschweig (2010)
Meitner, M., Saglietti, F.: Software Reliability Assessment based on Operational Representativeness and Interaction Coverage. In: 24th International Conference on Architecture of Computing Systems, ARCS 2011. VDE Verlag (2011)
Oster, N., Saglietti, F.: Automatic test data generation by multi-objective optimisation. In: Górski, J. (ed.) SAFECOMP 2006. LNCS, vol. 4166, pp. 426–438. Springer, Heidelberg (2006)
Saglietti, F., Pinte, F.: Automated Unit and Integration Testing for Component-based Software Systems; Dependability and Security for Ressource Constrained Embedded Systems (D&S4RCES). ACM Digital Library (2010)
Söhnlein, S., Saglietti, F., Bitzer, F., Meitner, M., Baryschew, S.: Software Reliability Assessment Based on the Evaluation of Operational Experience. In: Müller-Clostermann, B., Echtle, K., Rathgeb, E.P. (eds.) MMB&DFT 2010. LNCS, vol. 5987, pp. 24–38. Springer, Heidelberg (2010)
Zhu, H., He, X.: A Theory of Testing High-Level Petri Nets. In: 16th IFIP World Computer Congress (2000)
Zhu, H., He, X.: A methodology of testing high-Level Petri nets. Information and Software Technology 44 (2002)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Saglietti, F., Söhnlein, S., Lill, R. (2012). Evolution of Verification Techniques by Increasing Autonomy of Cooperating Agents. In: Unger, H., Kyamaky, K., Kacprzyk, J. (eds) Autonomous Systems: Developments and Trends. Studies in Computational Intelligence, vol 391. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-24806-1_27
Download citation
DOI: https://doi.org/10.1007/978-3-642-24806-1_27
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-24805-4
Online ISBN: 978-3-642-24806-1
eBook Packages: EngineeringEngineering (R0)