Lucid is a test framework that is designed to treat testing as a design activity by allowing requirements to be defined as tests. Those tests can then be executed via an automation layer. This is the basis of creating executable specifications.