Where do these domains come from?
- Domains are defined by an imperfect iterative process which aims at achieving the satisfaction of user, buyer, voter etc..
- The domains which are implemented cant be incomplete or inconsistent, and processing of every input will be done (rejection is a process), possibly forever
- Conversely, specified domains can be incomplete and/or inconsistent
- Incomplete implies that there are input vectors which have no specific path
- Inconsistent implies that the same segment of the input space has at least two contradictory specification
- Some important properties of nice domains are: linear, complete, systematic, orthogonal, consistently closed, convex and simply connected
- Domain testing gets better and easier if the domains posses the properties which are mentioned above
- The nice domains have lesser bug frequency than the ugly domains
Post a Comment
Post a Comment