Interaction Coverage Meets Path Coverage by SMT Constraint Solving

  • Authors:

  • Wolfgang Grieskamp;Xiao Qu;Xiangjun Wei;Nicolas Kicillof;Myra B. Cohen

  • Affiliations:

  • Microsoft Corporation,;University of Nebraska, Lincoln, USA;Microsoft Corporation,;Microsoft Corporation,;University of Nebraska, Lincoln, USA

  • Venue:
  • TESTCOM '09/FATES '09 Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

We present a novel approach for generating interaction combinations based on SMT constraint resolution. Our approach can generate maximal interaction coverage in the presence of general constraints as supported by the underlying solver. It supports seeding with general predicates, which allows us to combine it with path exploration such that both interaction and path coverage goals can be met. Our approach is motivated by the application to behavioral model-based testing in the Spec Explorer tool, where parameter combinations must be generated such that all path conditions of a model action have at least one combination which enables the path. It is applied in a large-scale project for model-based quality assurance of interoperability documentation at Microsoft.