1. Modeling Test Cases to Multi-Agent Systems Andrew Diniz da Costa andrew@les.inf.puc-rio.br

2. 2 © LES/PUC-Rio Motivation Test of software is a step very important of the development process. Depending on the amount of the tests is difficult to have a general view. Complex systems, such as Multi-Agent systems. How many test cases in the system? Which are the manual and automated tests?

3. 3 © LES/PUC-Rio Motivation Which are the tests that evaluate the correctness of each use case implemented? Use Case 2 Use Case 3 Use Case 4 Agent 1 Agent 2 Use Case Diagram Actor Use Case 1

4. 4 © LES/PUC-Rio Modeling Tests Test Diagram Execution Diagram

5. 5 © LES/PUC-Rio TC Test Diagram TC P P P Notation P Plan of Test Case TC Automated Test Case Mandatory Optional [min..max] Alternative Choice dependecy Manual Test Case TC

6. 6 © LES/PUC-Rio Modeling Tests Test Diagram TC P P

7. 7 © LES/PUC-Rio > We have a long time to execute the tests? long small Group of tests that must be executed, disconsidering the order <<Group of Plans>> Next execution Mandatory Next execution Optional Condition P P P P P P TC > TC > Plan Test Case Suite Final Notation Execution Diagram

8. 8 © LES/PUC-Rio Related Work UML Testing Profile –Test Architecture: the elements and their relationship which are involved in a test. –Test behaviour: which address the observations and activities during a test. –Test Data: the structures and meaning of values to be processed in a test. MDTester –Fraunhofer; –MDTester is a model-driven test tool based on the UTML (Unified Test Modeling Language) notation, which extends the UML Test Profile concepts with test engineering patterns. MDTester, http://www.fokus.fraunhofer.de/distrib/motion/utml/ UML Test Profile, http://www.omg.org/technology/documents/formal/test_profile.htm

9. 9 © LES/PUC-Rio Related Work Rational Test Manager –Tool that allows listing test cases, plans and suites. –It allows describing the design of each test case Rational Test Manager, http://www-01.ibm.com/software/awdtools/test/manager/

10. 10 © LES/PUC-Rio Proposal Verify the viability of the new diagrams that can be used in multi-agent system domains. Compare the new approach with UML Testing Profile and MDTester. Study Case: Geo Risk

11. 11 © LES/PUC-Rio Case Study GeoRisk

12. 12 © LES/PUC-Rio Case Study OWL Rain Model Qualitative Model Another Model OWL Web Services OWL-S ArcGIS API Case Tests - TDL DbUnit Tests Team Tests Test Data - QSDL Control loop to self- adaptation Applying Self-testing Good Service met!!

13. 13 © LES/PUC-Rio Case Study

14. 14 © LES/PUC-Rio Use Case

15. 15 © LES/PUC-Rio Orthogonal Modeling Test Diagram TC P P

16. 16 © LES/PUC-Rio Final Consideration Modeling the possible use cases that can be executed in the GeoRisk domain. From such modeling to identify which test cases evaluate the correctness of each use case implemented. Identify real contribution of the new approach.

17. The End