| | |
|
ATS 11 - 07 Nov 2016 - Main.JoaoSaraiva
|
| |
| META TOPICPARENT | name="WebHome" |
|---|
Análise e Teste de Software | | | Projeto: Enunciado | |
>
> | 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
|
| |
| META TOPICPARENT | name="WebHome" |
|---|
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.
| >
> | 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 3 - 13 Oct 2016 - Main.JoaoSaraiva
|
| |
| META TOPICPARENT | name="WebHome" |
|---|
Análise e Teste de Software | | | Programação Estratégica: StrategicProgramming.pdf (slides) | |
<
< | 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
|
| |
| META TOPICPARENT | name="WebHome" |
|---|
| |
<
< | | | | 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)
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 |
|
|
|
|
 Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
|
|
| | |