Home // VALID 2015, The Seventh International Conference on Advances in System Testing and Validation Lifecycle // View article

Automatic Falsification of Java Assertions

Authors:
Rafael Caballero
Manuel Montenegro
Herbert Kuchen
Vincent Von Hof

Keywords: assertion; automatic test-case generation; program transformation

Abstract:
We present an approach for the static detection of possible assertion violations in Java. The main idea is to use an existing test-case generator in combination with a new program transformation. A possible assertion violation is indicated by a generated specific test case. In addition, this test case specifies the path in the program leading to the assertion violation. This heuristic approach is a compromise between the usual but too late detection of an assertion violation at runtime and an often too expensive complete analysis based on a model checker.

Pages: 36 to 41

Copyright: Copyright (c) IARIA, 2015

Publication date: November 15, 2015

Published in: conference

ISSN: 2308-4316

ISBN: 978-1-61208-441-1

Location: Barcelona, Spain

Dates: from November 15, 2015 to November 20, 2015