We have implemented an experimental test development environment (TDE) intended to raise the effectiveness of tests produced for GUI systems, and raise the productivity of the GUI system tester.The environment links a test designer, a test design library, ...

Testing software against failure rapidly, efficiently and comprehensively is of vital importance to software programmers and designers. Complete testing is far too slow and costly. Randomized testing can suffer from deficiencies of the pseudo-random ...

Specification-based verification is increasingly beingused when designing systems. In verification, the programunder test is executed repeatedly and the obtained outputsand/or other parameters are compared against the expectedvalues. This ensures that ...

The goal of this work is to improve the testing of programs that contain loops and complex methods. We achieve this goal with verification-based testing, which is a technique that can generate test cases not only from source code but also from loop invariants ...

We propose in this paper to use DHT networks to cope with test generation for very large and complex systems. Indeed, conformance testing is known to be impracticable for this kind of systems. After a brief description of our first distributed environment ...

The addition of new thread types and new memory areas by the Real-Time Specification for Java™ (RTSJ) [1] introduces new failure modes for existing class libraries. Existing tests for these class libraries will not cover execution with RTs, NHRTs ...

Search-based test case generation for object-oriented software is hindered by the size of the search space, which encompasses the arguments to the implicit and explicit parameters of the test object's public methods. The performance of this type of search ...

Testing for time-related behaviors of PLC software is important and should be performed carefully. We propose a structural testing technique on Function Block Diagram(FBD) networks including timer function blocks. In order to test FBD networks including ...

The automation test is a useful method for test the standard platform that is equipped with APIs (application program interface) that observe the standard. But their test case codes use APIs that is the test target. And that is the reason that test of ...

Test coverage is sometimes used as a way to measure how thoroughly software is tested. Coverage is used by software developers and sometimes by vendors to indicate their confidence in the readiness of their software. This survey studies and compares ...

Pervasive context-aware software is an emerging kind of application. Many of these systems register parts of their context-aware logic in the middleware. On the other hand, most conventional testing techniques do not consider such kind of application ...

Many systematic methods help to produce a comprehensive repository of test cases that contain no redundancy from the specification point of view. When the repository cannot be tested in its entirety owing to resource constraints, there is a need to select ...

The capability of model checkers to construct counterexamples provides a basis for automated test generation. However, many model checking-based testing approaches just focus on generating test sets with respect to some coverage criteria. Such test sets ...

This paper presents a concept and tools for the detectionand visualisation of differences between versions of graphicalsoftware documents such as ER, class or object diagrams,state charts, etc. We first analyse the problems whichoccur when comparing ...

Adoption of model-driven development is leading to increased use of models jointly with source code for software testing, by means of Model-Based Testing (MBT). MBT uses models to derive concrete test cases to test code. With MBT, test adequacy criteria ...

A software package evolves in time through various maintenance release steps whose effectiveness depends mainly on the number of faults left in the modules. The testing phase is therefore critical to discover these faults. The purpose of this paper is ...

Regression testing, which is performed after changes are made to a software system, can be used before release of new versions of the system. However, practitioners often have little time to perform this regression testing because of the quick-release ...

Although graphical user interfaces (GUIs) constitute a large part of the software being developed today and are typically created using rapid prototyping, there are no effective regression testing techniques for GUIs. The needs of GUI regression testing ...