Automatic Generation of Platform Independent Built-in Contract Testers

  • Helton S. Lima UFCG
  • Franklin Ramalho UFCG
  • Patricia D. L. Machado UFCG
  • Everton L. Galdino UFCG

Resumo


Automatic generation of built-in contract testers that check pairwise interactions between client and server components is presented. Test artifacts are added to development models, i.e., these models are refined towards testing. The refinement is specified by a set of ATL transformation rules that are automatically performed by the ATL-DT tool. We focus on the KobrA development methodology and the Built-In Testing (BIT) method. Therefore, development and testing artifacts are specified by UML diagrams. To make transformation from development to testing models possible, a UML 2 profile for the BIT method is proposed. The overall solution is part of the MoBIT (Model-driven Built-In contract Testers) tool that was fully developed following Model-Driven Engineering (MDE) approaches. A case study is presented to illustrate the problems and solutions addressed.

Referências

AMMA Project (2005). Atlas transformation language. [link].

Atkinson, C., Bayer, J., Bunse, C., Kamsties, E., Laitenberger, O., Laqua, R., Muthig, D., Paech, B., Wüst, J., and Zettel, J. (2002). Component-based Product Line Engineering with UML. Component Software Series. Addison-Wesley.

Atkinson, C. and Gross, H.-G. (2002). Built-in contract testing in model-driven, component-based development. In ICSR Work. on Component-Based Develop. Processes.

Barbosa, D. L., Lima, H. S., Machado, P. D. L., Figueiredo, J. C. A., Juca, M. A., and Andrade, W. L. (2007). Automating functional testing of components from uml specifications. Int. Journal of Software Eng. and Knowledge Engineering. To appear.

Berger, B., Abuelbassal, M., and Hossain, M. (1997). Model driven testing. Technical report, DNA Enterprises, Inc.

Born, M., Schieferdecker, I., Gross, H.-G., and Santos, P. (2004). Model-driven development and testing a case study. In First European Workshop on Model Driven Architecture with Emphasis on Industrial Application, pages 97-104, University of Twente.

Briand, L. C., Labiche, Y., and Sówka, M. M. (2006). Automated, contract-based user testing of commercial-off-the-shelf components. In ICSE '06: Proc. of the 28th Int. Conference on Software Engineering, pages 92-101, New York, NY, USA. ACM Press.

Budinsky, F., Brodsky, S. A., and Merks, E. (2003). Eclipse Modeling Framework. Pearson Education.

Dai, Z. R. (2004). Model-driven testing with uml 2.0. In Second European Workshop on Model Driven Architecture (MDA) with an Emphasis on Methodologies and Transformations, Canterbury, England.

Dueñas, J. C., Mellado, J., Cerón, R., Arciniega, J. L. ., Ruiz, J. L., and Capilla, R. (2004). Model driven testing in product family context. In First European Workshop on Model Driven Architecture with Emphasis on Industrial Application, University of Twente.

El-Far, I. K. and Whittaker, J. A. (2001). Model-based software testing. Encyclopedia on Software Engineering.

Engels, G., Güldali, B., and Lohmann, M. (2006). Towards model-driven unit testing. In Workshops and Symposia at MoDELS 2006, volume 4364 of LNCS.

Heckel, R. and Lohmann, M. (2003). Towards model-driven testing. Electronic Notes in Theoretical Computer Science, 82(6).

Meyer, B. (1997). Object-oriented Software Construction. Prentice Hall.

Object Management Group (2006). Catalog of omg modeling and metadata specifications. [link].
Publicado
29/08/2007
LIMA, Helton S.; RAMALHO, Franklin; MACHADO, Patricia D. L.; GALDINO, Everton L.. Automatic Generation of Platform Independent Built-in Contract Testers. In: SIMPÓSIO BRASILEIRO DE COMPONENTES, ARQUITETURAS E REUTILIZAÇÃO DE SOFTWARE (SBCARS), 1. , 2007, Campinas/SP. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2007 . p. 47-60. DOI: https://doi.org/10.5753/sbcars.2007.24118.