CucumberSpec is a tool that combines Behavior-Driven Testing (BDT) using Gherkin with Model-Based Testing (MBT). It generates a test model from Gherkin scenario files, allowing automated generation of test cases. This provides benefits of both BDT like common language and MBT like exhaustive testing. The document demonstrates CucumberSpec by modeling and testing requirements for an AR drone using Gherkin scenarios and SpecExplorer modeling.