Geração de Casos de Teste de Interrupção para Aplicações de Celulares

• Wilkerson L. Andrade UFCG
• Francisco G. O. Neto UFCG
• Patricia D. L. Machado UFCG

DOI: https://doi.org/10.5753/wtf.2007.23244

Abstract

The mobile phone market has become even more competitive, demanding high quality standards. In this context, applications are developed as sets of functionalities, called features. There are scenarios where features can interrupt the execution of the other features and due to the fact that the features are usually developed in an isolated way, the tests of their interactions in such scenarios are compromised. In this work, we present an approach to generating and selecting interruption test cases from use case specifications. Use cases are translated into LTS models from which test cases can be selected according to a selection strategy basing on test purposes. The presented approach is supported by the LTS-BT tool.

References

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.