In practice, an available testing budget limits the number of test cases that can be executed over particular software. This paper presents a ―Tabu‖ search algorithm for the automatic generation of software test cases and their prioritization through clustering technique of data mining. The developed test case generator has a cost function for intensifying the search and another for diversifyin...

The dissertation thesis is aimed at automatic functional test generation methods for processors. Testing processors needs continually new test generation methods, algorithms and test application techniques for their verification, manufacture testing and reliable life-time run. The functional tests are mainly generated over an instruction set architecture and processor model description. They ru...

most contemporary clinical reasoning tests typically assess non-automatic thinking. therefore, a test is needed to measure automatic reasoning or pattern recognition, which has been largely neglected in clinical reasoning tests. the puzzle test (pt) is dedicated to assess automatic clinical reasoning in routine situations. this test has been introduced first in 2009 by monajemi et al in the oly...

Aspect-oriented software development (AOSD) is a new paradigm that improves separation of concerns in software development. AOSD has gained popularity with the adoption of languages such as AspectJ. Automated test generation for AspectJ programs is important for reducing the manual effort in testing AspectJ programs. This position paper proposes Wrasp, a framework for automatic generation of te...

Software testing is the critical activity in any industrial–strength software development process. As the software grows in size, its complexity increases and testing becomes more difficult. Hence generating test cases manually produces more errors and affects overall system quality. In this paper, we have proposed a tool for automatic generation of test cases using the control structure method...

This paper presents a protocol software test bed, which was developed for the testing ofa Network Access Authentication Protocol (NAAP) implementation. We demonstrate how modular software design can help in protocol testing and we present a simple software interface that enables flexible protocol testing of protocol implementations. Besides normal use scenarios, the test bed allows automatic te...

− The paper deals with the measurement of software quality in frameworks for automatic test systems. In particular, the quality characterization of software components inside the Flexible Framework for Magnetic Measurements, developed at the European Organization for Nuclear Research (CERN), is illustrated with respect to the ISO 9126 reference model through the introduction of suitable metrics...