TY - GEN
T1 - Model-based test generation using evolutional symbolic grammar
AU - Guo, Hai Feng
AU - Subramaniam, Mahadevan
PY - 2012
Y1 - 2012
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
AN - SCOPUS:84866888400
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
T2 - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012
Y2 - 4 July 2012 through 6 July 2012
ER -