Model-based test generation using extended symbolic grammars

Hai Feng Guo, Mahadevan Subramaniam

Research output: Contribution to journalArticle

1 Citation (Scopus)

Abstract

A novel, model-based test case generation approach for validating reactive systems, especially those supporting richly structured data inputs and/or interactions, is presented. Given an executable system model and an extended symbolic grammar specifying plausible system inputs, the approach performs a model-based simulation to (i) ensure the consistency of the model with respect to the specified inputs, and (ii) generate corresponding test cases for validating the system. The model-based simulation produces a state transition diagram (STD) automatically justifying the model runtime behaviors within the test case coverage. The STD can further be transformed to produce an evolved symbolic grammar, which can then be used to incrementally generate a refined set of test cases. As a case study, we present a live sequence chart (LSC) model-based test generator, named LCT in short, for LSC simulation and consistency testing. The evolved symbolic grammar produced by the simulator can either be used to generate practical test cases for software testing, or be further refined by applying our model-based test generation approach again with additional test coverage criteria. We further show that LSCs can also be used to specify and test certain temporal system properties during the model simulation. Their satisfaction, reflected in the STD, can either be served as a directive for selective test generation, or a basis for further temporal property model checking.

Original languageEnglish (US)
Pages (from-to)437-455
Number of pages19
JournalInternational Journal on Software Tools for Technology Transfer
Volume16
Issue number4
DOIs
StatePublished - Jan 1 2014

Fingerprint

Software testing
Model checking
Simulators
Testing

Keywords

  • Live sequence chart
  • Model-based test generation
  • Symbolic grammar

ASJC Scopus subject areas

  • Software
  • Information Systems

Cite this

Model-based test generation using extended symbolic grammars. / Guo, Hai Feng; Subramaniam, Mahadevan.

In: International Journal on Software Tools for Technology Transfer, Vol. 16, No. 4, 01.01.2014, p. 437-455.

Research output: Contribution to journalArticle

@article{df6f3cc40776405e80fcd821d48767ff,
title = "Model-based test generation using extended symbolic grammars",
abstract = "A novel, model-based test case generation approach for validating reactive systems, especially those supporting richly structured data inputs and/or interactions, is presented. Given an executable system model and an extended symbolic grammar specifying plausible system inputs, the approach performs a model-based simulation to (i) ensure the consistency of the model with respect to the specified inputs, and (ii) generate corresponding test cases for validating the system. The model-based simulation produces a state transition diagram (STD) automatically justifying the model runtime behaviors within the test case coverage. The STD can further be transformed to produce an evolved symbolic grammar, which can then be used to incrementally generate a refined set of test cases. As a case study, we present a live sequence chart (LSC) model-based test generator, named LCT in short, for LSC simulation and consistency testing. The evolved symbolic grammar produced by the simulator can either be used to generate practical test cases for software testing, or be further refined by applying our model-based test generation approach again with additional test coverage criteria. We further show that LSCs can also be used to specify and test certain temporal system properties during the model simulation. Their satisfaction, reflected in the STD, can either be served as a directive for selective test generation, or a basis for further temporal property model checking.",
keywords = "Live sequence chart, Model-based test generation, Symbolic grammar",
author = "Guo, {Hai Feng} and Mahadevan Subramaniam",
year = "2014",
month = "1",
day = "1",
doi = "10.1007/s10009-014-0316-3",
language = "English (US)",
volume = "16",
pages = "437--455",
journal = "International Journal on Software Tools for Technology Transfer",
issn = "1433-2779",
publisher = "Springer Verlag",
number = "4",

}

TY - JOUR

T1 - Model-based test generation using extended symbolic grammars

AU - Guo, Hai Feng

AU - Subramaniam, Mahadevan

PY - 2014/1/1

Y1 - 2014/1/1

N2 - A novel, model-based test case generation approach for validating reactive systems, especially those supporting richly structured data inputs and/or interactions, is presented. Given an executable system model and an extended symbolic grammar specifying plausible system inputs, the approach performs a model-based simulation to (i) ensure the consistency of the model with respect to the specified inputs, and (ii) generate corresponding test cases for validating the system. The model-based simulation produces a state transition diagram (STD) automatically justifying the model runtime behaviors within the test case coverage. The STD can further be transformed to produce an evolved symbolic grammar, which can then be used to incrementally generate a refined set of test cases. As a case study, we present a live sequence chart (LSC) model-based test generator, named LCT in short, for LSC simulation and consistency testing. The evolved symbolic grammar produced by the simulator can either be used to generate practical test cases for software testing, or be further refined by applying our model-based test generation approach again with additional test coverage criteria. We further show that LSCs can also be used to specify and test certain temporal system properties during the model simulation. Their satisfaction, reflected in the STD, can either be served as a directive for selective test generation, or a basis for further temporal property model checking.

AB - A novel, model-based test case generation approach for validating reactive systems, especially those supporting richly structured data inputs and/or interactions, is presented. Given an executable system model and an extended symbolic grammar specifying plausible system inputs, the approach performs a model-based simulation to (i) ensure the consistency of the model with respect to the specified inputs, and (ii) generate corresponding test cases for validating the system. The model-based simulation produces a state transition diagram (STD) automatically justifying the model runtime behaviors within the test case coverage. The STD can further be transformed to produce an evolved symbolic grammar, which can then be used to incrementally generate a refined set of test cases. As a case study, we present a live sequence chart (LSC) model-based test generator, named LCT in short, for LSC simulation and consistency testing. The evolved symbolic grammar produced by the simulator can either be used to generate practical test cases for software testing, or be further refined by applying our model-based test generation approach again with additional test coverage criteria. We further show that LSCs can also be used to specify and test certain temporal system properties during the model simulation. Their satisfaction, reflected in the STD, can either be served as a directive for selective test generation, or a basis for further temporal property model checking.

KW - Live sequence chart

KW - Model-based test generation

KW - Symbolic grammar

UR - http://www.scopus.com/inward/record.url?scp=84904163408&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84904163408&partnerID=8YFLogxK

U2 - 10.1007/s10009-014-0316-3

DO - 10.1007/s10009-014-0316-3

M3 - Article

VL - 16

SP - 437

EP - 455

JO - International Journal on Software Tools for Technology Transfer

JF - International Journal on Software Tools for Technology Transfer

SN - 1433-2779

IS - 4

ER -