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

Franz Wotawa*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.

Original languageEnglish
Title of host publicationProceedings - 2018 IEEE 11th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2018
PublisherInstitute of Electrical and Electronics Engineers
Pages348-351
Number of pages4
ISBN (Electronic)9781538663523
DOIs
Publication statusPublished - 16 Jul 2018
Event11th IEEE International Conference on Software Testing, Verification and Validation Workshops: ICSTW 2018 - Vasteras, Sweden
Duration: 9 Apr 201813 Apr 2018

Publication series

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

Conference

Conference11th IEEE International Conference on Software Testing, Verification and Validation Workshops
CountrySweden
CityVasteras
Period9/04/1813/04/18

Keywords

  • Combinatorial Testing
  • Metamorphic Testing
  • Testing Reasoning Systems

ASJC Scopus subject areas

  • Software
  • Safety, Risk, Reliability and Quality

Fingerprint Dive into the research topics of 'Combining combinatorial testing and metamorphic testing for testing a logic-based non-monotonic reasoning system'. Together they form a unique fingerprint.

Cite this