Automating Functional Testing of Components From Uml Specifications

Abstract

A method of functional testing for software components according to model-based testing techniques is proposed. Test cases are generated from UML diagrams and OCL constraints that comprise a component interface and realization specification. The method uses a reduced set of UML artifacts that constitute the main requirements for its application along with a component development process, making use of development artifacts. Also, the set of generated test artifacts are packed together with the provided components to reduce the overall testing effort when clients assemble applications. A tool has been developed to automate the method with test cases generated as Java test components. Test execution and result analysis is also supported. For each component, the tool generates a test component that can be easily upgraded and configured for testing the services provided by a component throughout its life cycle.

Reducing test effort: A systematic mapping study on existing approaches

“…Only five articles were found that could be assigned to the analysis phase [47,81,104,117,143]. Gerlich et al [81] propose an approach that automatically generates test cases based on information about the source code (prototype specification and code structure).…”

“…Furthermore, this approach includes automated test evaluation and comprehensive presentation of results. The method described in [47] allows performing conformance evaluation considering different levels. Xie et al [104] present an approach that focuses on analyzing and maintaining test scripts in order to be more efficient.…”

Anais do XXII Simpósio Brasileiro de Engenharia de Software (SBES 2008)

“…LTSs são amplamente utilizados como formalismo semântico de muitas notac ¸ões de especificac ¸ão [Jard and Jéron 2005] e, por isso, podem ser facilmente obtidos de especificac ¸ões funcionais usando ferramentas de conversão, como por exemplo UMLAUT [Ho et al 1999]. Além disso, LTSs também são amplamente utilizados como o modelo do qual os casos de teste podem ser obtidos, por exemplo, nas ferramentas SPACES [Barbosa et al 2007], TGV [Jard and Jéron 2005], LTS-BT [Cartaxo et al 2008] e TaR-GeT [Nogueira et al 2007]. LTS é um grafo dirigido -dígrafo -no qual vértices são chamados de estados e arestas de transic ¸ões.…”

An experimental evaluation of approaches to feature testing in the mobile phone applications domain

“…Besides, the automation can reduces the cost of the testing process since it reduces the time of test cases creation [17]. Other advantage of using MBT is the possibility of reusing development artifacts, particularly requirements documents [4].…”