Disciplina

Área

Área Científica de Metodologia e Tecnologias da Programação > Engenharia da Programação

Activa nos planos curriculares

MEIC-T 2018 > MEIC-T 2018 > 2º Ciclo > Agrupamentos > Engenharia de Software > Especificação de Software

MEIC-T 2021 > MEIC-T 2021 > 2º Ciclo > Área Principal > Agrupamentos > Engenharia de Software > Especificação de Software

MEIC-T 2015 > MEIC-T 2015 > 2º Ciclo > Agrupamentos > Engenharia de Software > Especificação de Software

MEIC-A 2021 > MEIC-A 2021 > 2º Ciclo > Area Principal > Agrupamentos > Engenharia de Software > Especificação de Software

MEIC-A 2015 > MEIC-A 2015 > 2º Ciclo > Agrupamentos > Engenharia de Software > Especificação de Software

MEIC-T 2006 > MEIC-T 2006 > 2º Ciclo > Áreas de Especialização Complementares > Engenharia de Software > Especificação de Software

MEIC-A 2006 > MEIC-A 2006 > 2º Ciclo > Área de Especialização Complementar > Engenharia de Software > Especificação de Software

Nível

Exame/Testes (50%), Trabalho prático (50%)

Tipo

Não Estruturante

Regime

Semestral

Carga Horária

1º Semestre

3.0 h/semana

1.5 h/semana

147.0 h/semestre

Objectivos

Compreender a qualidade do software desde as abordagens informais até aos métodos formais. Conhecer os modelos e técnicas de teste, as abordagens empíricas à medição da qualidade de software e a importância da verificação da correcção de programas.

Programa

A qualidade de software. Abordagens informais: revisões, inspecções e auditorias. Teste de software: testes de caixa branca/caixa preta; estratégias de testes; modelos de teste; padrões de teste; ferramentas de testes Gestão de testes de software: problemas, abordagens, métricas para gerir testes, inventários de testes. Métricas de sofware: medidas e experimentação, métricas dos atributos internos dos produtos, métricas dos atributos externos dos produtos. Verificação da correcção dos programas.

Metodologia de avaliação

Exame/Testes (50%), Trabalho prático (50%)

Pré-requisitos

Componente Laboratorial

Princípios Éticos

Componente de Programação e Computação

Componente de Competências Transversais

Bibliografia

Principal

Software Testing Fundamentals : Methods and Metrics

Marnie L. Hutcheson

2003

Wiley


Object-Oriented Systems: Models, Patterns, and Tools

Robert V. Binder

2000

Addison-Wesley


Software Metrics : A Rigorous and Practical Approach, Revised

Norman E. Fenton, Shari Lawrence Pfleeger

1998

Course Technology