Métodos Formais em Engenharia de Software

Mestrado Integrado em Engenharia Informática [16/17]
View   r22  >  r21  >  r20  >  r19  >  r18  ...

ATS 22 - 09 Sep 2017 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Análise e Teste de Software


ATS 21 - 14 Feb 2017 - Main.JoaoSaraiva
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Análise e Teste de Software

Line: 83 to 83
  Resultados do teste: Notas do Teste
Added:
>
>
Resultados do Exame, Projetos e Notas Finais: Notas Finais
 

-- Página criada por: JoaoSaraiva - 21 Sep 2016


ATS 20 - 30 Jan 2017 - Main.JoaoSaraiva
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Análise e Teste de Software

Line: 81 to 81
  Avaliação: Teste ou Exame (50%), Projeto (40%), Avaliação Continua (10%)
Added:
>
>
Resultados do teste: Notas do Teste
 
Deleted:
<
<
-- Página criada por: JoseNunoOliveira - 21 Sep 2016
 \ No newline at end of file
Added:
>
>
-- Página criada por: JoaoSaraiva - 21 Sep 2016

ATS 19 - 21 Jan 2017 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Análise e Teste de Software

Line: 83 to 83
 
Deleted:
<
<
-- JoseNunoOliveira - 21 Sep 2016
 \ No newline at end of file
Added:
>
>
-- Página criada por: JoseNunoOliveira - 21 Sep 2016
 \ No newline at end of file

ATS 18 - 28 Dec 2016 - Main.JoaoSaraiva
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Análise e Teste de Software

Line: 25 to 25
 Teste de Software: Teste de Cobertura de Código - Teste Unitario (slides)
Changed:
<
<
Teste de Software: Software Test Automation (slides)
>
>
Teste de Software: Software Test Automation (slides -> new)
 Teste de Software: Teste de Aplicações Web - Selenium (slides)

Localização de Falhas em Sistemas de Software: Spectrum-based Fault Localization (slides)

Added:
>
>
Optimizações para Software Verde: Green Software Optimization (slides)
 Apontamentos: Software Analysis and Testing (with a functional flavor) _(disponível em breve)_

ATS 17 - 02 Dec 2016 - Main.JoaoSaraiva
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Análise e Teste de Software

Line: 19 to 19
 Análise Verde de Software: Green Software (slides)
Added:
>
>
Análise Verde de Software: Monitorização de consumo de energia em Java com jRAPL (slides)
 Control Flow Graphs: Control Flow Graphs (slides)

Teste de Software: Teste de Cobertura de Código - Teste Unitario (slides)

Teste de Software: Software Test Automation (slides)

Added:
>
>
Teste de Software: Teste de Aplicações Web - Selenium (slides)

Localização de Falhas em Sistemas de Software: Spectrum-based Fault Localization (slides)

 Apontamentos: Software Analysis and Testing (with a functional flavor) _(disponível em breve)_
Line: 34 to 40
 Projeto: Enunciado
Changed:
<
<
Os grupos que escolherem o projeto 1 (a desenvolver em Java) devem considerar o software que gere um agência noticiosa disponível aqui
>
>
Os grupos que escolherem o projeto 1 (a desenvolver em Java) devem considerar o software que gere um agência noticiosa disponível aqui e que foi desenvolvido de acordo com os requesitos descritos aqui
 

Software


ATS 16 - 24 Nov 2016 - Main.JoaoSaraiva
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Análise e Teste de Software

Line: 23 to 23
 Teste de Software: Teste de Cobertura de Código - Teste Unitario (slides)
Changed:
<
<
Teste de Software: Software Test Automation (slides)
>
>
Teste de Software: Software Test Automation (slides)
 Apontamentos: Software Analysis and Testing (with a functional flavor) _(disponível em breve)_

ATS 15 - 18 Nov 2016 - Main.JoaoSaraiva
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Análise e Teste de Software

Line: 17 to 17
 Code Smells: Source Code Smells (slides)
Added:
>
>
Análise Verde de Software: Green Software (slides)
 Control Flow Graphs: Control Flow Graphs (slides)

Teste de Software: Teste de Cobertura de Código - Teste Unitario (slides)

Changed:
<
<
Software Test Automation (slides)
>
>
Teste de Software: Software Test Automation (slides)
 Apontamentos: Software Analysis and Testing (with a functional flavor) _(disponível em breve)_

ATS 14 - 17 Nov 2016 - Main.JoaoSaraiva
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Análise e Teste de Software

Line: 21 to 21
 Teste de Software: Teste de Cobertura de Código - Teste Unitario (slides)
Added:
>
>
Software Test Automation (slides)
 Apontamentos: Software Analysis and Testing (with a functional flavor) _(disponível em breve)_

ATS 13 - 10 Nov 2016 - Main.JoaoSaraiva
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Análise e Teste de Software

Line: 50 to 50
 Análide de consumo de energia usando RAPL (versão C e Haskell): RAPL.tgz
Added:
>
>
Teste Unitário e Cobertura (jUnit, HUnit): Teste Unitário
 

Equipa Docente


ATS 12 - 10 Nov 2016 - Main.JoaoSaraiva
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Análise e Teste de Software

Line: 19 to 19
 Control Flow Graphs: Control Flow Graphs (slides)
Added:
>
>
Teste de Software: Teste de Cobertura de Código - Teste Unitario (slides)
 Apontamentos: Software Analysis and Testing (with a functional flavor) _(disponível em breve)_

ATS 11 - 07 Nov 2016 - Main.JoaoSaraiva
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Análise e Teste de Software

Line: 28 to 28
 Projeto: Enunciado
Added:
>
>
Os grupos que escolherem o projeto 1 (a desenvolver em Java) devem considerar o software que gere um agência noticiosa disponível aqui
 

Software


ATS 10 - 05 Nov 2016 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Análise e Teste de Software

Changed:
<
<
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.

>
>
A disciplina de Análise e Teste de Software estuda 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á 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 sua aná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


ATS 9 - 04 Nov 2016 - Main.JoaoSaraiva
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Análise e Teste de Software

Line: 25 to 25
 

Projeto de Software

Changed:
<
<
Disponível em breve
>
>
Projeto: Enunciado
 

Software

Line: 45 to 48
 Análide de consumo de energia usando RAPL (versão C e Haskell): RAPL.tgz
Added:
>
>

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


ATS 8 - 03 Nov 2016 - Main.JoaoSaraiva
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Análise e Teste de Software

Line: 18 to 18
 Code Smells: Source Code Smells (slides)
Added:
>
>
Control Flow Graphs: Control Flow Graphs (slides)
 Apontamentos: Software Analysis and Testing (with a functional flavor) _(disponível em breve)_
Line: 38 to 40
 Combinadores de Parsing (módulo desenvolvido nas aulas): Parser.hs
Changed:
<
<
Construção de Control Flow Graph: ControlFLowGraph.tgz
>
>
Construção de Control Flow Graphs: ControlFLowGraph.tgz

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

 

ATS 7 - 27 Oct 2016 - Main.JoaoSaraiva
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Análise e Teste de Software

Line: 38 to 38
 Combinadores de Parsing (módulo desenvolvido nas aulas): Parser.hs
Added:
>
>
Construção de Control Flow Graph: ControlFLowGraph.tgz
 

ATS 6 - 20 Oct 2016 - Main.JoaoSaraiva
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Análise e Teste de Software

Line: 14 to 14
 Programação Estratégica: StrategicProgramming.pdf (slides)
Added:
>
>
Software Metrics: Software Metrics (slides)

Code Smells: Source Code Smells (slides)

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

ATS 5 - 14 Oct 2016 - Main.JoaoSaraiva
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Análise e Teste de Software

Line: 32 to 32
 Simple Language: exemplos.sl (exemplo de programas)
Changed:
<
<
>
>
Combinadores de Parsing (módulo desenvolvido nas aulas): Parser.hs
 

Testes, Exames e Avaliação


ATS 4 - 13 Oct 2016 - Main.JoaoSaraiva
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Análise e Teste de Software

Line: 28 to 28
 Programação Estratégica no sistema TOM: http://tom.loria.fr/wiki/index.php5/Main_Page
Changed:
<
<
ANTLR+TOM - Parser + normalização de Expressões Regulares: Expressões Regulares (tgz)
>
>
ANTLR+TOM -- Parser + normalização de Expressões Regulares: Expressões Regulares (tgz)
 Simple Language: exemplos.sl (exemplo de programas)

ATS 3 - 13 Oct 2016 - Main.JoaoSaraiva
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Análise e Teste de Software

Line: 14 to 14
 Programação Estratégica: StrategicProgramming.pdf (slides)
Changed:
<
<
Apontamentos: _(disponíveis em breve)_
>
>
Apontamentos: Software Analysis and Testing (with a functional flavor) _(disponível em breve)_
 

Projeto de Software


ATS 2 - 13 Oct 2016 - Main.JoaoSaraiva
Line: 1 to 1
 
META TOPICPARENT name="WebHome"
Deleted:
<
<
 

Análise e Teste de Software

Added:
>
>
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)

Apontamentos: _(disponíveis em breve)_

Projeto de Software

Disponível em breve

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)

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 \ No newline at end of file


ATS 1 - 21 Sep 2016 - Main.JoseNunoOliveira
Line: 1 to 1
Added:
>
>
META TOPICPARENT name="WebHome"

Análise e Teste de Software

-- JoseNunoOliveira - 21 Sep 2016


Revision 22r22 - 09 Sep 2017 - 12:00:31 - JoseNunoOliveira
Revision 21r21 - 14 Feb 2017 - 16:26:47 - JoaoSaraiva
Revision 20r20 - 30 Jan 2017 - 12:39:03 - JoaoSaraiva
Revision 19r19 - 21 Jan 2017 - 11:23:45 - JoseNunoOliveira
Revision 18r18 - 28 Dec 2016 - 14:23:36 - JoaoSaraiva
Revision 17r17 - 02 Dec 2016 - 10:49:44 - JoaoSaraiva
Revision 16r16 - 24 Nov 2016 - 13:59:55 - JoaoSaraiva
Revision 15r15 - 18 Nov 2016 - 10:39:22 - JoaoSaraiva
Revision 14r14 - 17 Nov 2016 - 13:49:43 - JoaoSaraiva
Revision 13r13 - 10 Nov 2016 - 17:16:46 - JoaoSaraiva
Revision 12r12 - 10 Nov 2016 - 14:06:47 - JoaoSaraiva
Revision 11r11 - 07 Nov 2016 - 15:07:01 - JoaoSaraiva
Revision 10r10 - 05 Nov 2016 - 17:24:16 - JoseNunoOliveira
Revision 9r9 - 04 Nov 2016 - 11:38:38 - JoaoSaraiva
Revision 8r8 - 03 Nov 2016 - 11:03:58 - JoaoSaraiva
Revision 7r7 - 27 Oct 2016 - 14:35:25 - JoaoSaraiva
Revision 6r6 - 20 Oct 2016 - 13:05:27 - JoaoSaraiva
Revision 5r5 - 14 Oct 2016 - 14:03:49 - JoaoSaraiva
Revision 4r4 - 13 Oct 2016 - 15:46:16 - JoaoSaraiva
Revision 3r3 - 13 Oct 2016 - 14:23:02 - JoaoSaraiva
Revision 2r2 - 13 Oct 2016 - 12:47:15 - JoaoSaraiva
Revision 1r1 - 21 Sep 2016 - 11:28:09 - JoseNunoOliveira
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM