1 / 35

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

Uma abordagem de Inclusão de Design by Contract no Processo Unificado. Eduardo Silvestri silvestri@eduardosilvestri.com.br Prof. Orientador Dr. José Maria Parente de Oliveira. Agenda. Agenda. Introdução.

reya
Download Presentation

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

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Uma abordagem de Inclusão de Design by Contract no Processo Unificado Eduardo Silvestrisilvestri@eduardosilvestri.com.brProf. Orientador Dr. José Maria Parente de Oliveira

  2. Agenda Uma Abordagem de Inclusão de Design by Contract no Processo Unificado

  3. Agenda 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étodopré-condições, que por sua vez deve garantir alguns resultados após ter sido executadopós-condições. Uma Abordagem de Inclusão de Design by Contract no Processo Unificado

  7. Agenda 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 temque 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 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 • Invariantedefine 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 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 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. 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 agomes@cos.ufrj.br 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 Systemsfor 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. 2002. Disponível em: http://www.cleber.com.br/ufrgspes.htm Uma Abordagem de Inclusão de Design by Contract no Processo Unificado

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

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

More Related