Please use this identifier to cite or link to this item: http://dspace.mediu.edu.my:8181/xmlui/handle/1721.1/6051
Title: System Validation via Constraint Modeling
Keywords: constraints
validation
modeling
testing
Issue Date: 9-Oct-2013
Description: Constraint modeling could be a very important system validation method, because its abilities are complementary to both testing and code inspection. In particular, even though the ability of constraint modeling to find errors is limited by the simplifications which are introduced when making a constraint model, constraint modeling can locate important classes of errors which are caused by non-local faults (i.e., are hard to find with code inspection) and manifest themselves as failures only in unusual situations (i.e., are hard to find with testing).
URI: http://koha.mediu.edu.my:8181/xmlui/handle/1721
Other Identifiers: AIM-1020
http://hdl.handle.net/1721.1/6051
Appears in Collections:MIT Items

Files in This Item:
There are no files associated with this item.


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.