modeling test cases to multi-agent systems andrew diniz da costa
DESCRIPTION
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 1TRANSCRIPT
![Page 1: Modeling Test Cases to Multi-Agent Systems Andrew Diniz da Costa](https://reader031.vdocuments.mx/reader031/viewer/2022012914/5a4d1b1f7f8b9ab059994a6c/html5/thumbnails/1.jpg)
Modeling Test Cases to Multi-Agent Systems
Andrew Diniz da Costa
![Page 2: Modeling Test Cases to Multi-Agent Systems Andrew Diniz da Costa](https://reader031.vdocuments.mx/reader031/viewer/2022012914/5a4d1b1f7f8b9ab059994a6c/html5/thumbnails/2.jpg)
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?
![Page 3: Modeling Test Cases to Multi-Agent Systems Andrew Diniz da Costa](https://reader031.vdocuments.mx/reader031/viewer/2022012914/5a4d1b1f7f8b9ab059994a6c/html5/thumbnails/3.jpg)
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 4Agent 1
Agent 2
Use Case Diagram
ActorUse Case 1
![Page 4: Modeling Test Cases to Multi-Agent Systems Andrew Diniz da Costa](https://reader031.vdocuments.mx/reader031/viewer/2022012914/5a4d1b1f7f8b9ab059994a6c/html5/thumbnails/4.jpg)
4© LES/PUC-Rio
Modeling Tests
• Test Diagram
• Execution Diagram
![Page 5: Modeling Test Cases to Multi-Agent Systems Andrew Diniz da Costa](https://reader031.vdocuments.mx/reader031/viewer/2022012914/5a4d1b1f7f8b9ab059994a6c/html5/thumbnails/5.jpg)
5© LES/PUC-Rio
TC
Test Diagram
TC
P
TC TC
P
TC
P
Notation
P
Plan of Test CaseTC
AutomatedTest Case Mandatory
Optional [min..max]
Alternative Choice
dependecyManualTest Case
TC
![Page 6: Modeling Test Cases to Multi-Agent Systems Andrew Diniz da Costa](https://reader031.vdocuments.mx/reader031/viewer/2022012914/5a4d1b1f7f8b9ab059994a6c/html5/thumbnails/6.jpg)
6© LES/PUC-Rio
Modeling Tests
Test Diagram
TC
P
TC TC
P
TC TC
TC
![Page 7: Modeling Test Cases to Multi-Agent Systems Andrew Diniz da Costa](https://reader031.vdocuments.mx/reader031/viewer/2022012914/5a4d1b1f7f8b9ab059994a6c/html5/thumbnails/7.jpg)
7© LES/PUC-Rio
<<Group of Plans>>
<<Group of Plans>>
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
<<suite>>
<<suite>>
TC
<<suite>>
Plan
Test Case
Suite
Final Notation
Execution Diagram
![Page 8: Modeling Test Cases to Multi-Agent Systems Andrew Diniz da Costa](https://reader031.vdocuments.mx/reader031/viewer/2022012914/5a4d1b1f7f8b9ab059994a6c/html5/thumbnails/8.jpg)
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
![Page 9: Modeling Test Cases to Multi-Agent Systems Andrew Diniz da Costa](https://reader031.vdocuments.mx/reader031/viewer/2022012914/5a4d1b1f7f8b9ab059994a6c/html5/thumbnails/9.jpg)
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/
![Page 10: Modeling Test Cases to Multi-Agent Systems Andrew Diniz da Costa](https://reader031.vdocuments.mx/reader031/viewer/2022012914/5a4d1b1f7f8b9ab059994a6c/html5/thumbnails/10.jpg)
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
![Page 11: Modeling Test Cases to Multi-Agent Systems Andrew Diniz da Costa](https://reader031.vdocuments.mx/reader031/viewer/2022012914/5a4d1b1f7f8b9ab059994a6c/html5/thumbnails/11.jpg)
11© LES/PUC-Rio
Case Study
• GeoRisk
![Page 12: Modeling Test Cases to Multi-Agent Systems Andrew Diniz da Costa](https://reader031.vdocuments.mx/reader031/viewer/2022012914/5a4d1b1f7f8b9ab059994a6c/html5/thumbnails/12.jpg)
12© LES/PUC-Rio
Case Study
OWL
Rain Model
Qualitative Model
Another Model
OWL
OWL
Web Services
OWL-S ArcGIS API
Case Tests - TDL
DbUnitTests
TeamTests
Test Data - QSDL
Control loopto self-
adaptation
Applying Self-testing
Good Service met!!
![Page 13: Modeling Test Cases to Multi-Agent Systems Andrew Diniz da Costa](https://reader031.vdocuments.mx/reader031/viewer/2022012914/5a4d1b1f7f8b9ab059994a6c/html5/thumbnails/13.jpg)
13© LES/PUC-Rio
Case Study
![Page 14: Modeling Test Cases to Multi-Agent Systems Andrew Diniz da Costa](https://reader031.vdocuments.mx/reader031/viewer/2022012914/5a4d1b1f7f8b9ab059994a6c/html5/thumbnails/14.jpg)
14© LES/PUC-Rio
Use Case
![Page 15: Modeling Test Cases to Multi-Agent Systems Andrew Diniz da Costa](https://reader031.vdocuments.mx/reader031/viewer/2022012914/5a4d1b1f7f8b9ab059994a6c/html5/thumbnails/15.jpg)
15© LES/PUC-Rio
Orthogonal Modeling
Test Diagram
TC
P
TC TC
P
TC TC
TC
![Page 16: Modeling Test Cases to Multi-Agent Systems Andrew Diniz da Costa](https://reader031.vdocuments.mx/reader031/viewer/2022012914/5a4d1b1f7f8b9ab059994a6c/html5/thumbnails/16.jpg)
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.
![Page 17: Modeling Test Cases to Multi-Agent Systems Andrew Diniz da Costa](https://reader031.vdocuments.mx/reader031/viewer/2022012914/5a4d1b1f7f8b9ab059994a6c/html5/thumbnails/17.jpg)
The End