Geração Automática de Objetivos e Casos de Teste a partir de Redes de Petri Orientadas a Objetos
Resumo
Este artigo apresenta um método para a seleção e geração automática de objetivos de teste e seus respectivos casos de teste a partir de modelos abstratos de sistemas reativos. É dado enfoque a modelos de Redes de Petri Orientadas a Objetos (RPOO). Configurações e seqüências de ativação das redes são adotadas como objetivos de teste. Estes são convertidos para os Sistemas de Transição Rotulados (LTSs) correspondentes que podem então ser usados como entrada para ferramentas de geração de casos de teste.Referências
Bonifácio, A., Moura, A., Simão, A., and Maldonado, J. (2006). Conformance testing using timed extended finite state machines and model checking. In Proceedings of Brazilian Symposium on Formal Methods.
Cartaxo, E. G., Andrade, W. L., Neto, F. G. O., and Machado, P. D. L. (2008). LTS-BT: A tool to generate and select functional test cases for embedded systems. In Proceedings of 23rd Annual ACM Symposium on Applied Computing, volume 2, pages 1540–1544.
Clarke, D., Jeron, T., Rusu, V., and Zinovieva, E. (2002). STG – A Symbolic Test Generation Tool. In Proceedings of Tools and Algorithms for the Construction and Analysis of Systems (TACAS’02), volume 2280 of LNCS. Springer.
Clarke, E. M., Grumberg, O., and Peled, D. (1999). Model Checking. MIT Press.
da Silva, D. A. and Machado, P. D. L. (2006). Towards test purpose generation from CTL properties for reactive systems. Electr. Notes Theor. Comput. Sci., 164(4):29–40.
de Vries, R. G. and Tretmans, J. (1998). On-the-fly conformance testing using spin. In Proceedings of Fourth Workshop on Automata Theoretic Verification with the Spin Model Checker, pages 115–128.
de Vries, R. G. and Tretmans, J. (2001). Towards formal test purposes. In Proceedings of 1st International Workshop on Formal Approaches to Testing of Software (FATES), pages 61–76, Aalborg, Denmark.
Fernandez, J., Mounier, L., and Pachon, C. (2004). Property oriented test case generation. In Proceedings of Formal Approaches to Software Testing, volume 2931 of LNCS, pages 147–163. Springer.
Fernandez, J.-C. (1989). Aldebaran: A Tool for Verification of Communicating Processes. Technical report, Rapport SPECTRE, C14, Laboratoire de Génie Informatique - Institut IMAG, Grenoble - França.
Fernandez, J.-C., Jard, C., Jeron, T., and Viho, C. (1996). Using on-the-fly Verification Techniques for the Generation of Test Suites. In Proc. of the 8 th Int. Conf. on Computer Aided Verification CAV, volume 1102 of LNCS, pages 348–359. Springer.
Figueiredo, A. L. L. (2005). Geração automática de casos de teste para sistemas baseados em agentes móveis. Master’s thesis, COPIN/Universidade Federal de Campina Grande. http://www.dsc.ufcg.edu.br/andrel/arquivos/dissertacao.pdf.
Frantzen, L., Tretmans, J., and Willemse, T. A. C. (2005). Test generation based on symbolic specifications. In Grabowski, J. and Nielsen, B., editors, Proceedings of FATES’04, volume 3395 of LNCS, pages 1–15. Springer.
Fuggeta, A., Picco, G., and Vigna, G. (1998). Understanding Code Mobility. IEEE Transactions on Software Engineering, 24:342–361.
Gaudel, M.-C. (1995). Testing can be formal, too. In Proceedings of TAPSOFT, LNCS, pages 82–96, London, UK. Springer.
Guerrero, D. D. S. (2002). Redes de Petri Orientadas a Objetos. COPELE/Universidade Federal de Campina Grande. PhD thesis,
Hartman, A. and Nagin, K. (2004). The AGEDIS tools for model based testing. In ISSTA’04: Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis, pages 129–132, New York, NY, USA. ACM Press.
Henniger, O., Lu, M., and Ural, H. (2003). Automatic generation of test purposes for testing distributed systems. In Formal Approaches to Software Testing, Proceedings of FATES’03, volume 2931 of LNCS, pages 178–191. Springer.
Jard, C. and Jéron, T. (2004). Tgv: theory, principles and algorithms, a tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems. Software Tools for Technology Transfer (STTT), 6.
Jorgensen, P. C. (2002). Software Testing - A Craftsman’s Approach. CRC Press.
Rodrigues, C. L., Barbosa, P. E. S., Guerrero, D. D. S., and de Figueiredo, J. C. A. (2004). Rpoo model checker. In Anais do Simpósio Brasileiro de Engenharia de Software - Sessão de Ferramentas, Brası́lia – Brasil.
Santos, J. A. M. (2003). Suporte à análise e verificação de modelos rpoo. Master’s thesis, COPIN/Universidade Federal de Campina Grande, UFCG.
Silva, T. M. (2005). Simulação automática e geração de espaço de estados de modelos em redes de petri orientadas a objetos. Master’s thesis, COPIN/Universidade Federal de Campina Grande.
Tretmans, J. (1999). Testing concurrent systems: A formal approach. In Proceedings of CONCUR’99, volume 1664 of LNCS, pages 46–65. Springer.
Cartaxo, E. G., Andrade, W. L., Neto, F. G. O., and Machado, P. D. L. (2008). LTS-BT: A tool to generate and select functional test cases for embedded systems. In Proceedings of 23rd Annual ACM Symposium on Applied Computing, volume 2, pages 1540–1544.
Clarke, D., Jeron, T., Rusu, V., and Zinovieva, E. (2002). STG – A Symbolic Test Generation Tool. In Proceedings of Tools and Algorithms for the Construction and Analysis of Systems (TACAS’02), volume 2280 of LNCS. Springer.
Clarke, E. M., Grumberg, O., and Peled, D. (1999). Model Checking. MIT Press.
da Silva, D. A. and Machado, P. D. L. (2006). Towards test purpose generation from CTL properties for reactive systems. Electr. Notes Theor. Comput. Sci., 164(4):29–40.
de Vries, R. G. and Tretmans, J. (1998). On-the-fly conformance testing using spin. In Proceedings of Fourth Workshop on Automata Theoretic Verification with the Spin Model Checker, pages 115–128.
de Vries, R. G. and Tretmans, J. (2001). Towards formal test purposes. In Proceedings of 1st International Workshop on Formal Approaches to Testing of Software (FATES), pages 61–76, Aalborg, Denmark.
Fernandez, J., Mounier, L., and Pachon, C. (2004). Property oriented test case generation. In Proceedings of Formal Approaches to Software Testing, volume 2931 of LNCS, pages 147–163. Springer.
Fernandez, J.-C. (1989). Aldebaran: A Tool for Verification of Communicating Processes. Technical report, Rapport SPECTRE, C14, Laboratoire de Génie Informatique - Institut IMAG, Grenoble - França.
Fernandez, J.-C., Jard, C., Jeron, T., and Viho, C. (1996). Using on-the-fly Verification Techniques for the Generation of Test Suites. In Proc. of the 8 th Int. Conf. on Computer Aided Verification CAV, volume 1102 of LNCS, pages 348–359. Springer.
Figueiredo, A. L. L. (2005). Geração automática de casos de teste para sistemas baseados em agentes móveis. Master’s thesis, COPIN/Universidade Federal de Campina Grande. http://www.dsc.ufcg.edu.br/andrel/arquivos/dissertacao.pdf.
Frantzen, L., Tretmans, J., and Willemse, T. A. C. (2005). Test generation based on symbolic specifications. In Grabowski, J. and Nielsen, B., editors, Proceedings of FATES’04, volume 3395 of LNCS, pages 1–15. Springer.
Fuggeta, A., Picco, G., and Vigna, G. (1998). Understanding Code Mobility. IEEE Transactions on Software Engineering, 24:342–361.
Gaudel, M.-C. (1995). Testing can be formal, too. In Proceedings of TAPSOFT, LNCS, pages 82–96, London, UK. Springer.
Guerrero, D. D. S. (2002). Redes de Petri Orientadas a Objetos. COPELE/Universidade Federal de Campina Grande. PhD thesis,
Hartman, A. and Nagin, K. (2004). The AGEDIS tools for model based testing. In ISSTA’04: Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis, pages 129–132, New York, NY, USA. ACM Press.
Henniger, O., Lu, M., and Ural, H. (2003). Automatic generation of test purposes for testing distributed systems. In Formal Approaches to Software Testing, Proceedings of FATES’03, volume 2931 of LNCS, pages 178–191. Springer.
Jard, C. and Jéron, T. (2004). Tgv: theory, principles and algorithms, a tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems. Software Tools for Technology Transfer (STTT), 6.
Jorgensen, P. C. (2002). Software Testing - A Craftsman’s Approach. CRC Press.
Rodrigues, C. L., Barbosa, P. E. S., Guerrero, D. D. S., and de Figueiredo, J. C. A. (2004). Rpoo model checker. In Anais do Simpósio Brasileiro de Engenharia de Software - Sessão de Ferramentas, Brası́lia – Brasil.
Santos, J. A. M. (2003). Suporte à análise e verificação de modelos rpoo. Master’s thesis, COPIN/Universidade Federal de Campina Grande, UFCG.
Silva, T. M. (2005). Simulação automática e geração de espaço de estados de modelos em redes de petri orientadas a objetos. Master’s thesis, COPIN/Universidade Federal de Campina Grande.
Tretmans, J. (1999). Testing concurrent systems: A formal approach. In Proceedings of CONCUR’99, volume 1664 of LNCS, pages 46–65. Springer.
Publicado
27/05/2008
Como Citar
FIGUEIREDO, André L. L.; MACHADO, Patricia D. L.; CARTAXO, Emanuela G.; FIGUEIREDO, Jorge C. A.; BARBOSA, Paulo E. S..
Geração Automática de Objetivos e Casos de Teste a partir de Redes de Petri Orientadas a Objetos. In: WORKSHOP DE TESTES E TOLERÂNCIA A FALHAS (WTF), 9. , 2008, Rio de Janeiro/RJ.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2008
.
p. 17-30.
ISSN 2595-2684.
DOI: https://doi.org/10.5753/wtf.2008.23143.
