Specification-based testing aims to assure what the software does — i.e. “does it work to specification?” — not how it does it.