Smartesting is an independent software vendor and test solution provider founded in 2003 in France. It has 30 employees across offices in France, the Netherlands, and India. Smartesting uses agile practices like stand-up meetings, pair programming, and continuous integration. Model-based testing is used to generate test cases from behavioral models of the system under test. This approach helps improve test coverage and allows tests to more easily adapt to changes. Questions are welcomed.

1. Agility and quality Frédéric OEHL (SMARTESTING) oehl@smartesting.com - October 30th-

2. Smartesting Independent Software Vendor and test solution provider, founded in 2003, privately hold Spin-off of a Computer Science Lab in France (CNRS / INRIA) 30 people, R&D Center in Besançon, offices in Paris, Amsterdam and Bangalore Awards ‘ Prix de l’Innovation Oséo-Anvar’, ‘Prix Best Innov Capital IT 2007’ ‘Prix de l’entreprise d’avenir 2006 Ernst&Young’ Supported by venture capitalists

3. Smartesting: an agile company! Stand-up Meeting Pair Programming Continuous Integration Sprint backlog Etc.

4. Pre-requisites Communication Test Driven Development Customer provides acceptance tests Developers write unit tests first Continuous integration Building tool: ant, maven, etc. Build manager: Hudson, Cruisecontrol, etc.

5. Lisa Crispin & Janet Gregory’s Quadrant Unit tests Component tests Functional tests Examples Story tests Simulations Prototypes Exploratory testing Scenarios Usability testing User Acceptance testing Alpha/Beta Performance & load testing Security testing « ility » testing Business-Facing Technology-Facing Supporting the team Critique product Automated Automated & Manual Manual Tools

6. Mike Cohn’s Test Pyramid Increasing trust Behaving like expected GUI tests Acceptance tests Unit/Component tests

7. Challenges During one iteration : Functional changes Technical changes Automating tests for the iteration Exploratory testing

8. Model-Based Testing Generation of test cases with oracles from a behavioural model (e.g. state machine) of the system under test.

9. Approach

10. ServiDirect: Online insurance subscription

11. Model the entities MBT with Smartesting

12. MBT with Smartesting Initial configuration of SUT

13. MBT with Smartesting Model the behaviour New Screen!!

14. MBT & Agility Individuals & interactions Testers & developers are working together Working software Increasing test coverage Customer collaboration Test models are unambiguous communication tools Responding to change Test models are easier to update than large test suites

15. Books Agile Testing: A Practical Guide for Testers and Agile Teams ( Lisa Crispin and Janet Gregory) Industrialiser le test fonctionnel : Des exigences métier au référentiel de tests automatisés (Bruno Legeard, Fabrice Bouquet, Natacha Pickaert)

16. Questions?