Software Testing Methodologies Dichotomies

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