Improving Automatic Test Case Generation Process with Knowledge Engineering in the Crystal Project

Antonio M. Rinaldi, Roberto Nardone, Stefano Marrone, Valeria Vittorini

2014

Abstract

Recent research advances have brought to a growing interest from both academic and industrial communities in the improvement of existing engineering processes by means of model-driven techniques. This method is starting to demonstrate its effectiveness by raising the level of abstraction and by improving the level of automation of traditional processes. One of these applications is related to V&V processes and in particular to the generation of system level test cases for critical systems. This chapter investigates the possibility to further improve such process by exploiting synergies between model-driven techniques and knowledge engineering ones. This work is developed in the context of Crystal, an EU Artemis funded research project, and focuses on a specific part of its framework. The proposed approaches are demonstrated by means of a case study in the field of railway signalling system.

References

  1. Aßmann, U., Zschaler, S., Wagner, G.: Ontologies, meta-models, and the model-driven paradigm. In: Ontologies for Software Engineering and Software Technology. Springer (2006) 249-273
  2. Rinaldi, A.: A content-based approach for document representation and retrieval. In: Proceedings of the eighth ACM symposium on Document engineering, ACM (2008) 106-109
  3. Thomas, R.: A translation approach to portable ontology specifications. Knowl. Acquis. 5 (1993) 199-220
  4. Minsky, M.: A framework for representing knowledge. Technical report, Massachusetts Institute of Technology, Cambridge, MA, USA (1974)
  5. Woods, W.: What's in a link: Foundations for semantic networks. In Bobrow, D.G., Collins, A., eds.: Representation and Understanding. Academic Press, New York (1975) 35-82
  6. Brachman, R.: What's in a concept: Structural foundations for semantic nets. International Journal of Man-Machine Studies 9 (1977) 127-152
  7. Brachman, R.: On the epistemological status of semantic networks. In Findler, N.V., ed.: Associative Networks: Representation and Use of Knowledge by Computers. Academic Press, Orlando (1979) 3-50
  8. Brachman, R., Schmolze, J.: An overview of the Kl-ONE knowledge representation system. Cognitive Science 9 (1985) 171-216
  9. Fox, M., Wright, J., Adam, D.: Experiences with srl: an analysis of frame-based knowledge representations. In: Proceedings from the first international workshop on Expert database systems, Redwood City, CA, USA, Benjamin-Cummings Publishing Co., Inc. (1986) 161- 172
  10. Bobrow, D., Winograd, T.: An overview of krl, a knowledge representation language. Technical report, Stanford University, Stanford, CA, USA (1976)
  11. Guarino, N.: The ontological level. In Casati, R., B. Smith, B., White, G., eds.: Philosophy and the Cognitive Sciences. Holder-Pichler-Tempsky, Vienna (1994)
  12. Albanese, M., Maresca, P., Picariello, A., Rinaldi, A.: Towards a multimedia ontology system: an approach using TAO XML. In: In Proceedings of the 11th International Conference on Distributed Multimedia Systems (DMS'05). (2005) 52-57
  13. Cataldo, A., Rinaldi, A.: An ontological approach to represent knowledge in territorial planning science. Computers, Environment and Urban Systems 34 (2010) 117-132
  14. Dean, M., Schreiber, G.: OWL Web Ontology Language Reference. Technical Report http://www.w3.org/TR/2004/REC-owl-ref-20040210/, W3C (2004)
  15. Schmidt, D.C.: Guest editor's introduction: Model-driven engineering. Computer 39 (2006) 25-31
  16. (CRYSTAL: CRitical sYSTem engineering AcceLeration) http://www.crystal-artemis.eu/.
  17. Pfl ügl, H., El-Salloum, C., Kundner, I.: CRYSTAL, CRitical sYSTem engineering AcceLeration, a Truly European Dimension. ARTEMIS Magazine 14 (2013) 12-15
  18. (CESAR: Cost-Efficient methods and proceses for SAfety Relevant embedded systems) http://www.cesarproject.eu/.
  19. (iFEST: industrial Framework for Embedded Systems Tools) http://www.artemis-ifest.eu/.
  20. (MBAT: Combined Model-based Analysis and Testing of Embedded Systems) http://www.mbat-artemis.eu/.
  21. UIC: ERTMS/ETCS class1 system requirements specification, ref. SUBSET-026, issue 2.2.2 (2002)
  22. CENELEC: Cenelec, en 50128: Railway applications - communication, signalling and processing systems - software for railway control and protection systems (2011)
  23. CENELEC: Cenelec, en 50126: Railway applications - demonstration of reliability, availability, maintainability and safety (rams) - part 1: Generic rams process (2012)
  24. Marrone, S., Flammini, F., Mazzocca, N., Nardone, R., Vittorini, V.: Towards model-driven v&v assessment of railway control systems. International Journal on Software Tools for Technology Transfer 16 (2014) 669-683
  25. Barberio, G., Di Martino, B., Mazzocca, N., Velardi, L., Amato, A., De Guglielmo, R., Gentile, U., Marrone, S., Nardone, R., Peron, A., Vittorini, V.: An interoperable testing environment for ertms/etcs control systems. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 8696 LNCS (2014) 147-156
  26. Amalfitano, D., Amatucci, N., Fasolino, A., Gentile, U., Mele, G., Nardone, R., Vittorini, V., Marrone, S.: Improving code coverage in android apps testing by exploiting patterns and automatic test case generation. (2014) 29-34
  27. Gentile, U., Marrone, S., Mele, G., Nardone, R., Peron, A.: Test specification patterns for automatic generation of test sequences. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 8718 LNCS (2014) 170-184
  28. Gargantini, A., Heitmeyer, C.: Using model checking to generate tests from requirements specifications. SIGSOFT Softw. Eng. Notes 24 (1999) 146-162
  29. Alur, R., Kannan, S., Yannakakis, M.: Communicating hierarchical state machines. In: Automata, Languages and Programming. Volume 1644 of Lecture Notes in Computer Science. Springer Berlin Heidelberg (1999) 169-178
  30. OMG: (Unified modeling language (uml), superstructure)
  31. Gentile, U., Nardone, R., Peron, A., Benerecetti, M., Vittorini, V., Marrone, S., De Guglielmo, R., Mazzocca, N., Velardi, L.: Dynamic state machines for formalizing railway control system specifications. (2015)
  32. Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework 2.0. 2nd edn. Addison-Wesley Professional (2009)
  33. Staab, S., Walter, T., Gröner, G., Parreiras, F.: Model driven engineering with ontology technologies. In: Reasoning Web. Semantic Technologies for Software Engineering. Springer (2010) 62-98
  34. Favre, J.M.: Megamodeling and etymology-a story of words: From med to mde via model in five milleniums. In: In Dagstuhl Seminar on Transformation Techniques in Software Engineering, number 05161 in DROPS 04101. IFBI, Citeseer (2005)
  35. Guizzardi, G., Herre, H., Wagner, G.: On the general ontological foundations of conceptual modeling. In: Conceptual ModelingER 2002. Springer (2003) 65-78
  36. Sowa, J.: Knowledge representation: logical, philosophical, and computational foundations. (1999)
  37. Niles, I., Pease, A.: Towards a standard upper ontology. In: Proceedings of the international conference on Formal Ontology in Information Systems-Volume 2001, ACM (2001) 2-9
Download


Paper Citation


in Harvard Style

Vittorini V., Nardone R., Marrone S. and M. Rinaldi A. (2014). Improving Automatic Test Case Generation Process with Knowledge Engineering in the Crystal Project . In European Project Space on Computational Intelligence, Knowledge Discovery and Systems Engineering for Health and Sports - EPS Rome, ISBN 978-989-758-154-0, pages 31-49. DOI: 10.5220/0006156500310049


in Bibtex Style

@conference{eps rome14,
author={Valeria Vittorini and Roberto Nardone and Stefano Marrone and Antonio M. Rinaldi},
title={Improving Automatic Test Case Generation Process with Knowledge Engineering in the Crystal Project},
booktitle={European Project Space on Computational Intelligence, Knowledge Discovery and Systems Engineering for Health and Sports - EPS Rome,},
year={2014},
pages={31-49},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006156500310049},
isbn={978-989-758-154-0},
}


in EndNote Style

TY - CONF
JO - European Project Space on Computational Intelligence, Knowledge Discovery and Systems Engineering for Health and Sports - EPS Rome,
TI - Improving Automatic Test Case Generation Process with Knowledge Engineering in the Crystal Project
SN - 978-989-758-154-0
AU - Vittorini V.
AU - Nardone R.
AU - Marrone S.
AU - M. Rinaldi A.
PY - 2014
SP - 31
EP - 49
DO - 10.5220/0006156500310049