Uma abordagem de Inclusão de Design by Contract no Processo Unificado

Apresentação em tema: "Uma abordagem de Inclusão de Design by Contract no Processo Unificado"— Transcrição da apresentação:

1 Uma abordagem de Inclusão de Design by Contract no Processo Unificado
Eduardo Silvestri Prof. Orientador Dr. José Maria Parente de Oliveira

2 Agenda 1 Introdução 2 Definição do Problema 3 Design by Contract 4 Proposta de Solução 5 Validação Uma Abordagem de Inclusão de Design by Contract no Processo Unificado

3 Agenda 1 Introdução 2 Definição do Problema 3 Design by Contract 4 Proposta de Solução 5 Validação Uma Abordagem de Inclusão de Design by Contract no Processo Unificado

4 Introdução Este trabalho propõe a utilização de métodos mais rigorosos nos processos de desenvolvimento software. Métodos esses calcados na observância das regras de colaboração entre as partes do software fazendo uso da técnica de Design by Contract (DBC). Uma Abordagem de Inclusão de Design by Contract no Processo Unificado

5 Introdução Design by Contract (DBC) surge como um método que visa a construção de sistemas orientados a objetos mais confiáveis, na medida em que provê mecanismos para checar a correção de um sistema. Uma Abordagem de Inclusão de Design by Contract no Processo Unificado

6 Introdução A principal idéia do método é que entre as classes e seus clientes seja estabelecido um contrato o qual deve ser explicitamente estabelecido. Nele o cliente deve garantir certas condições antes de invocar o método pré-condições, que por sua vez deve garantir alguns resultados após ter sido executado pós-condições. Uma Abordagem de Inclusão de Design by Contract no Processo Unificado

7 Agenda 1 Introdução 2 Definição do Problema 3 Design by Contract 4 Proposta de Solução 5 Validação Uma Abordagem de Inclusão de Design by Contract no Processo Unificado

8 Definição do Problema Software com qualidade = Atende aos requisitos
Tudo se resume a criar uma maneira de assegurar que o software será desenvolvido conforme sua especificação. Uma Abordagem de Inclusão de Design by Contract no Processo Unificado

9 Definição do Problema Os modelos e métodos convencionais utilizados para especificação de requisitos, permitem que estes possam ser interpretados de formas diferentes. Requisitos obscuros ou até mesmo imperceptíveis aos olhos dos programadores e arquitetos. Uma Abordagem de Inclusão de Design by Contract no Processo Unificado

10 Definição do Problema Quando este cenário se projeta para sistemas de software utilizados para segurança de informações o problema se agrava de forma exponencial. Uma Abordagem de Inclusão de Design by Contract no Processo Unificado

11 Definição do Problema A tecnologia biométrica pode chegar a garantir acertos acima de 99,9%. A tecnologia tem que ser empregada em um software. Ganho sobre a tecnologia biométrica empregada perde a credibilidade. Uma Abordagem de Inclusão de Design by Contract no Processo Unificado

12 Agenda 1 Introdução 2 Definição do Problema 3 Design by Contract 4 Proposta de Solução 5 Validação Uma Abordagem de Inclusão de Design by Contract no Processo Unificado

13 Design by Contract - DBC
O modelo baseado em contratos tem como objetivo o desenvolvimento de uma metodologia que contempla interface, especificação e verificação de sistemas orientados a objetos. Uma Abordagem de Inclusão de Design by Contract no Processo Unificado

14 Design by Contract - DBC
DBC é um método para desenvolvimento de software. A classe e seus clientes possuem um "contrato“; O cliente deve garantir certas condições antes de chamar um método; e No retorno a classe garante certas propriedades. Uma Abordagem de Inclusão de Design by Contract no Processo Unificado

15 Design by Contract - DBC
Caso a execução de uma determinada tarefa dependa de um outro método, torna-se necessário especificar precisamente a relação entre cliente (quem invoca o método) e contratado (método que é invocado). Uma Abordagem de Inclusão de Design by Contract no Processo Unificado

16 Design by Contract - DBC
Em DBC a forma com que se expressa as condições que devam ser seguidas pelo contrato são chamadas de asserções. Pré-condições e pós-condições são asserções que definem respectivamente os direitos e obrigações de cada método. Uma Abordagem de Inclusão de Design by Contract no Processo Unificado

17 Design by Contract - DBC
Invariantes de classes constituem um outro tipo de asserção que são propriedades que sempre são validas ao longo do ciclo de um objeto. Uma Abordagem de Inclusão de Design by Contract no Processo Unificado

18 Design by Contract - DBC
Exemplo de contrato. Um método que recebe um número qualquer como entrada e retorna sua raiz quadrada. Uma Abordagem de Inclusão de Design by Contract no Processo Unificado

19 Design by Contract - DBC
Pré-condição deve ser verdadeira antes do método ser invocado. Pós-condição o compromisso do método depois de executado. Neste caso a pré-condição tem como obrigação passar um número (x) positivo como argumento e a pós-condição garantir que este receba uma aproximação da raiz quadrada como resultado. Uma Abordagem de Inclusão de Design by Contract no Processo Unificado

20 Design by Contract - DBC
Com isso é que podemos tomar como verdade que: A violação de uma pré-condição indica um erro em quem invocou o método; A violação de uma pós-condição representa um erro no próprio método. Uma Abordagem de Inclusão de Design by Contract no Processo Unificado

21 Design by Contract - DBC
Uma propriedade é colocada na pré-condição ou em uma instrução if no corpo do método, mas nunca em ambas. Isso significa que uma determinada situação deve ficar ou a cargo do cliente do método ou do próprio método. Uma Abordagem de Inclusão de Design by Contract no Processo Unificado

22 Design by Contract - DBC
Invariante define as propriedades que devem ser válidas em todos os estados válidos dos objetos de uma determinada classe. A invariante deve ser satisfeita logo após a criação do objeto de uma classe, ou seja, seus construtores devem estabelecer a invariante. Todo método deve garantir que a invariante seja preservada após a sua execução. Uma Abordagem de Inclusão de Design by Contract no Processo Unificado

23 Design by Contract - DBC
No exemplo abaixo podemos verificar a invariante definindo que a variável nome não poderá ser vazio e que a variável idade deve ser maior ou igual a zero. Uma Abordagem de Inclusão de Design by Contract no Processo Unificado

24 Agenda 1 Introdução 2 Definição do Problema 3 Design by Contract 4 Proposta de Solução 5 Validação Uma Abordagem de Inclusão de Design by Contract no Processo Unificado

25 Proposta de Solução Visualizamos que os artefatos desenvolvidos no PU em alguns casos não transmitem todas as informações necessárias para o desenvolver. Existem uma grande dificuldade para incorporar formalismo nas definições previamente estabelecidas. Uma Abordagem de Inclusão de Design by Contract no Processo Unificado

26 Proposta de Solução Permitindo que esses dois paradigmas anteriormente citados sejam quebrados este trabalho propõe que incorporemos informações durante o desenvolvimento dos artefatos no processo unificado de forma a: Uma Abordagem de Inclusão de Design by Contract no Processo Unificado

27 Proposta de Solução Diminuir as possíveis falhas na codificação de sistemas por falta de clareza na definição dos requisitos. Diminuir a dificuldade na criação e incorporação de um processo formal de definição de requisitos. Uma Abordagem de Inclusão de Design by Contract no Processo Unificado

28 Proposta de Solução Uma Abordagem de Inclusão de Design by Contract no Processo Unificado

29 Agenda 1 Introdução 2 Definição do Problema 3 Design by Contract 4 Proposta de Solução 5 Validação Uma Abordagem de Inclusão de Design by Contract no Processo Unificado

30 Verificação Com a finalidade de verificar os aspectos levantados neste trabalho e aplicados no desenvolvimento de soluções biométricas, será aplicado em alguns grupos de trabalho o desenvolvimento da solução utilizando diferentes aspectos. Para alguns grupos será disponibilizado a analise de requisitos baseados no PU enquanto para outros grupos será apresentado uma especificação baseada nas informações deste trabalho, isto é, o PU incluindo-se artefatos refinados através do uso de contratos. Uma Abordagem de Inclusão de Design by Contract no Processo Unificado

31 Verificação As seguintes métricas serão aplicadas para medir o desempenho de cada grupo: Precisão nas estimativas do projeto. Qualidade do Produto. Otimização do código produzido. Performance do produto final. Dificuldade na codificação. Volume necessário de testes. Uma Abordagem de Inclusão de Design by Contract no Processo Unificado

32 Avaliação de Processos de Software Baseada em Medições
Verificação Avaliação de Processos de Software Baseada em Medições Augusto Gomes, Kathia Oliveira, Ana Regina Rocha COPPE/UFRJ - Programa de Engenharia de Sistemas e Computação XV Simpósio Brasileiro de Engenharia de Software Uma Abordagem de Inclusão de Design by Contract no Processo Unificado

33 Bibliografia [ADL, 1965] ADLER, F. H. Physiology of the eye. St. Louis, MO: Mosby, 1965 [DAU, 2004a] DAUGMAN, John. How iris recognition works. IEEE Trans. CSVT, 2004.   [DAU 2004b] DAUGMAN, John. Recognizing persons by their iris patterns. Circuits and Systems for Video Technology, IEEE Transactions, 2004. [FER, 1999] FERREIRA, Aurélio B.H.. O Novo Dicionário Aurélio – Século XXI. Ed. Nova Fronteira: 1999 [FIO, 2000] FIORESE, Mauricio. Uma proposta de Autenticação de Usuários para o Ensino a Distância. Dissertação apresentada ao programa de mestrado em Ciência da Computação da Universidade do Rio Grande do Sul orientada pela Profa. Dra. Liane M. R. Tarouco Disponível em: Uma Abordagem de Inclusão de Design by Contract no Processo Unificado

34 Bibliografia [GOL, 1999] GOLLMANN, Dieter. Computer Security. Wiley:1999 – ISBN   [MEY, 1992] MEYER, B. Applying “Design by Contract” [MEY, 1997] MEYER, B. Object Oriented Software Constructor. Prentice Hall, 2 edition   [MEY, 2003] MEYER, B. A Conversation with Bertrand Meyer, Part II by Bill Venners [MIT, 2002] MITCHELL, R. MCKIM, J. Design by Contract, by Example. Addison-Wesley [SIL, 2005] SILVA Jr, R. D. Design by Contract com JML. JAI Uma Abordagem de Inclusão de Design by Contract no Processo Unificado

35 Dúvidas www.eduardosilvestri.com.br Eduardo Silvestri
Uma Abordagem de Inclusão de Design by Contract no Processo Unificado