XINFORMAÇÕES SOBRE DIREITOS AUTORAIS
As obras disponibilizadas nesta Biblioteca Digital foram publicadas sob expressa autorização dos respectivos autores, em conformidade com a Lei 9610/98.
A consulta aos textos, permitida por seus respectivos autores, é livre, bem como a impressão de trechos ou de um exemplar completo exclusivamente para uso próprio. Não são permitidas a impressão e a reprodução de obras completas com qualquer outra finalidade que não o uso próprio de quem imprime.
A reprodução de pequenos trechos, na forma de citações em trabalhos de terceiros que não o próprio autor do texto consultado,é permitida, na medida justificada para a compreeensão da citação e mediante a informação, junto à citação, do nome do autor do texto original, bem como da fonte da pesquisa.
A violação de direitos autorais é passível de sanções civis e penais.
As obras disponibilizadas nesta Biblioteca Digital foram publicadas sob expressa autorização dos respectivos autores, em conformidade com a Lei 9610/98.
A consulta aos textos, permitida por seus respectivos autores, é livre, bem como a impressão de trechos ou de um exemplar completo exclusivamente para uso próprio. Não são permitidas a impressão e a reprodução de obras completas com qualquer outra finalidade que não o uso próprio de quem imprime.
A reprodução de pequenos trechos, na forma de citações em trabalhos de terceiros que não o próprio autor do texto consultado,é permitida, na medida justificada para a compreeensão da citação e mediante a informação, junto à citação, do nome do autor do texto original, bem como da fonte da pesquisa.
A violação de direitos autorais é passível de sanções civis e penais.
Coleção Digital
Título: A MODEL-BASED TESTING APPROACH FOR NORMATIVE AUTONOMOUS SYSTEMS Autor: FRANCISCO JOSE PLACIDO DA CUNHA
Instituição: PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO - PUC-RIO
Colaborador(es):
CARLOS JOSE PEREIRA DE LUCENA - ADVISOR
Nº do Conteudo: 57355
Catalogação: 09/02/2022 Idioma(s): PORTUGUESE - BRAZIL
Tipo: TEXT Subtipo: THESIS
Natureza: SCHOLARLY PUBLICATION
Nota: Todos os dados constantes dos documentos são de inteira responsabilidade de seus autores. Os dados utilizados nas descrições dos documentos estão em conformidade com os sistemas da administração da PUC-Rio.
Referência [pt]: https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=57355@1
Referência [en]: https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=57355@2
Referência DOI: https://doi.org/10.17771/PUCRio.acad.57355
Resumo:
Título: A MODEL-BASED TESTING APPROACH FOR NORMATIVE AUTONOMOUS SYSTEMS Autor: FRANCISCO JOSE PLACIDO DA CUNHA
Nº do Conteudo: 57355
Catalogação: 09/02/2022 Idioma(s): PORTUGUESE - BRAZIL
Tipo: TEXT Subtipo: THESIS
Natureza: SCHOLARLY PUBLICATION
Nota: Todos os dados constantes dos documentos são de inteira responsabilidade de seus autores. Os dados utilizados nas descrições dos documentos estão em conformidade com os sistemas da administração da PUC-Rio.
Referência [pt]: https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=57355@1
Referência [en]: https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=57355@2
Referência DOI: https://doi.org/10.17771/PUCRio.acad.57355
Resumo:
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.
| Descrição | Arquivo |
| COMPLETE |
