Specification and Testing of E-Commerce Agents Described by Using UIOLTSs

Abstract

Abstract. In this paper we expand our work in our specification formalism UIOLTSs. We present three implementation relations and provide alternative characterizations of these relations in terms of the tests that the implementation under test successfully passes. In addition, we present the main ideas to obtain an algorithm to derive complete test suites from specifications.

Aplicação de modelos de defeitos na geração de conjuntos de teste completos a partir de Sistemas de Transição com Entrada/Saída

“…Cobertura de requisitos: propriedades (Falcone et al, 2012;Fernandez et al, 2004;Machado et al, 2007;Rusu et al, 2005; 5 Especificação dos casos de teste Hierons et al, 2011Hierons et al, , 2012aKervinen e Virolainen, 2005;Xie e Dang, 2006;Fu e Koné, 2012;Hao e Wu, 1998;Pickin et al, 2007;Helovuo e Leppanen, 2001) Especificação dos casos de teste: teoria ioco (Bourdonov et al, 2006;Brandl et al, 2010;Brinksma et al, 1998;Briones et al, 2006;Briones e Brinksma, 2005;Cavalcanti et al, 2011;Faivre et al, 2007;Frantzen et al, 2006;Frantzen e Tretmans, 2007;Frantzen et al, 2005;Gaston et al, 2006;Gnesi et al, 2004;Hierons et al, 2008Hierons et al, , 2012bHierons et al, , 2011Hierons et al, , 2012aJeannet et al, 2007;Lestiennes e Gaudel, 2002;Li et al, 2003Li et al, , 2004bPardo et al, 2010;Rollet e Saad-Khorchef, 2007;Rollet e Salva, 2009Sampaio et al, 2009;Schmaltz e Tretmans, 2008;van Beek e Mauw, 2004;van der Bijl et al, 2004;Weiglhofer e Wotawa, 2009;…”