Model-Driven Quality Assurance for End Users

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.