Um Método de Teste Funcional para Verificação de Componentes

  • Carina M. Farias UFCG
  • Patrícia D. L. Machado UFCG

Resumo


O interesse no desenvolvimento de software baseado em componentes tem crescido substancialmente devido à promessa de redução de custos e tempo de desenvolvimento através do reuso. A maioria das metodologias existentes tem se concentrado nas fases de análise e projeto. Entretanto, o reuso efetivo de componentes está fortemente relacionado à confiabilidade dos mesmos. O principal objetivo deste trabalho é propor um método de teste funcional aplicável a componentes de software. Já que o processo de desenvolvimento utilizado influencia significativamente a testabilidade de sistemas, o método proposto estará integrado a um processo de desenvolvimento de componentes bem definido. Artefatos de teste são gerados a partir de especificações em UML (Unified Modelling Language). Um estudo de caso é apresentado para ilustrar a aplicabilidade do método.

Palavras-chave: Teste Funcional, Componentes, UML, Orientação a Objetos

Referências

S. Barbey, D. Buchs, and C. Peraire. A theory of specification-based testing for object-oriented software. Lecture Notes in Computer Science, 1150: 303-320, 1996.

Boris Beizer. Software Testing Techniques. Van Nostrand Reinhold, 2nd edition, 1990.

Boris Beizer. Black-Box Testing: Techniques for Functional Testing of Software and Systems. John Wiley & Sons, 1995.

S. Beydeda and V. Gruhn. An integrated testing technique for component-based software. In International Conference on Computer Systems and Applications, pages 328-334. IEEE Computer Society Press, 26-29 Junho 2001.

Lionel Briand and Yvan Labiche. A UML-based approach to system testing. Lecture Notes in Computer Science, 2185: 60-70, 2001.

John Cheesman and John Daniels. UML Components: A Simple Process for Specifying Component-Based Software. Addison-Wesley, 2001.

Philippe Chevalley and Pascale Thevenod-Fosse. Automated generation of statistical test cases from UML state diagrams. In Proc. of the 25th Annual Int. Computer Software and App. Conference (COMPSAC 2001), pages 61-72, Chicago, Outubro 2001. ACM Press.

Roong-Ko Doong and Phyllis G. Frankl. The ASTOOT approach to testing object-oriented programs. ACM Trans. on Soft. Eng. and Methodology, 3(2): 101-130, 1994.

Jean Hartmann, Claudio Imoberdorf, and Michael Meisinger. UML-based integration testing. ACM Trans. on Software Engineering and Methodology, 8(11): 60-70, 2000.

Zhenyi Jin and Jeff Offutt. Integrating testing with the software development process. Technical Report ISSE-TR-95-112, George Mason University, Agosto 1995.

Patrícia D. L. Machado. Testing from structured algebraic specifications. In AMAST: 8th Int. Conf. on Algebraic Meth. and Soft. Technology, volume 1816, LNCS. Springer, 2000.

Patrícia D. L. Machado and Don T. Sannella. Unit testing for CASL architectural specifications. In 27th International Symposium on Mathematical Foundations of Compouter Science, volume 2420, LNCS. Springer-Verlag, Agosto 2002.

Eliane Martins, Cristina Toyota, and Rosileny Yanagawa. Constructing self-testable software components. In Proceedings of the 2001 Int. Conf. on Dependable Systems and Networks (DSN '01), pages 151-160, Washington Brussels Tokyo, Julho 2001. IEEE.

John D. McGregor and David A. Sykes. A Practical Guide to Testing Object-Oriented Software. Object Technology Series. Addison-Wesley, 2001.

Stacy J. Prowell, Carmen J. TRammell, Richard C. Linger, and Jesse H. Poore. Cleanroom Software Engineering: Technology and Process. SEI. Addison-Wesley, 1999.

I. Sommerville. Software Engineering. Addison-Wesley Publishing Company, 1996.

Clemens Szyperski. Component Software: Beyond Object-Oriented Programming. ACM Press and Addison-Wesley, New York, NY, 1998.

H. Watanabe, H. Tokuoka, W. Wu, and M. Saeki. A technique for analyzing and testing object-oriented software using coloured Petri nets. In Asia Pacific Software Engineering Conference, pages 182-195. IEEE Computer Society Press, 1998.

J. Whittaker and M. Thomason. A Markov Chain Model for Statistical Software Testing. IEEE Transactions on Software Engineering, 20: 812-824, Outubro 1994.
Publicado
08/10/2003
FARIAS, Carina M.; MACHADO, Patrícia D. L.. Um Método de Teste Funcional para Verificação de Componentes. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 17. , 2003, Manaus/AM. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2003 . p. 189-204. DOI: https://doi.org/10.5753/sbes.2003.23861.