NDLI: Model-based test generation using extended symbolic grammars

Content Provider	Springer Nature Link
Author	Guo, Hai Feng Subramaniam, Mahadevan
Copyright Year	2014
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.
Starting Page	437
Ending Page	455
Page Count	19
File Format	PDF
ISSN	14332779
Journal	International Journal on Software Tools for Technology Transfer
Volume Number	16
Issue Number	4
e-ISSN	14332787
Language	English
Publisher	Springer Berlin Heidelberg
Publisher Date	2014-04-26
Publisher Place	Berlin, Heidelberg
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Model-based test generation Symbolic grammar Live sequence chart Software Engineering Software Engineering/Programming and Operating Systems Theory of Computation
Content Type	Text
Resource Type	Article
Subject	Information Systems Software

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Test sequence generation and model checking using dynamic transition relations

Counter-example generation in symbolic abstract model-checking

Model-based testing for real : The inhouse card case study

Generating valid grammar-based test inputs by means of genetic programming and annotated grammars

Validation and automatic test generation on UML models: the AGATHA approach

Advances in test generation for testing software and systems : An introduction to selected papers from ICTSS 2013

Incremental test case generation using bounded model checking: an application to automatic rating

Formalizing interoperability for test case generation purpose

Model generation for quantified formulas with application to test data generation

Model-based test generation using extended symbolic grammars

Similar Documents

Test sequence generation and model checking using dynamic transition relations

Counter-example generation in symbolic abstract model-checking

Model-based testing for real : The inhouse card case study

Generating valid grammar-based test inputs by means of genetic programming and annotated grammars

Validation and automatic test generation on UML models: the AGATHA approach

Advances in test generation for testing software and systems : An introduction to selected papers from ICTSS 2013

Incremental test case generation using bounded model checking: an application to automatic rating

Formalizing interoperability for test case generation purpose

Model generation for quantified formulas with application to test data generation

Model-based test generation using extended symbolic grammars