Modeling Test Cases to Multi-Agent Systems

Andrew Diniz da Costa

andrew@les.inf.puc-rio.br

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© 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

4© LES/PUC-Rio

Modeling Tests

• Test Diagram

• Execution Diagram

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

6© LES/PUC-Rio

Modeling Tests

Test Diagram

TC

P

TC TC

P

TC TC

TC

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

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© 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© 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© LES/PUC-Rio

Case Study

• GeoRisk

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!!

13© LES/PUC-Rio

Case Study

14© LES/PUC-Rio

Use Case

15© LES/PUC-Rio

Orthogonal Modeling

Test Diagram

TC

P

TC TC

P

TC TC

TC

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.

The End