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 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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 agomes@cos.ufrj.br XV Simpósio Brasileiro de Engenharia de Software Uma Abordagem de Inclusão de Design by Contract no Processo Unificado

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. 2002. Disponível em: http://www.cleber.com.br/ufrgspes.htm Uma Abordagem de Inclusão de Design by Contract no Processo Unificado

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

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