− A technique for generating user interfaces in software frameworks for automatic measurement systems is proposed. The user interface is separated from the application logic with the aim of enhancing flexibility and reusability of the software. A Model-View-Interactor paradigm focuses on the “interaction” between the automatic measurement system, executing test script written by a test engineer...

A few works address the challenge of automating software diversification, and they all share one core idea: using automated test suites to drive diversification. However, there is is lack of solid understanding of how test suites, programs and transformations interact one with another in this process. We explore this intricate interplay in the context of a specific diversification technique cal...

This paper proposes a dynamic test data generation framework based on genetic algorithms. The framework houses a Program Analyser and a Test Case Generator, which intercommunicate to automatically generate test cases. The Program Analyser extracts statements and variables, isolates code paths and creates control flow graphs. The Test Case Generator utilises two optimisation algorithms, the Batc...

Software testing consumes a large percentage of total software development costs. Yet, it is still usually performed manually in a non rigorous fashion. While techniques, and limited automatic support, for the generation of test data from the actual code of the system under test have been well researched, test cases generation from a high level speci cation of the intended behaviour of the syst...

Software system can include redundant implementation elements, such as, different methods that can produce indistinguishable results. This type of redundancy is called ‘intrinsic’ if it is already available in the software, although not intentionally planned. Redundancy can be a key element to increase the reliability of a system. Some fault tolerance and self-healing techniques exploit the red...

Automatic software repair techniques aim at repairing error-prone code automatically. In particular, test-based automatic software repair approaches use test cases to locate a bug and evaluate the automatically created repair code. However, this evaluation is only based on the successful or failing execution of the test cases but ignore the behavior of the software under the majority of of usag...

Many software test generation techniques target on generating software test data. Only a few of them provide automatic way to verify if software behaves correctly using generated test data. We propose a testing technique, which uses UML modeling language extension OCL as imprecise test oracle. Imprecise OCL constraints can be viewed as expressions which define expected results within some range...

Software testing is a key of guaranteeing software quality and reliability. For testing software performance we have to need testing data or test case. So generation of test cases is one of the key steps for software testing. In generation of suitable test cases for a software/program, nature inspired algorithms play an important role. We studied several nature inspired algorithms but in this p...