Aplicação da lógica paraconsistente anotada evidencial EϮ em engenharia de requisitos e interface homem-computador

Resumo

O presente estudo teve por objetivo analisar a aplicação da Lógica Paraconsistente Evidencial Eτ como apoio na tomada de decisão, em duas subáreas do processo de desenvolvimento de software: Engenharia de Requisitos e Interface Homem Computador. Dentro da subárea Engenharia de Requisitos, os métodos ágeis utilizam, como técnica para elicitar requisitos, a História de Usuário. Entretanto, desenvolvedores e usuários têm dificuldades para entender essas Histórias, o que pode gerar, entre eles, contradições que resultam em métricas inexatas. Este estudo apresenta um modelo de validação da História do Usuário que utiliza o algoritmo Para-analisador, a fim de contribuir para o aperfeiçoamento do processo de avaliação, estimativa e priorização dessas Histórias. Para chegar a esse modelo, foi desenvolvida uma pesquisa qualitativa, aplicando um survey, para avaliar Histórias de Usuário obtidas de um time Scrum em uma empresa de tecnologia. O modelo proposto contempla, como fator de análise, o conceito INVEST: Independente, Negociável, Valiosa, Estimável, Pequena e Testável. O estudo apresenta o resultado da análise dos dados, com base na opinião emitida pelos especialistas. Foi constatado que duas histórias possuíam grau de evidências favoráveis satisfatórias para serem trabalhadas em um Sprint. Porém, conclui-se que nenhuma delas podia ser desenvolvida em um Sprint, devendo, portanto, ser enviada para reavaliação dos especialistas. Dentro da subárea Interface Homem Computador, a opinião da experiência do usuário com determinado produto de software é afetada por sua usabilidade, semelhante à experiência do usuário (UX) que determina se um aplicativo atende às expectativas. Assim, a avaliação da usabilidade é necessária, para melhorar a qualidade do software. A Escala de Usabilidade do Sistema afere a experiência do usuário com o sistema, apresentando 10 questões que se contradizem. O presente trabalho tem como objetivo evidenciar um detalhamento das contradições, utilizando a Lógica Paraconsistente Anotada Evidencial Eτ, por meio da aplicação de um survey, em onze profissionais que aferiram um sistema com o qual trabalham. Foi elaborada uma confrontação dos resultados do índice da escala SUS com o algoritmo Para-analisador, aplicando o par (μ; λ), classificando as questões pares para μ e as questões ímpares para λ. O SUS apresentou um resultado com a Escala de Usabilidade do Sistema (76,59), significando uma avaliação positiva da usabilidade. O resultado do Para-analisador exibiu a média global (0,75; 0,25), apontando um resultado similar ao SUS e, ainda, evidenciando dois itens contraditórios. A avaliação da usabilidade foi aperfeiçoada, demonstrando que os respondentes concordaram em nove atributos da usabilidade. Entretanto, ocorreu uma discordância em um item, uma vez que cinco respondentes atribuíram valores altos a duas questões contraditórias, indicando uma contradição na avaliação. Este resultado pode apontar falta de entendimento do significado das questões do instrumento, o que poderia indicar a necessidade de capacitar os participantes antes do começo do processo. A contribuição principal deste trabalho foi utilizar o Para-analisador junto com a avaliação da usabilidade de um software, pois essa condição permitiu uma análise mais criteriosa, já que ele trabalha com o par (μ; λ), o que possibilita aferir os resultados em duas dimensões.