Objetivo
AGEDIS will develop a methodology and tools for the automation of software testing in general with emphasis on distributed component based software systems. The aim of the project is to increase the efficiency and competitiveness of the European software industry by automating software testing, and improving the quality of software while reducing the expense of the testing phase. The AGEDIS approach to software quality is to model the software, and then automatically generate a test suite based on coverage criteria and testing constraints defined in the model. The automated test suite is then executed by a component-based execution engine, which encapsulates knowledge of the model and its translation to the software under test. This approach is particularly suited to component-based software whose interfaces are clearly specified.
Objectives:
AGEDIS will develop state-of-the-art technology to automatically generate a test suite based on coverage criteria and testing constraints defined in the model. A component-based execution engine that encapsulates knowledge of the model then executes the automated test suite and its translation to the software under test. AGEDIS intends to capitalize on the experience and expertise of the research partners in this field, while providing an industry-proven methodology and automation tools for the use of the European Community's Software Development Industry. By the end of the project, AGEDIS will have proven its effectiveness as a methodology and toolset. This will be done by comparative studies with existing testing methodologies and with existing tools that implement similar methodologies. As part of the tangible objectives of the project, we intend to have the AGEDIS methodology and tools adopted by at least four leading software producers in the European community. The results of the project will be available to all European software producers, both in the form of an educational package and software tools, and as a testing service provided by the technology transfer member of the consortium.
Work description:
The project consists of four parallel action streams: technology development, application experiments, technology transfer, and project management. In the first phase of AGEDIS, we will study existing software modelling languages both graphical and textual (e.g. SDL, Murphi, UML, Lotos, SPIN, Z, CSP) and define a language for modelling with all the requisite constructs for high level modelling of component-based distributed software for the purpose of generating test suites. The language will be chose with regard to achieving wide acceptability and rapid adoption in European software development centres. Thus the likely course of action will be the choice of an existing language and the definition of extensions to the language to facilitate test generation and coverage analysis. The second element of the first phase involves two application experiments to be carried out with existing prototype tools provided by the consortium partners. The purpose of these experiments is to evaluate and refine the requirements for the modelling and integrated toolkit. These initial studies will take 4 to 6 months and include a retest of an existing function in a product (to provide a baseline for measuring success) and a pilot study of a new feature being added to a product. The second phase involves intensive research and development of a software modelling language, its compiler, and the integration of the tools into a unified test automation environment. This phase will be driven by the requirements generated during th application experiments. This phase will be punctuated by three application experiments: one with the first version of the unified toolkit and methodology, and two with the final products of the project. The consortiums partners will do additional inform application experiments using the AGEDIS tools and methodology to test certain components of the AGEDIS software tools them. The third and final phase of AGEDIS will include the publication of a methodology document, and the final production of test generation and execution tools integrated and improved on the basis of feedback from the second round of application experiments. The project will close with a public seminar including a tutorial on the use of the tools and papers describing the application experiments and their results.
Milestones:
1. A provably effective methodology for the automation of component based software testing;
2. A software modelling language which incorporates testing directives adapted for the modelling of component based distributed software;
3. An integrated toolset for the methodology, including a compiler, generator, execution engine, and productivity and feedback tools;
4. Promotional and educational materials for the rapid adoption and commercialisation of the above.
A provably effective methodology for the automation of component based software testing;
- A software modelling language which incorporates testing directives adapted for the modelling of component based distributed software;
- An integrated toolset for the methodology, including a compiler, generator, execution engine, and productivity and feedback tools;
- Promotional and educational materials for the rapid adoption and commercialisation of the above.
Ámbito científico (EuroSciVoc)
CORDIS clasifica los proyectos con EuroSciVoc, una taxonomía plurilingüe de ámbitos científicos, mediante un proceso semiautomático basado en técnicas de procesamiento del lenguaje natural. Véas: El vocabulario científico europeo..
CORDIS clasifica los proyectos con EuroSciVoc, una taxonomía plurilingüe de ámbitos científicos, mediante un proceso semiautomático basado en técnicas de procesamiento del lenguaje natural. Véas: El vocabulario científico europeo..
- ciencias naturales informática y ciencias de la información software software de aplicación software de sistemas
- ciencias sociales sociología relaciones laborales automatización
- ciencias naturales informática y ciencias de la información software desarrollo de software
- ciencias sociales economía y empresa ciencia económica economía de la producción productividad
Para utilizar esta función, debe iniciar sesión o registrarse
Le pedimos disculpas, pero se ha producido un error inesperado durante la ejecución.
Necesita estar autentificado. Puede que su sesión haya finalizado.
Gracias por su comentario. En breve recibirá un correo electrónico para confirmar el envío. Si ha seleccionado que se le notifique sobre el estado del informe, también se le contactará cuando el estado del informe cambie.
Programa(s)
Programas de financiación plurianuales que definen las prioridades de la UE en materia de investigación e innovación.
Programas de financiación plurianuales que definen las prioridades de la UE en materia de investigación e innovación.
Tema(s)
Las convocatorias de propuestas se dividen en temas. Un tema define una materia o área específica para la que los solicitantes pueden presentar propuestas. La descripción de un tema comprende su alcance específico y la repercusión prevista del proyecto financiado.
Las convocatorias de propuestas se dividen en temas. Un tema define una materia o área específica para la que los solicitantes pueden presentar propuestas. La descripción de un tema comprende su alcance específico y la repercusión prevista del proyecto financiado.
Convocatoria de propuestas
Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.
Datos no disponibles
Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.
Régimen de financiación
Régimen de financiación (o «Tipo de acción») dentro de un programa con características comunes. Especifica: el alcance de lo que se financia; el porcentaje de reembolso; los criterios específicos de evaluación para optar a la financiación; y el uso de formas simplificadas de costes como los importes a tanto alzado.
Régimen de financiación (o «Tipo de acción») dentro de un programa con características comunes. Especifica: el alcance de lo que se financia; el porcentaje de reembolso; los criterios específicos de evaluación para optar a la financiación; y el uso de formas simplificadas de costes como los importes a tanto alzado.
Coordinador
49527 PETACH TIKVA
Israel
Los costes totales en que ha incurrido esta organización para participar en el proyecto, incluidos los costes directos e indirectos. Este importe es un subconjunto del presupuesto total del proyecto.