Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Conference papers

A Model-based Approach for Test Cases Generation

Résumé : 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.
Complete list of metadata

Cited literature [19 references]  Display  Hide  Download
Contributor : Open Archive Toulouse Archive Ouverte (OATAO) Connect in order to contact the contributor
Submitted on : Tuesday, May 12, 2015 - 12:47:10 PM
Last modification on : Monday, July 4, 2022 - 9:26:36 AM
Long-term archiving on: : Monday, September 14, 2015 - 11:02:24 PM


Files produced by the author(s)


  • HAL Id : hal-01151021, version 1
  • OATAO : 12655


João Carlos Silva, José Luis Silva, José Creissac Campos, João António Saraiva. A Model-based Approach for Test Cases Generation. IEEE Iberian Conference on Information Systems and Technologies - CISTI, Jun 2013, Lisbonne, Portugal. pp. 1-5. ⟨hal-01151021⟩



Record views


Files downloads