Evolution of Verification Techniques by Increasing Autonomy of Cooperating Agents

  • Francesca Saglietti
  • Sven Söhnlein
  • Raimar Lill
Part of the Studies in Computational Intelligence book series (SCI, volume 391)


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’.


Autonomous System Code Coverage Verification Technique Token Color Interoperability Testing 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Alexander, R.T., Offutt, A.J.: Coupling-based Testing of O-O Programs. Journal of Universal Computer Science 10(4) (2004)Google Scholar
  2. 2.
    Jensen, K.: Coloured Petri Nets: Basic Contents. Analysis and Practical Use. Springer, Heidelberg (1997)CrossRefGoogle Scholar
  3. 3.
    Jensen, K., Kristensen, L.M.: Coloured Petri Nets - Modelling and Validation of Concurrent Systems. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  4. 4.
    Jin, Z., Offutt, A.J.: Coupling-based Criteria for Integration Testing; Software Testing. Verification & Reliability 8(3) (1998)Google Scholar
  5. 5.
    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)Google Scholar
  6. 6.
    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)Google Scholar
  7. 7.
    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)Google Scholar
  8. 8.
    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)CrossRefGoogle Scholar
  9. 9.
    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)Google Scholar
  10. 10.
    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)Google Scholar
  11. 11.
    Zhu, H., He, X.: A Theory of Testing High-Level Petri Nets. In: 16th IFIP World Computer Congress (2000)Google Scholar
  12. 12.
    Zhu, H., He, X.: A methodology of testing high-Level Petri nets. Information and Software Technology 44 (2002)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Francesca Saglietti
    • 1
  • Sven Söhnlein
    • 1
  • Raimar Lill
    • 1
  1. 1.Chair of Software EngineeringUniversity of Erlangen-NurembergErlangenGermany

Personalised recommendations