Please enable JavaScript.

Coggle requires JavaScript to display documents.

Pressman (Diferente das revisões e testes que começam logo que os modelos…

- - - - Modelos de requisitos e de projeto são cirados usando notação especializada que é favorável à verificação matemática.
      - Utiliza representação de estrutura de caixas que encapsula o sistema (ou outro aspecto do sistema) em um nível específico de abstração.
        
        Caixa: encapsula o ssitema em algum nível de abstração.
        
        Tipos
        
        Especifica o comportamento de um sistema ou uma parte de um sistema.
        
        Encapsula os dados de estado e serviços (operações) de maneira análoga a objetos.
        
        Projeto procedimental (projeto procedimental e programação estruturada) para a caixa de estados.
        
        As funções da caixa de estados são definidas na caixa clara.
      - Planejamento de Incremento
        
        Coleta de Requisitos Especificação da estrutura de caixa Projeto formal Verificação de ocrreção Geração de código inspeção verificação planejamento de teste estático certificação
      - O projeto Sala Limpa usa intensamente a programação estruturada, porém com muito mais rigor.
      - Valida requisitos de software demonstrando que uma amostragem estatística de caso de uso foi executado de forma bem sucedida.
      - Certificação
        
        São as equipes de Teste Sala Limpa.
        
        Criar cenário de uso
        
        especificar perfil de uso gerar casos de teste com base no perfil executar teste e registrar falhas confiabilidade é calculada e certificada
        
        Modelos
        
        Modelo de Amostragem
        
        Modelo de Componente
        
        Modelo de Certificação
    - - Usa teoria de conjuntos e a notação lógica para criar uma definição clara dos fatos (requisitos).
      - Métodos formais traduzem os requisistos do software para uma representação mais formal aplicando a notação e heurística de conjuntos para definir a invariante dos dados, estados e operações para uma função do sistema.
      - Propriedades
        
        Consistência
        
        Totralidade
        
        Ausência
  - - - Sintaxe
      - Semântica
      - Relações / Regras
    - - OCL (Object Constraint Language)
        
        É uma notação formal desenvolvida de forma que os usuários da UML possam adicionar mais precisão às suas especificações. Todos os poderes da logica e da matemática discreta estão disponíveis na linguagem. Apenas caracteres ASCII estão disponíveis. É uma linguagem de modelagem, mas tem todos os atributos de uma linguagem formal. Permite expressões de: restrições pré-condição pós-condição proteções etc
      - Aplica conjuntos tipados, relações e funções no contexto da lógica de predicados de primeira ordem para criar esquemas.
      - Larch
      - VDM