Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet 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.
Vise andre og tillknytning
2017 (engelsk)Inngå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-94Kapittel i bok, del av antologi (Fagfellevurdert)
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.

sted, utgiver, år, opplag, sider
Cham: Springer, 2017. s. 82-94
Serie
Lecture Notes in Computer Science, ISSN 0302-9743 ; 10161
Emneord [en]
Inference Rules, Ontology, OWL, Prolog, Requirement Specification, Test Case Generation
HSV kategori
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
Prosjekter
Ontology-based Software Test Case Generation (OSTAG)
Forskningsfinansiär
Knowledge Foundation, 20140170Tilgjengelig fra: 2017-03-07 Laget: 2017-03-07 Sist oppdatert: 2019-08-22bibliografisk kontrollert

Open Access i DiVA

Fulltext(616 kB)367 nedlastinger
Filinformasjon
Fil FULLTEXT01.pdfFilstørrelse 616 kBChecksum SHA-512
b97e3d3c20088723b42a5edbde41afcd5035b207fd512ae1442df08234066be921688824c0c083f12b2587da060d9d6f211c8a70b8433be545e015597ff88bbf
Type fulltextMimetype application/pdf

Andre lenker

Forlagets fulltekstScopus

Personposter BETA

Tarasov, VladimirTan, HeIsmail, MuhammadAdlemo, Anders

Søk i DiVA

Av forfatter/redaktør
Tarasov, VladimirTan, HeIsmail, MuhammadAdlemo, Anders
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar
Totalt: 367 nedlastinger
Antall nedlastinger er summen av alle nedlastinger av alle fulltekster. Det kan for eksempel være tidligere versjoner som er ikke lenger tilgjengelige

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 1702 treff
RefereraExporteraLink to record
Permanent link

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