System Validation via Constraint Modeling

dc.creator	Waters, Richard C.
dc.date	2004-10-04T14:36:57Z
dc.date	2004-10-04T14:36:57Z
dc.date	1988-02-01
dc.date.accessioned	2013-10-09T02:42:34Z
dc.date.available	2013-10-09T02:42:34Z
dc.date.issued	2013-10-09
dc.identifier	AIM-1020
dc.identifier	http://hdl.handle.net/1721.1/6051
dc.identifier.uri	http://koha.mediu.edu.my:8181/xmlui/handle/1721
dc.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).
dc.format	19 p.
dc.format	4031325 bytes
dc.format	1582417 bytes
dc.format	application/postscript
dc.format	application/pdf
dc.language	en_US
dc.relation	AIM-1020
dc.subject	constraints
dc.subject	validation
dc.subject	modeling
dc.subject	testing
dc.title	System Validation via Constraint Modeling

Files in this item

Files	Size	Format	View
There are no files associated with this item.