Testing HMAS-based applications: An ASPECS-based approach

Dehimi, Nour El Houda; Mokhati, Farid; Badri, Mourad

doi:10.1016/j.engappai.2015.09.013

Cited by 11 publications

(2 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In Dehimi 2015 [17], we proposed a new model-based testing technique for holonic agents. The technique uses genetic algorithms and takes into account the evolution (successive versions) of an agent.…”

Section: Related Workmentioning

confidence: 99%

“…This level of testing, until now, aroused little interest from researchers compared to the interest shown in the first testing levels [15]. In fact, in recent years, only a few approaches have been proposed in the literature for system-level testing [16][17][18][19][20]. At this level of testing, the interactions between agents of the system under test can be performed in parallel, which causes, in the latter, the execution 2 of 23 of several behavioural scenarios, also, in a parallel direction.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

A Novel Mutation Analysis-Based Approach for Testing Parallel Behavioural Scenarios in Multi-Agent Systems

2022

Self Cite

View full text Add to dashboard Cite

In this work, we propose a new test case generation approach that can cover behavioural scenarios individually in a multi-agent system. The purpose is to identify, in the case of the detection of an error, the scenario that caused the detected error, among the scenarios running in parallel. For this, the approach used, in the first stage, the technique of mutation analysis and parallel genetic algorithms to identify the situations in which the agents perform the interactions, presented in the sequence diagram, of the scenario under test only; these situations will be considered as inputs of the test case. In the second stage, the approach used the activities presented in the activity diagram to identify the outputs of the test case expected for its inputs. Subsequently, the generated test cases will be used for the detection of possible errors. The proposed approach is supported by a formal framework in order to automate its phases, and it is applied to a concrete case study to illustrate and demonstrate its usefulness.

show abstract

Section: Related Workmentioning

confidence: 99%