Validação & Verificação de Software 🖥✅

Atividades desenvolvidas durante a disciplina de Validação e Verificação de Software no período 2023.2 na UFCG

Sobre • Especificações • Exercícios • Licença • Autores

Sobre a disciplina 📌

Tem como objetivo principal apresentar e discutir técnicas e ferramentas para a validação e verificação de software. A disciplina aborda desde técnicas de teste de software, passando por técnicas de verificação formal, até a análise estática de código.

Verificação

Checar se o software atende seus requisitos funcionais e não funcionais

• Estamos construindo certo o produto?

Validação

Garantir que o software atende as expectativas do cliente

• Estamos construindo o produto certo?

Especificações 📋

Processador de Boletos 🧾💸

O objetivo desse processador é verificar todos os boletos e, caso o valor da soma de todos os boletos seja maior que o valor da fatura, então essa fatura deverá ser considerada como paga.

• Uma fatura contém data, valor total e nome do cliente.
• Um boleto contém o código do boleto, data, e valor pago.
• Um pagamento contém o valor pago, a data, e o tipo do pagamento efetuado ("BOLETO")
• O processador de boletos, ao receber uma lista de boletos, deve então, para cada boleto, criar um "pagamento" associado a essa fatura.
• Esse pagamento contém o valor pago, a data, e o tipo do pagamento efetuado (que nesse caso é "BOLETO").
• Como dito anteriormente, caso a soma de todos os boletos seja igual ou ultrapasse o valor da fatura, a mesma deve ser marcada como "PAGA".📑

Exemplo: Fatura de 1.500,00 com 3 boletos no valor de 500,00, 400,00 e 600,00: fatura marcada como PAGA, e três pagamentos do tipo BOLETO criados

Gerenciador de Tarefas 📅📝

Deve-se implementar um sistema para auxiliar os usuários no acompanhamento e organização de suas tarefas diárias. O sistema permitirá que os usuários criem, atualizem e excluam tarefas, definindo detalhes como título, descrição, data de vencimento e prioridade.

• O sistema deve permitir que os usuários criem novas tarefas, inserindo informações como título, descrição, data de vencimento e prioridade.

• Os usuários devem poder atualizar os detalhes de uma tarefa existente, incluindo a possibilidade de modificar o título, a descrição, a data de vencimento e a prioridade.

• Os usuários devem ser capazes de excluir tarefas da lista, caso a tarefa não seja mais relevante.

• O sistema deve exibir uma lista de todas as tarefas do usuário, ordenadas por data de vencimento e prioridade.

• Os usuários devem poder marcar tarefas como prioridades altas, médias ou baixas.

Exercícios

2 - Test Driven Development (TDD) 🧪

• Especificação do exercício.

---

Autores

Crisley Marques	Igor Correia