22 | 05 | 2013
International Research People
Software Project Scheduling
Article of the month
Testing is a must in complex systems
EvoTest is a multidisciplinary European funded (IST-33472) project that combines the power of evolutionary adaptive techniques, inspired by biological evolution, with software engineering techniques in order to find solutions to the problems of testing software systems and deal with its complexity
The theory of testability transformation was developed during the proposal, together with early empirical results from the first application of testability transformation to a simple incarnation of the flag problem for evolutionary testing.
The theoretical foundation of this formulation of testability transformation has proved to be very effective, acting as a foundation on which subsequent authors built. It acted as a lingua franca for collaborative work with Korel, McMinn, Binkley, Baresel and others outside of the original project, but who became involved.
The proof obligations required by Testability Transformation are different to those required in traditional transformation because the correctness concern is not couched in terms of functional correctness. Rather the correctness of a transformation is concerned with whether it preserves the sets of adequate test data for some test adequacy criterion under consideration
The SEBASE project aims to provide a new approach to the way in which software engineering is understood and practised. It will move software engineering problems from human-based search to machine-based search. As a result, human effort will move up the abstraction chain, to focus on guiding the automated search, rather than performing it. This project will address key issues in software engineering, including scalability, robustness, reliability and stability. It will also study theoretical foundations of search algorithms and apply the insights gained to develop more effective and efficient search algorithms for large and complex software engineering problems. Such insights will have a major impact on the search algorithm community as well as the software engineering community
TAIC PART is a testing workshop that aims to forge collaboration between industry and academia on the challenging and exciting problem of software testing. The event, is sponsored by representatives of both industry and academia, bringing together commercial and industrial software developers and users with academic researchers working on the theory and practice of software testing.
State based models raise the level of abstraction at which systems are described from the program source code level to a more design-oriented level. The goal of this raised abstraction level is to allow larger-scale systems to be developed and managed with the same level of effort as smaller systems expressed at lower levels of abstraction. Many embedded systems, such as those developed by the SLIM project's industrial partners, are constructed from state based models. Unfortunately, as the scale of what can be handled increases, there is an inevitable commensurate increase in expectations and the demands placed upon the model. It is human nature to push systems and approaches to the bounds of what can be withstood. As an example of this "size problem", one of the models for describing a phone system, currently used by the SLIM industrial project partner Motorola, runs to nearly 700 pages. The SLIM project will develop algorithms, methods and techniques for scaling down the size and complexity of a model using a techniques called slicing. Traditionally, slicing has only been applied to program source code, not to state based models. The SLIM project will reformulate slicing so that it can be used to scale down models, thereby addressing the model size problem. The research challenge is to develop new theories, methods and algorithms for program slicing to raise it to the state-based level of abstraction.
The andalousian society, as well as the national and international in general, are experiencing a clear progress in the area of wireless communications. This reflects directly on the kinds of systems accessible to individuals and organisms. In addition to well-established systems as mobile telephony, new means of communication between persons or between modern devices (laptops, PDAs) are appearing that pose big challenges to science and technique. In particular, we are referring to the new advances in 2G/3G telephony as representatives of networks with infrastructure and service provider, as well as new ad hoc networks which require no infrastructure, all of them bringing new possibilities for work in academy and industry.
eToc implements a genetic algorithm for test case generation working on classes written in the Java programming language. A test suite is generated so as to maximize the level of branch coverage reached by the test cases. Assertions on the expected outputs must be added manually.
Our Projects at UMA