1. Testing with Filmstrips Tony Clark School of Computing Thames Valley University [email_address] http://itcentre.tvu.ac.uk/~clark/

4. Testing with Filmstrips

6. A Case Study

7. Basic Use Cases

8. UML Meta Model for Use Cases

9. Proposed Extension

10. Extended Use Case Model

11. An Approach to DSL Design

12. Filmstrip Semantic Domain context Filmstrip inv : steps = children->iterate(c s = Seq{} | s + c.steps) context Filmstrip inv : steps->asBag = merged->iterate(c s = Seq{} | s + c.steps)->asBag

13. Basic Semantic Mapping context BasicSatisfaction inv : spec.inv->forAll(c | filmstrip.steps->forAll(s | c.satisfiedBy(s.before,env) and c.satisfiedBy(s.after,env))) context BasicSatisfaction inv : spec.pre->forAll(c | c.satisfiedBy(filmstrip.steps->first.before,env)) and spec.post->forAll(c | c.satisfiedBy(filmstrip.steps->last.before,env))

14. Sequenced Behaviour context SeqSatisfaction inv : filmstrip.children = children.filmstrip and children.spec = spec.children

15. Alternative Behaviour context AltSatisfaction inv : children->exists(r | r.filmstrip = filmstrip)

16. Parallel Behaviour context ParSatisfaction inv : children->filmstrip = filmstrip.merged and par.children = children.spec

17. Behaviour Repetition context StarSatisfaction inv : filmstrip.children->forAll(c | c = basicSatisfaction.filmstrip)

22. Connecting to Java Java Application Filmstrip Specification Filmstrip Engine Report Use Case Model

23. Demo