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

Content Provider	Springer Nature Link
Author	Pretschner, A. Slotosch, O. Aiglstorfer, E. Kriebel, S.
Copyright Year	2004
Abstract	Model-based testing relies on abstract behavior models for test case generation. These models are abstractions, i.e., simplifications. For deterministic reactive systems, test cases are sequences of input and expected output. To bridge the different levels of abstraction, input must be concretized before being applied to the system under test. The system’s output must then be abstracted before being compared to the output of the model.The concepts are discussed along the lines of a feasibility study, an inhouse smart card case study. We describe the modeling concepts of the CASE tool AutoFocus and an approach to model-based test case generation that is based on symbolic execution with Constraint Logic Programming.Different search strategies and algorithms for test case generation are discussed. Besides validating the model itself, generated test cases were used to verify the actual hardware with respect to these traces.
Starting Page	140
Ending Page	157
Page Count	18
File Format	PDF
ISSN	14332779
Journal	International Journal on Software Tools for Technology Transfer
Volume Number	5
Issue Number	2-3
e-ISSN	14332787
Language	English
Publisher	Springer Berlin Heidelberg
Publisher Date	2004-03-01
Publisher Place	Berlin, Heidelberg
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Test case generation Model checking Symbolic execution Behavior models 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 test generation using extended symbolic grammars

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

Automatically performing weak mutation with the aid of symbolic execution, concolic testing and search-based testing

Software model checking is a rich research field

Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis

Generating test case chains for reactive systems

Behavior-based model construction

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

Similar Documents

Test sequence generation and model checking using dynamic transition relations

Counter-example generation in symbolic abstract model-checking

Model-based test generation using extended symbolic grammars

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

Automatically performing weak mutation with the aid of symbolic execution, concolic testing and search-based testing

Software model checking is a rich research field

Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis

Generating test case chains for reactive systems

Behavior-based model construction

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