Model-based test generation using evolutional symbolic grammar

Hai Feng Guo, Mahadevan Subramaniam

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

2 Citations (Scopus)

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 - Oct 5 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

Fingerprint

Software testing
Specifications
Communication
Testing

ASJC Scopus subject areas

  • Software

Cite this

Guo, H. F., & Subramaniam, M. (2012). Model-based test generation using evolutional symbolic grammar. In Proceedings - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012 (pp. 111-118). [6269634] (Proceedings - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012). https://doi.org/10.1109/TASE.2012.16

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

Proceedings - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012. 2012. p. 111-118 6269634 (Proceedings - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012).

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

Guo, HF & Subramaniam, M 2012, Model-based test generation using evolutional symbolic grammar. in Proceedings - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012., 6269634, Proceedings - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, pp. 111-118, IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, Beijing, China, 7/4/12. https://doi.org/10.1109/TASE.2012.16
Guo HF, Subramaniam M. Model-based test generation using evolutional symbolic grammar. In Proceedings - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012. 2012. p. 111-118. 6269634. (Proceedings - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012). https://doi.org/10.1109/TASE.2012.16
Guo, Hai Feng ; Subramaniam, Mahadevan. / Model-based test generation using evolutional symbolic grammar. Proceedings - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012. 2012. pp. 111-118 (Proceedings - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012).
@inproceedings{5a6648338aff4168b1618c0275450f3c,
title = "Model-based test generation using evolutional symbolic grammar",
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.",
author = "Guo, {Hai Feng} and Mahadevan Subramaniam",
year = "2012",
month = "10",
day = "5",
doi = "10.1109/TASE.2012.16",
language = "English (US)",
isbn = "9780769547510",
series = "Proceedings - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012",
pages = "111--118",
booktitle = "Proceedings - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012",

}

TY - GEN

T1 - Model-based test generation using evolutional symbolic grammar

AU - Guo, Hai Feng

AU - Subramaniam, Mahadevan

PY - 2012/10/5

Y1 - 2012/10/5

N2 - 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.

AB - 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.

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

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

U2 - 10.1109/TASE.2012.16

DO - 10.1109/TASE.2012.16

M3 - Conference contribution

SN - 9780769547510

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

SP - 111

EP - 118

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

ER -