Métodos Formais em Engenharia de Software

Mestrado Integrado em Engenharia Informática [16/17]

Tópicos

Avisos

04 Set - Lançadas a classificações do exame da época especial de E&M .

15 Jul - Exames da época especial: ver Sumários.

22 Jun Notas dos testes e do TP2 já sairam - A&C.

06 Jun Nova data para apresentações dos trabalhos - 20 Junho, ver Sumários.

24 Mai Datas para entrega e apresentações dos trabalhos adiada - para 15 e 16 Junho, respectivamente.

9 Mai Anunciadas datas para as apresentações dos trabalhos (1 Junho) e para o teste (8 Junho).

9 Mai Disponíveis os slides mostrados até ao momento no último módulo de A&C.

25 Abr Entrega do trabalho prático (UPPAAL) adiado para 3 Maio @ 23:59.

6 Abr Notas do trabalho prático 1 já estão disponíveis - A&C.

20 Mar Trabalho prático 1: entregar até dia 23 Março; Trabalho prático 2: disponível em Material - A&C.

24 Fev - Primeiro trabalho prático já saiu, em "Material" de A&C.

14 Fev - Ver Material em A&C.

10 Fev - Lançadas a classificações finais de E&M.

10 Fev - Importante: as aulas das disciplinas do perfil de MFES passam, a partir da próxima semana (inclusive), para a sala DI 1.08.

6 Fev - WS de apresentação de temas MFES/LEI: ver Sumários.

6 Fev - Apresentações dos trabalhos: ver Sumários. Cada apresentação não pode demorar mais que 20 min, discussão incluída. No caso de desejarem apresentar slides devem enviá-los para o responsável da disciplina no dia anterior.

28 Jan - Trabalho de E&M: a data de entrega passou para 3-Fev até às 12h.

21 Jan - Enunciado do teste de E&M disponível, com correcção de algumas perguntas.

15 Jan - Estão disponíveis duas bolsas para desenvolver trabalho no projeto Green Software Laboratory GSL. Se tens licenciatura (ou os 3 primeiros anos do mestrado) completos concorre! Mais informações aqui.

06 Dez - E&M, T+TP suplementar de amanhã: por falta de salas a aula só poderá ser às 16h00, na sala 1.09, ver Sumários.

30 Nov - E&M: já está disponível o enunciado do TP.

29 Nov - ATS, aula extra esta 4a feira, dia 30/11 às 14:00.

29 Nov - E&M, grupos de trabalho: os alunos que ainda o não fizeram devem enviar ao responsável da disciplina a constituição do seu grupo (de dois alunos cada). O TP será anunciado amanhã, 30-Nov.

20 Nov - E&M, preparação em casa para a próxima aula ('Flipped Classroom'): ler slides (PDF) até ao 115; fazer os exercícios 37, 40, 46 e 47.

3 Nov - Está disponível uma bolsa para desenvolver trabalho na plataforma Alloy4Fun. Se tens licenciatura (ou os 3 primeiros anos do mestrado) completos concorre! Mais informações aqui.

13 Out - E&M, preparação em casa para a próxima aula ('Flipped Classroom'): ler slides até ao 97; fazer os exercícios 32, 33, 34.

3 Out - E&M, preparação em casa para a próxima aula ('Flipped Classroom'): ler slides até ao 79; fazer os exercícios 25, 28, 30, 31.

29 Out - E&M, preparação em casa para a próxima aula ('Flipped Classroom'): ler slides até ao 65; fazer os exercícios 20, 22, 25-26.

14 Out - E&M, preparação em casa para a próxima aula ('Flipped Classroom'): ler slides até ao 45; fazer os exercícios 7 a 10.

6 Out - O teste de ATS será no dia 5 de Janeiro e o teste de E&M será no dia 12 de Janeiro.

20 Set - As aulas das disciplinas do primeiro semestre iniciam-se a 22-Set.

Análise e Teste de Software

A disciplina de Análise e Teste de Software estudo métodos e ferramentas para a análise e teste de sistemas de software. A parte de análise aborda técnicas para analisar o código fonte dos sistemas de software: técnicas avançadas de parsing e de travessia de árvores de syntaxe abstracta são apresentadas no curso. Modelos para a análise de qualidade de software, nomeadamente do seu código fonte, serão apesentados, e métricas de software serão estudadas de modo a permitirem a análise automática da qualidade de um sistema de software. Nesta análise serão ainda apresentado um catálogo de "bad smells" de código fonte que indicam a existência de problemas na compreensão/evolução/manuntenção de software. Técnicas de teste de software serão também estudas de modo a permitirem analisar a qualidade de software. Testes unitários, teste de aplicações interativas e web, e ainda a geração automática de casos de teste e suaanálise de cobertura são estudados em detalhe. Por último, serão apresentadas técnicas para a localização de falhas em software.

Material Pedagógico

Linguagens, Gramáticas e Árvores de Syntaxe Abstrata: (slides)

Combinadores de Parsing: ParsingCombinators.pdf (slides)

Programação Estratégica: StrategicProgramming.pdf (slides)

Software Metrics: Software Metrics (slides)

Code Smells: Source Code Smells (slides)

Control Flow Graphs: Control Flow Graphs (slides)

Apontamentos: Software Analysis and Testing (with a functional flavor) _(disponível em breve)_

Projeto de Software

Projeto: Enunciado

Software

O sistema de Parsing ANTLR: http://www.antlr3.org/ e o interpretador de gramáticas ANTLRWorks: http://www.antlr3.org/works/

Programação Estratégica no sistema TOM: http://tom.loria.fr/wiki/index.php5/Main_Page

ANTLR+TOM -- Parser + normalização de Expressões Regulares: Expressões Regulares (tgz)

Simple Language: exemplos.sl (exemplo de programas)

Combinadores de Parsing (módulo desenvolvido nas aulas): Parser.hs

Construção de Control Flow Graphs: ControlFLowGraph.tgz

Análide de consumo de energia usando RAPL (versão C e Haskell): RAPL.tgz

Equipa Docente

João Saraiva: saraiva@di.uminho.pt

Jorge Mendes: jorgemendes@di.uminho.pt

Rui Pereira: ruipereira@di.uminho.pt

Marco Couto: marcocouto90@gmail.com

Testes, Exames e Avaliação

Teste: 5 de Janeiro de 2017

Avaliação: Teste ou Exame (50%), Projeto (40%), Avaliação Continua (10%)

-- JoseNunoOliveira - 21 Sep 2016

r9 - 04 Nov 2016 - 11:38:38 - JoaoSaraiva
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM