Buscar
Mostrando ítems 1-4 de 4
Ponencia
Analysis of Proposals to Generate System Test Cases From System Requisites
(CEUR-WS, 2005)
System test cases allow to verify the functionality of a software system. System testing is a basic technique to guarantee quality of software systems. This work describes, analyzes and compares five proposals to generate ...
Ponencia
Contract-based test generation for data flow of business processes using constraint programming
(IEEE Computer Society, 2011)
The verification of the properties of a business process (BP) has become a significant research topic in recent years. In the early stages of development, the BP model (e.g. BPMN, EPC), the BP contract (task ...
Ponencia
Aplicación Automática del Método de Categoría-Partición a Requisitos Funcionales con Soporte Para Bucles
(ACM, 2008)
Con este artículo se amplían trabajos anteriores, para la generación de pruebas a partir de casos de usos mediante un proceso automático generando así los objetivos de prueba. Se aplica para tal fin el método de Categoría ...
Ponencia
Comparative analysis of methodological proposes to systematic generation of system test cases from system requisites
(Fraunhofer IRB Verlag, 2004-12-02)
System tests verify functionality and system integrity of software system globally. System tests are made at the end of system construction. However, it is posible to begin to plan these tests in the first stages of ...