Използвам рамка за тестване на единици, за да тествам библиотеките си. Имам доста твърдения в библиотеката, за да се уверя, че грешките на програмиста се улавят в компилациите за отстраняване на грешки. Сега искам да съм сигурен, че тествам за всички възможни програмни грешки.
напр. в клас таблица искам да съм сигурен, че пропуските на редове и колони не са по-големи от редовете и колоните, които таблицата има. Да приемем, че забравям да тествам за cols. Бих искал моите модулни тестове да извършат тест, при който твърдението трябва да се задейства, и ако не, да провалят теста. Това възможно ли е?