Model-Driven Quality Assurance for End Users

  • Authors:
  • Steven Bucuvalas;Clayton Lewis

  • Affiliations:
  • ioSemantics LLC, USA;University of Colorado, USA

  • Venue:
  • VLHCC '07 Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

The ioRules system uses model-based techniques to solve two classes of software quality assurance problems: policy satisfaction, and regression. In a policy problem, the user wants to know whether a program being evaluated satisfies a policy that is critical in the application domain. In a regression problem, the user wants to know whether a modified version of a program implements the same functionality as some original baseline. The system also allows the end user to browse a model of their program, viewing its behavior flexibly from multiple perspectives.