20-01-2016, 03:39 PM
Contents of the unit
Domains
Model, as a set, paths
Predicates
closure, dimensionality, assumptions
Nice & ugly domains
specified & implemented domains
Nice domains – properties, testing implications
Ugly domains, simplification by programmers & testers
Domain testing
Bugs & testing for those bugs
Testing procedure
Variations, tools, effectiveness
Domains & Interface Testing
Range, closure, span
Interface range, domain compatibility
Finding the values
Domains & Testability
Linearizing, coordinate transformations. Canonical program form