Combining combinatorial testing and metamorphic testing for testing a logic-based non-monotonic reasoning system

Franz Wotawa*

*Korrespondierende/r Autor/in für diese Arbeit

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

Abstract

Combinatorial testing has proven to be a very valuable testing technique for automated generation of test suites given the domain of the inputs and the configuration parameters. In order to fully automate combinatorial testing, however, there is a need for an automated test oracle. In case of testing logic-based non-monotonic reasoning systems, we show how to generate test cases and how to make use of metamorphic testing in order to provide a test oracle. The combined testing method allows for complete test automation. We further discuss first experimental results obtained for an implementation of an assumption-based truth maintenance system implementing basic non-monotonic reasoning capabilities.

Originalspracheenglisch
TitelProceedings - 2018 IEEE 11th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2018
Herausgeber (Verlag)Institute of Electrical and Electronics Engineers
Seiten348-351
Seitenumfang4
ISBN (elektronisch)9781538663523
DOIs
PublikationsstatusVeröffentlicht - 16 Jul 2018
Veranstaltung11th IEEE International Conference on Software Testing, Verification and Validation Workshops: ICSTW 2018 - Vasteras, Schweden
Dauer: 9 Apr 201813 Apr 2018

Publikationsreihe

NameProceedings - 2018 IEEE 11th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2018

Konferenz

Konferenz11th IEEE International Conference on Software Testing, Verification and Validation Workshops
LandSchweden
OrtVasteras
Zeitraum9/04/1813/04/18

ASJC Scopus subject areas

  • Software
  • !!Safety, Risk, Reliability and Quality

Fingerprint

Untersuchen Sie die Forschungsthemen von „Combining combinatorial testing and metamorphic testing for testing a logic-based non-monotonic reasoning system“. Zusammen bilden sie einen einzigartigen Fingerprint.

Dieses zitieren