Uma Abordagem para a Geração de Casos de Teste Baseada em Modelos

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.

"Procedural Strategy" by Carlos Pinto de Abreu, lawyer

Como Carlos Pinto de Abreu refere e bem, no seu livro e no seminário, entre juízes, partes ou sujeitos processuais, advogados ou solicitadores, magistrados do Ministério Público ou testemunhas, peritos ou funcionários, encontramos “pessoas que podem ser mais ou menos sérias”, por sinal “motivadas por outros interesses que não os de servir a Verdade e a Justiça”; Abstract: Carlos Pinto de Abreu as regards and well in his book and seminar, between judges, parties or procedural subject, lawyers or solicitors, prosecutors and witnesses, experts or officials, found "people who may be more or less serious" , by the way "motivated by interests other than those serving the Truth and Justice".