Fig. 2

An example of an edge case; a large model of a dog travelling on a car may be classified as an animal, but its behaviour (travelling at speed) may not correspond with system expectations. This Photo by Unknown Author is licensed under CC BY-SA