Análise de Artefactos de Software

Conhecimentos de Base Recomendados

Não aplicável.

Métodos de Ensino

Metodologias definidas e implementadas por docentes da CMU. A avaliação inclui testes, apresentações de projeto, exame intercalar, exame final, trabalhos de casa.

Na prática, esta UC inclui aulas teóricas de exposição detalhada de conceitos, princípios e técnicas fundamentais de análise de artefactos de software, em paralelo com exemplos práticos com a intenção de ampliar o interesse dos alunos nos conceitos teóricos e exemplificar a sua aplicação em situações reais.

Resultados de Aprendizagem

Esta UC foca a análise de artefatos de software de código principalmente, mas também incluindo a análise de projetos, arquiteturas e testes. A fim de ilustrar os conceitos básicos de análise com alguma profundidade, foca-se a análise estática no programa, e também uma gama de técnicas, tais como testes, verificação de modelos, prova de teoremas, análise dinâmica, e sistemas de tipo. A disciplina equilibra discussões teóricas com exercícios de laboratório em que os alunos aplicam as ideias a artefatos reais. Após a conclusão desta uc, os alunos deverão: saber que tipos de análises estão disponíveis e como usá-las, compreender o seu alcance e poder, quando podem ser aplicadas, que conclusões podem ser tiradas a partir dos resultados; ter noções fundamentais suficientes para avaliar novos tipos de análise, quando as mesmas forem desenvolvidas; ter alguma experiência em selecionar e escrever análises para uma verdadeira peça de software, aplicando-as e interpretando os resultados.

Estágio(s)

Não

Programa

Introdução à qualidade e verificação; Inspeção; modelagem de Teste de domínio; critérios de adequação, teste estrutural, teste Combinatório; Apresentações de Design de Framework; testes aleatórios e Mutação, Análise, verificação formal, análise de Arquitetura / DSMs, análise de Algoritmo e / ou perfil ; teoria de fila; Segurança; exercício de teoria de fila / Segurança.

Docente(s) responsável(eis)

Henrique Santos do Carmo Madeira

Métodos de Avaliação

Avaliação
Testes, apresentações de projeto, exame intercalar, exame final, trabalhos de casa: 100.0%

Bibliografia

Design Patterns Explained;

Buechner, Test Case Design Using the Classification Tree

Method; Conrad, A Systematic Approach to Testing Automotive Control Software