UMA ABORDAGEM PARA GERAÇÃO DE PROCEDIMENTOS DE TESTE BASEADA EM ESPECIFICAÇÕES UMIL E OCL

Abstract

In most software development endeavors, testing is an important quality control technique. The main purpose of software testing is to reveal software failures. Functional testing is a type of testing where test cases are derived from the functional specification of the software under test. There-fore, the effectiveness of the test is directly related to the quality of the specification. A common category of software systems is the CRUD systems. CRUD systems are systems based on features like create, retrieve, update, and delete. This paper presents an approach for CRUD systems specifi-cation-based testing. This approach uses a technique to specify CRUD systems using UML class models enriched with Object Constraint Language (OCL) constraints and another technique to generate platform independent test procedures from the specification. These test procedures can be transformed into platform specific test procedures that can be used to verify the implementation of CRUD systems. Index Terms - CRUD, OCL, software testing, UML.