Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Application of inference rules to a software requirements ontology to generate software test cases
Högskolan i Jönköping, Tekniska Högskolan, JTH, Datateknik och informatik, JTH, Jönköping AI Lab (JAIL).ORCID-id: 0000-0001-6671-6157
Högskolan i Jönköping, Tekniska Högskolan, JTH, Datateknik och informatik, JTH, Jönköping AI Lab (JAIL).
Högskolan i Jönköping, Tekniska Högskolan, JTH, Datateknik och informatik.ORCID-id: 0000-0003-3113-7416
Högskolan i Jönköping, Tekniska Högskolan, JTH, Datateknik och informatik.
Visa övriga samt affilieringar
2017 (Engelska)Ingår i: 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, s. 82-94Kapitel i bok, del av antologi (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
Cham: Springer, 2017. s. 82-94
Serie
Lecture Notes in Computer Science, ISSN 0302-9743 ; 10161
Nyckelord [en]
Inference Rules, Ontology, OWL, Prolog, Requirement Specification, Test Case Generation
Nationell ämneskategori
Datavetenskap (datalogi) Programvaruteknik
Identifikatorer
URN: urn:nbn:se:hj:diva-35164DOI: 10.1007/978-3-319-54627-8_7ISI: 000426195800007Scopus ID: 2-s2.0-85014455857ISBN: 978-3-319-54627-8 (digital)OAI: oai:DiVA.org:hj-35164DiVA, id: diva2:1079243
Projekt
Ontology-based Software Test Case Generation (OSTAG)
Forskningsfinansiär
KK-stiftelsen, 20140170Tillgänglig från: 2017-03-07 Skapad: 2017-03-07 Senast uppdaterad: 2019-08-22Bibliografiskt granskad

Open Access i DiVA

Fulltext(616 kB)368 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 616 kBChecksumma SHA-512
b97e3d3c20088723b42a5edbde41afcd5035b207fd512ae1442df08234066be921688824c0c083f12b2587da060d9d6f211c8a70b8433be545e015597ff88bbf
Typ fulltextMimetyp application/pdf

Övriga länkar

Förlagets fulltextScopus

Personposter BETA

Tarasov, VladimirTan, HeIsmail, MuhammadAdlemo, Anders

Sök vidare i DiVA

Av författaren/redaktören
Tarasov, VladimirTan, HeIsmail, MuhammadAdlemo, Anders
Av organisationen
JTH, Jönköping AI Lab (JAIL)JTH, Datateknik och informatik
Datavetenskap (datalogi)Programvaruteknik

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 368 nedladdningar
Antalet nedladdningar är summan av nedladdningar för alla fulltexter. Det kan inkludera t.ex tidigare versioner som nu inte längre är tillgängliga.

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 1702 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf