effectivesoftwaredesign.com
The Liskov Substitution Principle and Test-Driven Development
The Substitution Principle, first defined by Barbara Liskov, says that: “Let q(x) be a property provable about objects x of type T. Then q(y) should be true for objects y of type S where S is a sub…