Use cases and user interface prototypes are agile techniques used to specify required functionalities of an object-oriented system. Testing can find most errors of the software and ensure that the requirement specifications are satisfied by the application. We can derive test cases from use cases and run them in user interfaces, but we do it in a mechanical way. In this paper, we propose a new approach for automating the generation of user interface prototypes and test cases for web applications. Starting from a formalization of the requirements based on controlled use cases extended with the system glossary and the user interface specifications, we automatically generate web pages and test cases which are passed as parameters for an automated web testing tool.

No abstract

No abstract

Background: BETA (Bbased testing approach) is a toolsupported approach to generate test cases from Bmethod specifications through the application of input space partitioning and logical coverage criteria. The BETA tool automates the whole process, from the design of abstract test cases to the generation of executable test scripts. Methods: In this paper, we present an empirical study that was performed to evaluate and contribute to the development of BETA. The study evaluated the applicability of BETA on problems with different characteristics and used techniques of code coverage and mutation analysis to measure the quality of the generated test cases. The study was carried out in different rounds, and the results of each round were used as a reference for the improvement of the approach and its supporting tool. Results: These case studies were relevant not only for the evaluation of BETA but also to evaluate how different features affect the usability of the approach and the quality of the test cases and to compare the quality of the test cases generated using different coverage criteria. Conclusions:The results of this study showed that (1) BETAgenerated test scenarios for the different criteria follow theoretical expectations in terms of criteria subsumption; (2) the BETA implementation of the logical criteria generates more efficient test sets regarding code and mutation coverage than the input space partitioning ones; (3) it is important to go beyond the strict requirements of the criteria by adding some additional variation (randomization) of the input data; and (4) the algorithms designed to combine test requirements into test cases need to deal carefully with infeasible (logically unsatisfiable) combinations.

No abstract

De nombreux pavements urbains portugais sont encore exécutés avec le procédé de la calçada , utilisant de petits blocs de pierre de calcaire ou de basalte, généralement dénommé calçada à portuguesa (la chaussée à la portugaise). Au Portugal, au long des siècles, divers courants idéologiques, politique, sociaux ou religieux ont été promus à travers ce support graphique (qui s’est révélé efficace et durable) à l’image de ce qu’avaient fait d’autres peuples autrefois. Mais que veulent nous transmettre ces signes, quelles histoires ou quels secrets nous racontent ces ensembles de pierres forgées dans les paumes de la main, qui se rassemblent comme des tapis dans les tonalités de noir et blanc et qui s’étendent quotidiennement sous nos pieds, se déployant sous nos yeux et rafraîchissant notre mémoire ?