Qr-model based testing

Authors:
Harald Brandl;Gordon Fraser;Franz Wotawa
Affiliations:
Graz University of Technology, Graz, Austria;Graz University of Technology, Graz, Austria;Graz University of Technology, Graz, Austria
Venue:
Proceedings of the 3rd international workshop on Automation of software test
Year:
2008

Citing 4
Cited 2

A qualitative physics based on confluences

Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Qualitative process theory

Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Qualitative simulation: then and now

Artificial intelligence in perspective
TGV: theory, principles and algorithms: A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems

International Journal on Software Tools for Technology Transfer (STTT) - Special section on high-level test of complex systems

Conformance Testing of Hybrid Systems with Qualitative Reasoning Models

Electronic Notes in Theoretical Computer Science (ENTCS)
Qualitative Action Systems

ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

As reactive and embedded systems continuously interact with their environment, it is important to test as many as possible interactions. The use of qualitative models of the environment and hardware has the potential to provide test cases that might not be considered with traditional testing methods. We present an approach that derives abstract test cases from such models using qualitative reasoning, which is a well known artificial intelligence technique to represent and reason about physical behavior. For this purpose we introduce the underlying concepts of qualitative reasoning, show the test case generation process, and provide the results of a case study.