GSpec is a Go testing framework that makes it easy to organize and verify the mind model of software.