Title :
Model-Driven Quality Assurance for End Users
Author :
Bucuvalas, Steven ; Lewis, Clayton
Author_Institution :
ioSemantics LLC, Buffalo Creek
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.
Keywords :
software performance evaluation; software quality; ioRules system; model-based techniques; model-driven quality assurance; policy satisfaction; regression problem; software quality assurance problems; Application software; Computer science; Debugging; Error correction; Guidelines; Loans and mortgages; Pricing; Quality assurance; Software quality; USA Councils;
Conference_Titel :
Visual Languages and Human-Centric Computing, 2007. VL/HCC 2007. IEEE Symposium on
Conference_Location :
Coeur d´Alene, ID
Print_ISBN :
978-0-7695-2987-5
DOI :
10.1109/VLHCC.2007.29
