OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

A Model-based Approach for Test Cases Generation

Silva, João Carlos and Silva, José Luis and Campos, José Creissac and Saraiva, João António A Model-based Approach for Test Cases Generation. (2013) In: IEEE Iberian Conference on Information Systems and Technologies - CISTI, 19 June 2013 - 22 June 2013 (Lisbonne, Portugal).

[img]
Preview
(Document in Portuguese)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
200kB

Abstract

The analytical methods based on evaluation models of interactive systems were proposed as an alternative to user testing in the last stages of the software development due to its costs. However, the use of isolated behavioral models of the system limits the results of the analytical methods. An example of these limitations relates to the fact that they are unable to identify implementation issues that will impact on usability. With the introduction of model-based testing we are enable to test if the implemented software meets the specified model. This paper presents an model-based approach for test cases generation from the static analysis of source code.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to IEEE editor. The definitive version is available at http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6615817
HAL Id:hal-01151021
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Other partners > Instituto de Engenharia de Sistemas e Computadores - Investigação e Desenvolvimento - INESC-ID (PORTUGAL)
Université de Toulouse > Institut National Polytechnique de Toulouse - INPT (FRANCE)
Other partners > Instituto Politécnico do Cávado e do Ave - IPCA (PORTUGAL)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UPS (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Other partners > Universidade do Minho (PORTUGAL)
Laboratory name:
Statistics:download
Deposited By: IRIT IRIT
Deposited On:06 May 2015 09:06

Repository Staff Only: item control page