Revisão de crenças em ACTL usando verificação de modelos limitada (2017)
- Authors:
- Autor USP: HORA, BRUNO VERCELINO DA - IME
- Unidade: IME
- Sigla do Departamento: MAC
- Subjects: INTELIGÊNCIA ARTIFICIAL; HEURÍSTICA; REPRESENTAÇÃO DE CONHECIMENTO
- Agências de fomento:
- Language: Português
- Abstract: Uma importante etapa do desenvolvimento de software é o de levantamento e análise dos requisitos. Porém, durante esta etapa podem ocorrer inconsistências que prejudicarão o andamento do projeto. Além disso, após finalizada a especificação, o cliente pode querer acrescentar ou modificar as funcionalidades do sistema. Tudo isso requer que a especificação do software seja revista, mas isso é altamente custoso, tornando necessário um processo automatizado para simplificar tal revisão. Para lidar com este problema, uma das abordagens utilizadas tem sido o processo de Revisão de Crenças, juntamente com o processo de Verificação de Modelos. O objetivo deste trabalho é utilizar o processo de revisão de crenças e verificação de modelos para avaliar especificações de um projeto procurando inconsistências, utilizando o fragmento universal da Computation Tree Logic (CTL), conhecido como ACTL, e revisá-las gerando sugestões de mudanças na especificação. A nossa proposta é traduzir para lógica clássica tanto o modelo (especificação do software) quanto a propriedade a ser revisada, e então aplicar um resolvedor SAT para verificar a satisfazibilidade da fórmula gerada. A partir da resposta do resolvedor SAT, iremos gerar sugestões válidas de mudanças para a especificação, fazendo o processo de tradução reversa da lógica clássica para o modelo original
- Imprenta:
- Data da defesa: 03.08.2017
-
ABNT
HORA, Bruno Vercelino da. Revisão de crenças em ACTL usando verificação de modelos limitada. 2017. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2017. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-02102017-114414/. Acesso em: 19 abr. 2024. -
APA
Hora, B. V. da. (2017). Revisão de crenças em ACTL usando verificação de modelos limitada (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-02102017-114414/ -
NLM
Hora BV da. Revisão de crenças em ACTL usando verificação de modelos limitada [Internet]. 2017 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-02102017-114414/ -
Vancouver
Hora BV da. Revisão de crenças em ACTL usando verificação de modelos limitada [Internet]. 2017 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-02102017-114414/
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
