Test generation via symbolic simulation

  • Authors:

  • Frank Rimlinger

  • Affiliations:

  • US Dept. of Defense, Fort Meade, MD

  • Venue:
  • ACM SIGSOFT Software Engineering Notes
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

Abstract

The Mango extension project of JPF is an Eclipse Workbench plugin which creates a functional specification of Java source code. The specification is presented as a series of navigable pages within Eclipse views. Representative code examples containing faults are processed by Mango. The output specification views are then navigated for the purpose of discovering robust fault recognition rules for automated testing. This paper describes how the analyst and tool work together to generate a test for a selected vulnerability described in an Oracle publication, the exposition of confidential data by the exception handler mechanism.