Symbolic production grammars in LSCs testing

Hai Feng Guo, Mahadevan Subramaniam

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

Abstract

We present LCT SG, an LSC (Live Sequence Chart) consistency testing system, which takes LSCs and symbolic grammars as inputs and performs an automated LSC simulation for consistency testing. A symbolic context-free grammar is used to systematically enumerate continuous inputs for LSCs, where symbolic terminals and domains are introduced to hide the complexity of different inputs which have common syntactic structures as well as similar expected system behaviors. Our symbolic grammars allow a symbolic terminal to be passed as a parameter of a production rule, thus extending context-free grammars with context-sensitivity on symbolic terminals. Constraints on symbolic terminals may be collected and processed dynamically along the simulation to properly decompose their symbolic domains for branched testing. The LCT SG system further provides either a state transition graph or a failure trace to justify the consistency testing results. The justification result may be used to evolve the symbolic grammar for refined test generation.

Original languageEnglish (US)
Title of host publicationComputer and Information Science 2012
EditorsRoger Lee
Pages105-120
Number of pages16
DOIs
StatePublished - 2012

Publication series

NameStudies in Computational Intelligence
Volume429
ISSN (Print)1860-949X

ASJC Scopus subject areas

  • Artificial Intelligence

Fingerprint Dive into the research topics of 'Symbolic production grammars in LSCs testing'. Together they form a unique fingerprint.

Cite this