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

Model-Based MCDC Testing of Complex Decisions for the Java Card Applet Firewall

Authors:
Roderick Bloem
Karin Greimel
Robert Koenighofer
Franz Roeck

Keywords: automatic test case generation; common criteria; java card applet firewall

Abstract:
Certification processes require the generation of models of a design. Using Model-Based Testing, these models can double as guides for test case generation. In this paper, we consider Boolean formulas that model a decision to be taken by a part of the software. We show how to use an SMT-solver to generate test cases that fulfill the MCDC coverage criteria on these models, in the presence of strong coupling. We show that the approach can improve test coverage, and finds a bug in an implementation of the Java Card Applet Firewall.

Pages: 1 to 6

Copyright: Copyright (c) IARIA, 2013

Publication date: October 27, 2013

Published in: conference

ISSN: 2308-4316

ISBN: 978-1-61208-307-0

Location: Venice, Italy

Dates: from October 27, 2013 to October 31, 2013