Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Application of inference rules to a software requirements ontology to generate software test cases
Jönköping University, School of Engineering, JTH, Computer Science and Informatics. Jönköping University, School of Engineering, JTH. Research area Computer Science and Informatics.
Jönköping University, School of Engineering, JTH, Computer Science and Informatics. Jönköping University, School of Engineering, JTH. Research area Computer Science and Informatics.
Jönköping University, School of Engineering, JTH, Computer Science and Informatics. Jönköping University, School of Engineering, JTH. Research area Computer Science and Informatics.ORCID iD: 0000-0003-3113-7416
Jönköping University, School of Engineering, JTH, Computer Science and Informatics. Jönköping University, School of Engineering, JTH. Research area Computer Science and Informatics.
Show others and affiliations
2017 (English)In: OWL: Experiences and Directions – Reasoner Evaluation: 13th International Workshop, OWLED 2016, and 5th International Workshop, ORE 2016, Bologna, Italy, November 20, 2016, Revised Selected Papers / [ed] Dragoni, Mauro; Poveda-Villalón, María; Jimenez-Ruiz, Ernesto, Cham: Springer, 2017, 82-94 p.Chapter in book (Refereed)
Abstract [en]

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.

Place, publisher, year, edition, pages
Cham: Springer, 2017. 82-94 p.
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 10161
Keyword [en]
Inference Rules, Ontology, OWL, Prolog, Requirement Specification, Test Case Generation
National Category
Computer Science Software Engineering
Identifiers
URN: urn:nbn:se:hj:diva-35164DOI: 10.1007/978-3-319-54627-8_7Scopus ID: 2-s2.0-85014455857ISBN: 978-3-319-54627-8 (electronic)OAI: oai:DiVA.org:hj-35164DiVA: diva2:1079243
Projects
Ontology-based Software Test Case Generation (OSTAG)
Funder
Knowledge Foundation, 20140170
Available from: 2017-03-07 Created: 2017-03-07 Last updated: 2017-04-28Bibliographically approved

Open Access in DiVA

Fulltext(616 kB)176 downloads
File information
File name FULLTEXT01.pdfFile size 616 kBChecksum SHA-512
b97e3d3c20088723b42a5edbde41afcd5035b207fd512ae1442df08234066be921688824c0c083f12b2587da060d9d6f211c8a70b8433be545e015597ff88bbf
Type fulltextMimetype application/pdf

Other links

Publisher's full textScopus

Authority records BETA

Tarasov, VladimirTan, HeIsmail, MuhammadAdlemo, Anders

Search in DiVA

By author/editor
Tarasov, VladimirTan, HeIsmail, MuhammadAdlemo, Anders
By organisation
JTH, Computer Science and InformaticsJTH. Research area Computer Science and Informatics
Computer ScienceSoftware Engineering

Search outside of DiVA

GoogleGoogle Scholar
Total: 176 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 1198 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf