Systems Testing with BDD