Geração de Casos de Teste de Interrupção para Aplicações de Celulares
Resumo
O mercado de telefonia celular tem se mostrado cada vez mais competitivo, demandando um padrão de qualidade cada vez maior. Neste contexto, aplicações são desenvolvidas como conjuntos de funcionalidades, chamados de features. Existem cenários onde as features interrompem a execução de outras features e devido ao fato de as features serem usualmente desenvolvidas e testadas de forma isolada, os testes de suas interações nos cenários de uso das aplicações ficam comprometidos. Neste trabalho, apresentamos uma abordagem para a geração e seleção de casos de teste de interrupção a partir de casos de uso. Casos de uso são transformados em modelos LTS, a partir dos quais casos de teste podem ser obtidos de acordo com uma estratégia de seleção baseada em propósitos de teste. A abordagem apresentada é apoiada pela ferramenta LTS-BT.
Referências
Andrade, W. L. (2007). Geração de casos de teste de interação para aplicações de celulares. Master’s thesis, Universidade Federal de Campina Grande.
Baudry, B., Fleurey, F., and Traon, Y. L. (2006). Improving test suites for efficient fault localization. In ICSE ’06: Proceeding of the 28th international conference on Software engineering, pages 82–91, New York, NY, USA. ACM Press.
Bryce, R. C. and Colbourn, C. J. (2005). Test prioritization for pairwise interaction coverage. In A-MOST ’05: Proceedings of the first international workshop on Advances in model-based testing, pages 1–7, New York, NY, USA. ACM Press.
Cabral, G. and Sampaio, A. (2006). Formal specification generation from requirement documents. In Brazilian Symposium on Formal Methods (SBMF), pages 217–232, Natal, Brazil.
Calder, M., Kolberg, M., Magill, E. H., and Reiff-Marganiec, S. (2003). Feature interaction: a critical review and considered forecast. Comput. Networks, 41(1):115–141.
Cartaxo, E. G. (2006). Geração de casos de teste funcional para aplicações de celulares. Master’s thesis, Universidade Federal de Campina Grande.
Cohen, M. B., Gibbons, P. B., Mugridge, W. B., and Colbourn, C. J. (2003). Constructing test suites for interaction testing. In ICSE ’03: Proceedings of the 25th International Conference on Software Engineering, pages 38–48, Washington, DC, USA. IEEE Computer Society.
de Vries, R. G. and Tretmans, J. (2000). On-the-fly conformance testing using SPIN. International Journal on Software Tools for Technology Transfer, 2(4):382–393.
Fernandez, J.-C., Mounier, L., and Pachon, C. (2003). Property oriented test case generation. In Proceedings of FATES’03 (Satellite workshop of ASE’03), Montreal, Canada.
Figueiredo, A. L. L., Andrade, W. L., and Machado, P. D. L. (2006). Generating interaction test cases for mobile phone systems from use case specifications. SIGSOFT Softw. Eng. Notes, 31(6):1–10.
Jard, C. and Jéron, T. (2005). Tgv: theory, principles and algorithms: A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems. Int. J. Softw. Tools Technol. Transf., 7(4):297–315.
Jorgensen, P. (2001). Software Testing: A Craftman’s Approach. CRC Press, Inc., Boca Raton, FL, USA.
Keck, D. O. and Kuehn, P. J. (1998). The feature and service interaction problem in telecommunications systems: A survey. IEEE Trans. Softw. Eng., 24(10):779–796.
Lorentsen, L., Tuovinen, A.-P., and Xu, J. (2001). Modelling feature interactions in mobile phones. In Feature Interaction in Composed Systems (ECOOP 2001), pages 7–13, Budapest, Hungary.
Tretmans, J. (1996). Test generation with inputs, outputs, and quiescence. In TACAs’96: Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems, pages 127–146, London, UK. Springer-Verlag.
Turner, C. R., Wolf, A. L., Fuggetta, A., and Lavazza, L. (1998). Feature engineering. In IWSSD ’98: Proceedings of the 9th international workshop on Software specification and design, page 162, Washington, DC, USA. IEEE Computer Society.
Baudry, B., Fleurey, F., and Traon, Y. L. (2006). Improving test suites for efficient fault localization. In ICSE ’06: Proceeding of the 28th international conference on Software engineering, pages 82–91, New York, NY, USA. ACM Press.
Bryce, R. C. and Colbourn, C. J. (2005). Test prioritization for pairwise interaction coverage. In A-MOST ’05: Proceedings of the first international workshop on Advances in model-based testing, pages 1–7, New York, NY, USA. ACM Press.
Cabral, G. and Sampaio, A. (2006). Formal specification generation from requirement documents. In Brazilian Symposium on Formal Methods (SBMF), pages 217–232, Natal, Brazil.
Calder, M., Kolberg, M., Magill, E. H., and Reiff-Marganiec, S. (2003). Feature interaction: a critical review and considered forecast. Comput. Networks, 41(1):115–141.
Cartaxo, E. G. (2006). Geração de casos de teste funcional para aplicações de celulares. Master’s thesis, Universidade Federal de Campina Grande.
Cohen, M. B., Gibbons, P. B., Mugridge, W. B., and Colbourn, C. J. (2003). Constructing test suites for interaction testing. In ICSE ’03: Proceedings of the 25th International Conference on Software Engineering, pages 38–48, Washington, DC, USA. IEEE Computer Society.
de Vries, R. G. and Tretmans, J. (2000). On-the-fly conformance testing using SPIN. International Journal on Software Tools for Technology Transfer, 2(4):382–393.
Fernandez, J.-C., Mounier, L., and Pachon, C. (2003). Property oriented test case generation. In Proceedings of FATES’03 (Satellite workshop of ASE’03), Montreal, Canada.
Figueiredo, A. L. L., Andrade, W. L., and Machado, P. D. L. (2006). Generating interaction test cases for mobile phone systems from use case specifications. SIGSOFT Softw. Eng. Notes, 31(6):1–10.
Jard, C. and Jéron, T. (2005). Tgv: theory, principles and algorithms: A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems. Int. J. Softw. Tools Technol. Transf., 7(4):297–315.
Jorgensen, P. (2001). Software Testing: A Craftman’s Approach. CRC Press, Inc., Boca Raton, FL, USA.
Keck, D. O. and Kuehn, P. J. (1998). The feature and service interaction problem in telecommunications systems: A survey. IEEE Trans. Softw. Eng., 24(10):779–796.
Lorentsen, L., Tuovinen, A.-P., and Xu, J. (2001). Modelling feature interactions in mobile phones. In Feature Interaction in Composed Systems (ECOOP 2001), pages 7–13, Budapest, Hungary.
Tretmans, J. (1996). Test generation with inputs, outputs, and quiescence. In TACAs’96: Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems, pages 127–146, London, UK. Springer-Verlag.
Turner, C. R., Wolf, A. L., Fuggetta, A., and Lavazza, L. (1998). Feature engineering. In IWSSD ’98: Proceedings of the 9th international workshop on Software specification and design, page 162, Washington, DC, USA. IEEE Computer Society.
Publicado
29/05/2007
Como Citar
ANDRADE, Wilkerson L.; O. NETO, Francisco G.; MACHADO, Patricia D. L..
Geração de Casos de Teste de Interrupção para Aplicações de Celulares. In: WORKSHOP DE TESTES E TOLERÂNCIA A FALHAS (WTF), 8. , 2007, Belém/PA.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2007
.
p. 129-142.
ISSN 2595-2684.
DOI: https://doi.org/10.5753/wtf.2007.23244.
