Model-based test generation using evolutional symbolic grammar

Hai Feng Guo, Mahadevan Subramaniam

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

2 Scopus citations

Abstract

We present a new model-based test generation approach using an extended symbolic grammar, which is used as a formal notation for enumerating test cases for communication and reactive systems. Our model-based test generation approach takes inputs a reactive system model, in Live Sequence Charts (LSCs), and a general symbolic grammar serving as preliminary test coverage criteria, performs an automatic simulation for consistency testing on the LSC model specification, and eventually generates an evolved symbolic grammar with refined test coverage criteria. The evolved symbolic grammar 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.

Original languageEnglish (US)
Title of host publicationProceedings - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012
Pages111-118
Number of pages8
DOIs
StatePublished - 2012
EventIEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012 - Beijing, China
Duration: Jul 4 2012Jul 6 2012

Publication series

NameProceedings - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012

Conference

ConferenceIEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012
CountryChina
CityBeijing
Period7/4/127/6/12

ASJC Scopus subject areas

  • Software

Fingerprint Dive into the research topics of 'Model-based test generation using evolutional symbolic grammar'. Together they form a unique fingerprint.

Cite this