Qualidade de Sistemas Informáticos

Métodos de Ensino

Esta disciplina segue o modelo de aulas teórico práticas, com componente expositiva e apresentação de casos práticos.

Resultados de Aprendizagem

Aquisição de conhecimento de teóricos e práticos na área da qualidade de sistemas informáticos.
Conhecimento de técnicas e ferramentas de gestão e avaliação da qualidade.
Introdução do conceito de confiabilidade, seus atributos, factores comprometedores e mecanismos inerentes.
Conhecimento de técnicas de avaliação da confiabilidade e dos mais recentes desenvolvimentos na área: Dependability Benchmarking.

Programa

1 Conceitos Introdutórios
1.1 O processo de desenvolvimento de software
1.2 Qualidade
1.3 Confiabilidade
2 Atributos de Confiabilidade
2.1 Fiabilidade
2.2 Disponibilidade
2.3 Segurança
2.4 Confidencialidade
2.5 Integridade
2.6 Manutibilidade
2.7 Relações entre atributos
3 Factores Comprometedores de Confiabilidade
3.1 Falhas
3.2 Erros
3.3 Avarias
4 Mecanismos de Confiabilidade
4.1 Prevenção de falhas
4.2 Tolerância a falhas
4.3 Remoção de falhas
4.4 Previsão de falhas
5 Avaliação da Confiabilidade
5.1 Métodos analíticos
5.2 Métodos experimentais
5.3 Injecção de falhas
6 Dependability Benchmarking
6.1 Objectivos
6.2 Necessidades e desafios
6.2 Estrutura
6.3 Conclusões

Estágio(s)

NAO

Bibliografia

1. JC.
Geffroy, G. Motet, Design of Dependable Computing Systems, Springer, 2002.
2. H. Diab, A. Zomaya, Dependable Computing Systems: Paradigms, Performance Issues, and Applications,
Wiley Series on Parallel and Distributed Computing, John Wiley & Sons, 2005.
3. E. Fujiwara, Code Design for Dependable Systems: Theory and Practical Applications, WileyInterscience,
2006.
4. A. Avizienis, H. Kopetz, J.C. Laprie, The Evolution of FaultTolerant
Computing: In the Honor of William C.
Carter, Dependable Computing and FaultTolerant
Systems, Springer, 2000.
5. J. Tian, Software Quality Engineering: Testing, Quality Assurance, and Quantifiable Improvement, WileyIEEE
Computer Society Press, 2005.
6. R. Patton, Software Testing, Sams, 2000.
7. D.Galin, Software Quality Assurance: From Theory to Implementation, Addison Wesley, 2003.