software specification

A specification that cannot be tested is not a dependable basis for control software. A useful system requirements specification describes the…