DocumentCode
1803368
Title
Model-Driven Quality Assurance for End Users
Author
Bucuvalas, Steven ; Lewis, Clayton
Author_Institution
ioSemantics LLC, Buffalo Creek
fYear
2007
fDate
23-27 Sept. 2007
Firstpage
175
Lastpage
178
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/VLHCC.2007.29
Filename
4351344
Link To Document