I’ve been formalizing behaviors to requirements and building more end to end tests to verify them. In reality, every requirement needs a verification element. Secondly, building traceability in your unit/integration tests helps “keep it honest” about how much it has built and verified.

Mostly I’m borrowing heavily from model based systems engineering and adapting it to some form of constitutional spec driven development.