Application of inference rules to a software requirements ontology to generate software test cases
| Autor: | Anders Adlemo, He Tan, Muhammad Ismail, Vladimir Tarasov, Mats E. Johansson |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2017 |
| Předmět: |
Programvaruteknik
Computer science Software requirements specification 02 engineering and technology Ontology (information science) computer.software_genre Inference Rules Test Case Generation 0202 electrical engineering electronic engineering information engineering Software system Software verification and validation OWL Requirement Specification business.industry Ontology Computer Sciences Software Engineering 020207 software engineering Test case Datavetenskap (datalogi) Prolog Software construction 020201 artificial intelligence & image processing Data mining Software reliability testing Software engineering business System integration testing computer |
| Zdroj: | Lecture Notes in Computer Science ISBN: 9783319546261 OWLED |
| Popis: | 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. Ontology-based Software Test Case Generation (OSTAG) |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|