Abstract:Unit testing, a common step in software development, presents a challenge. When produced manually, unit test suites are often insufficient to identify defects. The main alternative is to use one of a variety of automatic unit-test generation tools: these are able to produce and execute a large number of test inputs that extensively exercise the unit under test. However, without a priori specifications, programmers need to manually verify the outputs of these test executions, which is generally impractical. To reduce this cost, unit-test selection techniques may be used to help select a subset of automatically generated test inputs. Then programmers can verify their outputs, equip them with test oracles, and put them into the existing test suite. In this paper, we present the operational violation approach for unit-test generation and selection, a black-box approach without requiring a priori specifications. The approach dynamically generates operational abstractions from executions of the existing unit test suite. These operational abstractions guide test generation tools to generate tests to violate them. The approach selects those generated tests violating operational abstractions for inspection. These selected tests exercise some new behavior that has not been exercised by the existing tests. We implemented this approach by integrating the use of Daikon (a dynamic invariant detection tool) and Parasoft Jtest (a commercial Java unit testing tool), and conducted several experiments to assess the approach.

Perspectives on Automated Testing of Aspect-Oriented Programs

Verifying Aspect-Oriented Programs Using Open Temporal Logic

A Test Automation Solution On Gui Functional Test

A Framework and Tool Supports for Generating Test Inputs of AspectJ Programs

Automated Evolutionary Test Data Generation with Domain Reduction for Aspect-Oriented Programs

Automated test data generation for aspect-oriented programs

An Automatic Test Coverage Analysis For Systemc Description Using Aspect-Oriented Programming

Automated Test Generation for AspectJ Programs

Testing Aspect-Oriented Programs with Finite State Machines.

Detecting Redundant Unit Tests for AspectJ Programs

Automatic identification of common and special object-oriented unit tests.

Bridging the gap between requirements and aspect state machines to support non-functional testing: industrial case studies

Advances on Improving Automation in Developer Testing.

Automated Software Testing in the Absence of Specifications

An automatic coverage analysis for systemc using UML and aspect-oriented technology

Static and Dynamic Quality Assurance by Aspect Oriented Techniques

Automated Testing of Pointcuts in AspectJ Programs.

Improving Effectiveness of Automated Software Testing in the Absence of Specifications

A Framework of Testing As a Service

Tool-assisted Unit-Test Generation and Selection Based on Operational Abstractions

Interface-Based Automated Testing for Open Software Architecture.