Software testing is most effort consuming phase in software development. One would like to minimize the efforts and maximize the number of faults detected. Hence test case generation may be treated as an optimization problem. One of the major difficulties in software testing is the automatic generation of test data that satisfy a given adequacy criterion. Generating test cases automatically wil...

Immunoassay is a biological technique that is used for detecting and measuring target compounds. It has been utilized for biological and medical detection for many years. Recently, the use of immunoassay techniques has moved into the environmental arena. With the increased use and need for environmental assay techniques, quick and efficient methods of automatic detection and measurement are bad...

Software companies usually develop a set of product variants within the same family that share certain functions and differ in others. Variations across software occur to meet different customer requirements. Thus, evolve overtime cope with new A engineer who deals this may find it difficult understand evolution scenarios have taken place over time. In addition, identifier names are important r...

The aim of software verification is determining how well the software conforms to its specification. Testing is the most popular method of software verification. For software testing to be done effectively, there is a need to select proper test cases such that all aspects of the software can be tested. This paper describes a new approach for specification-based testing. The formal specification...

The overall aim of the software industry is to ensure delivery of high quality software to the end user. To ensure high quality software, it is required to test software. Testing ensures that software meets user specifications and requirements. However, the field of software testing has a number of underlying issues like effective generation of test cases, prioritisation of test cases etc which...

Software testing is the most important and time consuming part of software development lifecycle. The time spent in testing is mainly concerned with generating the test cases and testing them. Our goal is to reduce the time spent in testing by reducing the number of test cases. For this we have incorporated data mining techniques to reduce the number of test cases. Data mining finds similar pat...

We report on the automatic testing of the control software of the Oosterschelde kering, a storm surge barrier. The automatic testing includes automatic test case derivation and automatic test execution. This project is a joint effort of CMG and the computer science group “Formal Methods and Tools” at the university of Twente. We introduce the way we currently test at the Formal Methods and Tool...

In this paper, automatic test system of surface flatness was designed according to the characteristics of the no-till field by combining the PLC (Programmable Logic Controller), laser sensor and stepping motor automatic control technologies. Monitor and Control Generated System (MCGS) configuration software was used to form the interaction interface. Real-time data report and the trend line cou...

Usually, testing smart card software is carried-out by specialized engineers in a proprietary language. Testing represents generally half of smart card development effort. With the increasing use of semi-formal and formal modeling languages, such as UML, and the emergence of automatic test generators in the industry, we have studied a way to adapt these techniques for smart card. In this articl...