second level of correctness

второй уровень корректности (программа не только выполняется, но и делает то, что соответствует утверждённым требованиям к программному обеспечению