nach oben

Erschienen in:

2017 | OriginalPaper | Buchkapitel

Application of Inference Rules to a Software Requirements Ontology to Generate Software Test Cases

verfasst von : Vladimir Tarasov, He Tan, Muhammad Ismail, Anders Adlemo, Mats Johansson

Erschienen in: OWL: Experiences and Directions – Reasoner Evaluation

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

Testing of a software system is resource-consuming activity. One of the promising ways to improve the efficiency of the software testing process is to use ontologies for testing. This paper presents an approach to test case generation based on the use of an ontology and inference rules. The ontology represents requirements from a software requirements specification, and additional knowledge about components of the software system under development. The inference rules describe strategies for deriving test cases from the ontology. The inference rules are constructed based on the examination of the existing test documentation and acquisition of knowledge from experienced software testers. The inference rules are implemented in Prolog and applied to the ontology that is translated from OWL functional-style syntax to Prolog syntax. The first experiments with the implementation showed that it was possible to generate test cases with the same level of detail as the existing, manually produced, test cases.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Vorheriges Kapitel Using Ontology Design Patterns to Represent Sustainability Indicator Sets

Nächstes Kapitel Collaborative Ontology Evolution and Data Quality - An Empirical Analysis

The study presented in this paper is part of the project Ontology-based Software Test Case Generation (OSTAG).

There is only one ontology used at the moment but if there are imported ontologies in the future, prefixes can be translated as well.

Anand, S., Burke, E., Chen, T., Clark, J., Cohen, M., Grieskamp, W., Harman, M., Harrold, M., McMinn, P.: An orchestrated survey on automated software test case generation. J. Syst. Softw. 86(8), 1978–2001 (2013)CrossRef

Bratko, I.: Prolog Programming for Artificail Intelligence, 4th edn. Pearson Education, Upper Saddle River (2011)

CapGemini, HP, Sogeti: World quality report 2015–16, 80 p. (2015)

Enoiu, E., Causevic, A., Ostrand, T., Weyuker, E., Sundmark, D., Pettersson, P.: Automated test generation using model-checking: an industrial evaluation. Int. J. Softw. Tools Technol. Transf. 1(1), 1–19 (2014)

Freitas, A., Vieira, R.: An ontology for guiding performance testing. In: 2014 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT), pp. 400–407 (2014)

Happel, H.J., Seedorf, S.: Applications of ontologies in software engineering. In: Proceedings of Workshop on Sematic Web Enabled Software Engineering (SWESE) on the ISWC, pp. 5–9 (2006)

Holt, N., Briand, L., Torkar, R.: Empirical evaluations on the cost-effectiveness of state-based testing: an industrial case study. Inf. Softw. Technol. 56, 890–910 (2014)CrossRef

Judge Business School, Cambridge University: Cambridge university study states software bugs cost economy $312 billion per year (2013). http://www.prweb.com/releases/2013/1/prweb10298185.htm. Accessed 22 Sept 2016

Kaur, A., Vig, V.: Systematic review of automatic test case generation by UML diagrams. Int. J. Eng. Res. Technol. (IJERT) 1(6), 17 (2012)

10.

Laera, L., Tamma, V., Bench-Capon, T., Semeraro, G.: SweetProlog: a system to integrate ontologies and rules. In: Antoniou, G., Boley, H. (eds.) RuleML 2004. LNCS, vol. 3323, pp. 188–193. Springer, Heidelberg (2004). doi:10.1007/978-3-540-30504-0_15CrossRef

11.

Motik, B., Patel-Schneider, P., Parsia, B.: OWL 2 Web Ontology Language: Structural Specification and Functional-Style Syntax. W3C, 2nd edn. (2012)

12.

Mussa, M., Ouchani, S., Al Sammane, W., Hamou-Lhadj, A.: A survey of model-driven testing techniques. In: QSIC 2009 9th International Conference on Quality Software, 24–25 August 2009, Jeju, South Korea, pp. 167–172 (2009)

13.

Nasser, V.H., Du, W., MacIsaac, D.: Knowledge-based software test generation. In: The 21st International Conference on Software Engineering and Knowledge Engineering, Boston, USA, pp. 312–317, July 2009

14.

Nguyen, C.D., Perini, A., Tonella, P.: Ontology-based test generation for multiagent systems. In: Proceedings of the 7th international Joint Conference on Autonomous Agents and Multiagent Systems, vol. 3, pp. 1315–1320 (2008)

15.

Papadakis, N., Stravoskoufos, K., Baratis, E., Petrakis, E., Plexousakis, D.: PROTON: a prolog reasoner for temporal ontologies in OWL. Expert Syst. Appl. 38(12), 14660–14667 (2011)CrossRef

16.

Tan, H., Muhammad, I., Tarasov, V., Adlemo, A., Johansson, M.: Development and evaluation of a software requirements ontology. In: 7th International Workshop on Software Knowledge-SKY 2016 in Conjunction with the 9th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management-IC3K 2016 (2016)

17.

Wang, Y., Bai, X., Li, J., Huang, R.: Ontology-based test case generation for testing web services. In: Eighth International Symposium on Autonomous Decentralized Systems, ISADS 2007, pp. 43–50. IEEE (2007)

Titel: Application of Inference Rules to a Software Requirements Ontology to Generate Software Test Cases
verfasst von: Vladimir Tarasov
He Tan
Muhammad Ismail
Anders Adlemo
Mats Johansson
Verlag: Springer International Publishing
Buch: OWL: Experiences and Directions – Reasoner Evaluation
Print ISBN: 978-3-319-54626-1

Electronic ISBN: 978-3-319-54627-8

Copyright-Jahr: 2017
DOI: https://doi.org/10.1007/978-3-319-54627-8_7

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"