This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
12th Asia-Pacific Software Engineering Conference (APSEC'05)
Data Abstraction and Constraint Solving for Conformance Testing
Taipei, Taiwan
December 15-December 17
ISBN: 0-7695-2465-6
ASCII Text
x 
 
Jens R. Calame, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova, "Data Abstraction and Constraint Solving for Conformance Testing," Asia-Pacific Software Engineering Conference, pp. 541-548, 12th Asia-Pacific Software Engineering Conference (APSEC'05), 2005.
 
 
BibTex
x
 
@article{ 10.1109/APSEC.2005.57,
author = {Jens R. Calame and Natalia Ioustinova and Jaco van de Pol and Natalia Sidorova},
title = {Data Abstraction and Constraint Solving for Conformance Testing},
journal ={Asia-Pacific Software Engineering Conference},
volume = {0},
year = {2005},
issn = {1530-1362},
pages = {541-548},
doi = {http://doi.ieeecomputersociety.org/10.1109/APSEC.2005.57},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Asia-Pacific Software Engineering Conference
TI - Data Abstraction and Constraint Solving for Conformance Testing
SN - 1530-1362
SP541
EP548
A1 - Jens R. Calame,
A1 - Natalia Ioustinova,
A1 - Jaco van de Pol,
A1 - Natalia Sidorova,
PY - 2005
VL - 0
JA - Asia-Pacific Software Engineering Conference
ER -
 
Jens R. Calame, Centrum voor Wiskunde en Informatica, Netherlands
Natalia Ioustinova, Centrum voor Wiskunde en Informatica, Netherlands
Jaco van de Pol, Centrum voor Wiskunde en Informatica, Netherlands
Natalia Sidorova, Eindhoven University of Technology, Netherlands
Conformance testing is one of the most rigorous and well-developed testing techniques. Model-based test generation is an essential phase of the conformance testing approach. The main problem in this phase is the explosion of the number of test cases, often caused by large or infinite data domains for input and output data. In this paper we propose a test generation framework based on the use of data abstraction and constraint solving to suppress the number of test cases. The approach is evaluated on the CEPS (Common Electronic Purse Specifications) case study.
Citation:
Jens R. Calame, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova, "Data Abstraction and Constraint Solving for Conformance Testing," apsec, pp.541-548, 12th Asia-Pacific Software Engineering Conference (APSEC'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.