1 |
[en] A MODEL-BASED TESTING APPROACH FOR NORMATIVE AUTONOMOUS SYSTEMS / [pt] UMA ABORDAGEM DE TESTE BASEADA EM MODELO PARA SISTEMAS NORMATIVOS AUTÔNOMOSFRANCISCO JOSE PLACIDO DA CUNHA 09 February 2022 (has links)
[pt] O uso de sistemas baseados em agentes é adequado à construção de software complexo. Para garantir uma ordem social desejável é preciso lidar com a autonomia e a diversidade de interesses dos agentes e as normas são mecanismos eficientes de controle usados para regular o comportamento dos agentes. O teste de software continua sendo amplamente aplicado para garantir a qualidade do software. No contexto de sistemas multiagentes normativos, os testes devem lidar com a necessidade dos agentes
atuarem de forma robusta sob condições normativas dinâmicas as quais os desenvolvedores não consideraram. Neste contexto, propomos uma abordagem para testar agentes normativos que seguem o modelo belief-desire-intention. Como contribuições, esta tese apresenta: um framework para desenvolvimento de agentes BDI normativos, o NBDI4JADE; um modelo modelo de faltas para apoiar a identificação dos diferentes tipos de falhas em agentes normativos; um framework para testar agentes BDI normativos, o N-JAT4BDI e, um método para geração de casos de teste a partir de modelos ANA-ML dos agentes. Avaliamos o framework de teste através de um estudo experimental no qual discutimos a eficiência e a eficácia do framework. Avaliamos, também, a eficácia do método de geração de casos de teste,aplicando-o a dois cenários de uso: (i) um sistema para gerenciar a submissão e o processo de revisão de artigos em conferências, e (ii) um sistema de venda de pacotes turísticos de uma agência de viagens. Os resultados obtidos nas avaliações de ambos os frameworks apresentam indícios positivos da eficiência e eficácia na detecção e identificação de falhas em agentes normativos e eficiência na geração dos casos de teste. / [en] The use of agent-based systems is suitable for the construction of
complex software. To guarantee a desirable social order one we must deal
with the autonomy and diversity of interests of the agents and norms are
efficient mechanisms of control used to regulate the behavior of the agents.
Software testing still have been widely applied to ensure the software quality.
In the context of normative multiagent systems, the test must deal with the
need for the agents to act robustly under dynamic normative conditions
in which the developers did not consider. In this context, we propose an
approach to test normative agents that follow the belief-desire-intention
model. Among the contributions, this thesis presents: a framework for
development of normative BDI agents, the NBDI4JADE; a fault model
to support the identification of different types of failures in normative
agents; a framework for testing normative BDI agents, the N-JAT4BDI,
and a method for generating test cases from ANA-ML models.We evaluated
the test framework through an experimental study in which we discussed
the efficiency and effectiveness of the framework. We also evaluate the
effectiveness of the test case generation method, applying it to two usage
scenarios: (i) a system to the manage submission and the review process
of articles in conferences, and (ii) a system of sale of tour packages from a
travel agency. The results obtained in the evaluations of both frameworks
presented positive indications of efficiency and effectiveness in the detection
and identification of failures in normative agents and efficiency in the
generation of test cases.
|
Page generated in 0.0462 seconds