Aula 16 Engenharia de Software

Esta é uma pré-visualização de arquivo. Entre para ver o arquivo original

Engenharia de Software
Aula 16 – 14/08/2015
Especificação Formal
Os métodos formais de desenvolvimento de software, que usam representações matemáticas de software, não são amplamente utilizados no desenvolvimento de software industrial por conta dos altos custos.
Delineamento preciso do processo de desenvolvimento
Baseado em linguagens de especificação e programação com semântica bem definida
Processo de desenvolvimento incremental, que possibilita expressão em vários níveis de abstração
Processo de desenvolvimento usualmente baseado em regras de transformação
Características 
Na década de 1980, pesquisadores de engenharia de software defendiam a ideia de que os métodos formais garantiriam mais qualidade ao software devido ao rigor dos testes e análise, entretanto as técnicas não conquistaram o mercado. Entre os principais motivos para isso estão:
Engenharia bem sucedida
Mudança de Mercado
Escopo limitado dos métodos formais
Escalabilidade dos métodos formais
Histórico 
Apesar de não ser amplamente utilizada a metodologia formal de desenvolvimento ainda encontra adeptos quando se trata de sistemas críticos.
A principal vantagem do uso de métodos formais no processo de software é que eles forçam uma análise de requisitos de sistema no início do estágio. A correção de erros nesse estágio é mais barata que a modificação de um sistema já entregue.
Considerações 
Therac-25 
Entre 1985 e 1987, pelo menos 6 acidentes causaram mortes e ferimentos graves durante terapia de radiação
Lançador Ariane 
Explodiu 40s após lançamento em 1996
Dezenas de outros acidentes
Perda de controle do desenvolvimento e evolução de sistemas complexos
Porque métodos formais? 
Protocolos de comunicação
Aplicações espaciais e de aviação
Sistemas de controle de trens
Equipamentos médicos
Arquiteturas de hardware
Aplicações bancárias
Aplicações meteorológicas
Aplicações