A model-based approach for test cases generation

Author

Silva, J.C. ; Silva, J.L. ; Campos, J.C. ; Saraiva, J.A.

Author_Institution

Escola Super. de Tecnol., Inst. Politec. do Cavado e do Ave, Cavado e do Ave, Portugal

fYear

2013

fDate

19-22 June 2013

Firstpage

1

Lastpage

5

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.

Keywords

interactive systems; program testing; analytical methods; interactive system evaluation models; isolated behavioral models; model-based testing approach; software development; static source code analysis; test cases generation; Computational modeling; Graphical user interfaces; Interactive systems; Object oriented modeling; Presses; Software; Testing; Interactive Systems; Model-based testing; Usability;

fLanguage

English

Publisher

ieee

Conference_Titel

Information Systems and Technologies (CISTI), 2013 8th Iberian Conference on

Conference_Location

Lisboa

Type

conf

Filename

6615817