CPA/Tiger-MGP: test-goal set partitioning for efficient multi-goal test-suite generation

Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines

Software testing is still the most established and scalable quality-assurance technique in practice. However, generating effective test suites remains computationally expensive, consisting of repetitive reachability analyses for multiple test goals according to a coverage criterion. This situation is even worse when testing entire software product lines, i.e., families of similar program varian...

On facilitating reuse in multi-goal test-suite generation for software product lines

Software testing is still the most established and scalable quality-assurance technique in practice today. However, generating effective test suites remains computationally expensive, consisting of repetitive reachability analyses for multiple test goals according to a coverage criterion. This situation is even worse when it comes to testing of entire software product lines (SPL). An SPL consis...

Goal-oriented dynamic test generation

Generating Goal-Oriented Test Cases

This paper describes an AI planner assisted approach to generate test cases for system testing based on high level test objectives. Test generation is based on an extended UML model of the system under test and a mapping of high-level test objectives into initial and goal conditions of the planner. We illustrate the use of this approach on a series of high level test objectives one might apply ...

Structured System Test Suite Generation Process for Multi-Agent System

In recent years, Agent-Oriented Software Engineering (AOSE) methodologies are proposed to develop complex distributed systems based upon the agent paradigm. The implementation for such systems has usually the form of Multi-Agent Systems (MAS). MAS’ testing is a challenging task because these systems are often programmed to be autonomous and deliberative, and they operate in an open world, which...