1、computational faults and boundary shifts
2、Definition:
(i) A path condition is the condition that must be satisfied by the input data for that path to be
executed.
(ii) A domain is the set of input data satisfying a path condition.
(iii) A domain boundary is the boundary of a domain. It typically corresponds to a simple predicate.
3、two distinctly different types of boundary:
closed boundaries and open boundaries.
4、A closed boundary is a domain boundary where the points on the boundary belongs to the do-
main, and is defined using an operator that contains an equality
5、An open boundary is a domain boundary which is not closed, and is defined using a strict inequality.
6、 An on point is a point on the boundary of an equivalence
7、 An off point is a point just off the boundary of an equivalence class.
8、 guidelines to select test cases
1.If a boundary is a strict equality, fo