Publicação
Análise de cenários para especificação de interfaces web
| Resumo: | O Desenvolvimento Orientado pelo Comportamento (Behaviour-Driven-Development, BDD) é um paradigma de desenvolvimento de software que permite especificar as necessidades dos utilizadores e os seus critérios de aceitação. A especificação de um sistema é feita através da descrição de cenários de utilização que serão depois implementados. Rocha Silva (2022) propôs uma linguagem de especificação de cenários de utilização, para interfaces web, que utiliza os widgets da própria interface na especificação, permitindo não só especificar os requisitos do sistema, mas também referir como estes deverão ser implementados. No processo de BDD podem surgir na especificação cenários contraditórios que, passando despercebidos, podem levar a que a especificação tenha de ser revista na fase de implementação. Todo este processo acarreta custos, pelo que surgiu a necessidade de criar um método de determinar se uma interface está especificada sem quaisquer contradições (isto é, se a especificação é ou não consistente na descrição do sistema). O objetivo deste trabalho é então definir um método que permite, para uma interface web especificada na linguagem proposta por Rocha Silva (2022), determinar se a especificação apresenta ou não contradições (ou seja, é inconsistente) nos seus cenários. Para cumprir este objetivo será utilizada a ferramenta IVY workbench que permite analisar, de forma automática, modelos escritos em MAL interactors do comportamento de sistemas interativos (permitindo verificar propriedades sobre estes). O primeiro passo do projeto será, então, desenvolver uma ferramenta (o modelador) capaz de traduzir uma interface web especificada na linguagem proposta por Rocha Silva (2022) para MAL interactors, de modo a que esta possa ser analisada na ferramenta IVY Workbench. Depois, serão ainda apresentadas as propriedades CTL que serão verificadas na ferramenta IVY Workbench para determinar se uma determinada especificação é consistente. Por fim, será apresentado um método de, utilizando a ferramenta IVY Workbench e o modelo em MAL interactors gerado pelo modelador com as devidas propriedades CTL, determinar não só se a especificação é inconsistente mas, caso o seja, os cenários que dão origem a essa inconsistência. |
|---|---|
| Autores principais: | Gonçalves, Rui Alexandre da Costa |
| Assunto: | BDD Widget IVY Workbench MAL interactors CTL |
| Ano: | 2023 |
| País: | Portugal |
| Tipo de documento: | dissertação de mestrado |
| Tipo de acesso: | acesso aberto |
| Instituição associada: | Universidade do Minho |
| Idioma: | português |
| Origem: | RepositóriUM - Universidade do Minho |
| Resumo: | O Desenvolvimento Orientado pelo Comportamento (Behaviour-Driven-Development, BDD) é um paradigma de desenvolvimento de software que permite especificar as necessidades dos utilizadores e os seus critérios de aceitação. A especificação de um sistema é feita através da descrição de cenários de utilização que serão depois implementados. Rocha Silva (2022) propôs uma linguagem de especificação de cenários de utilização, para interfaces web, que utiliza os widgets da própria interface na especificação, permitindo não só especificar os requisitos do sistema, mas também referir como estes deverão ser implementados. No processo de BDD podem surgir na especificação cenários contraditórios que, passando despercebidos, podem levar a que a especificação tenha de ser revista na fase de implementação. Todo este processo acarreta custos, pelo que surgiu a necessidade de criar um método de determinar se uma interface está especificada sem quaisquer contradições (isto é, se a especificação é ou não consistente na descrição do sistema). O objetivo deste trabalho é então definir um método que permite, para uma interface web especificada na linguagem proposta por Rocha Silva (2022), determinar se a especificação apresenta ou não contradições (ou seja, é inconsistente) nos seus cenários. Para cumprir este objetivo será utilizada a ferramenta IVY workbench que permite analisar, de forma automática, modelos escritos em MAL interactors do comportamento de sistemas interativos (permitindo verificar propriedades sobre estes). O primeiro passo do projeto será, então, desenvolver uma ferramenta (o modelador) capaz de traduzir uma interface web especificada na linguagem proposta por Rocha Silva (2022) para MAL interactors, de modo a que esta possa ser analisada na ferramenta IVY Workbench. Depois, serão ainda apresentadas as propriedades CTL que serão verificadas na ferramenta IVY Workbench para determinar se uma determinada especificação é consistente. Por fim, será apresentado um método de, utilizando a ferramenta IVY Workbench e o modelo em MAL interactors gerado pelo modelador com as devidas propriedades CTL, determinar não só se a especificação é inconsistente mas, caso o seja, os cenários que dão origem a essa inconsistência. |
|---|