Design Verification

Descrição

Mapa Mental sobre Design Verification, criado por ALEJANDRA HEREDIA MENDEZ em 19-10-2020.
ALEJANDRA HEREDIA MENDEZ
Mapa Mental por ALEJANDRA HEREDIA MENDEZ, atualizado more than 1 year ago
ALEJANDRA HEREDIA MENDEZ
Criado por ALEJANDRA HEREDIA MENDEZ mais de 4 anos atrás
10
0
1 2 3 4 5 (0)

Resumo de Recurso

Design Verification
  1. How to verify the correctness of your programs?
    1. As a program's logic becomes more complex, it is increasingly important to verify its correctness
      1. SELECTING VERIFICATION METHODS
        1. DEFECT PROFILE
          1. Defect experience
            1. Focus on those areas that cause you the most trouble.
            2. VERIFICATION EFFECTIVENESS
              1. You should identify a family of effective verification techniques
                1. Make a practice of using them
              2. VERIFICATION ECONOMICS
                1. You must learn which verification method work best for you and the conditions under which they work.
              3. DESIGN STANDARDS
                1. PRODUCT CONVENTIONS
                  1. Essential if multiple developers are to produce a system that has any external coherence
                    1. User Interfaces
                      1. External naming
                        1. System error handling
                          1. Installation procedures
                            1. Help facilities
                          2. PRODUCT DESIGN STANDARDS
                            1. Calling and naming conventions
                              1. Header standards
                                1. Test standards
                                  1. Documentation formats
                                  2. REUSE STANDARDS
                                    1. They must be properly managed
                                      1. Think about reuse during design / design reviews
                                      2. They can substantially improve your productivity
                                    2. VERIFICATION METHODS
                                      1. SYMBOLIC EXECUTION
                                        1. It covers all symbolic values rather than merely a few tested cases
                                          1. Provides a structured and theoretically sound way to logically verify programs
                                          2. PROOF BY INDUCTION
                                            1. Applies to logical expressions with integer parameters.
                                              1. You start by showing that the logic of a program is true for a base case
                                            2. VERIFYING THE OBJECT STATE MACHINE
                                              1. Check for hidden traps or loops
                                                1. Check for all possible states
                                                  1. Check for state orthogonality
                                                    1. Check for complete transitions
                                                    2. PROGRAM TRACING
                                                      1. EXECUTION TABLES
                                                        1. Provides an orderly way to check the logic flow in a Logic Specification Template
                                                          1. You list the logic steps in order together with the variable and parameters values for each case to be examined.
                                                            1. When loops are encountered, their instructions are repeated until the cycle is completed.
                                                          2. Time consuming
                                                            1. Reliable
                                                              1. Simple
                                                          3. TRACE TABLES
                                                            1. More efficient for verifying logic correctness
                                                              1. Involves three complementary techniques:
                                                                1. Symbolic Execution
                                                                  1. Trace table examination of all possible cases
                                                                    1. Proof by induction
                                                              2. VERIFYING PROGRAM CORRECTNESS
                                                                1. TESTING LOOPS
                                                                  1. For-loop Verification
                                                                    1. While-loop Verification
                                                                      1. Repeat-until Verification
                                                                    2. COMMENTS ON VERIFICATION METHODS
                                                                      1. DESIGN VERIFICATION STRATEGY
                                                                        1. You should design down and verify up.
                                                                        2. SPECIFICATION CONFORMANCE
                                                                          1. Consider all possible logic cases and verify that they're correctly handled.
                                                                          2. VERIFICATION COMPLEXITY
                                                                            1. Track the time verification takes and the degree to which it helps you to find design defects
                                                                            2. FORMAL VERIFICATION METHODS
                                                                              1. Best used during program design.
                                                                                1. Human-intensive, subject to error.
                                                                                  1. You must practice each method until you're reasonably proficient.

                                                                                0 comentários

                                                                                There are no comments, be the first and leave one below:

                                                                                Semelhante

                                                                                Conceitos de Contabilidade
                                                                                Alessandra S.
                                                                                ESTILOS DE LIDERANÇA
                                                                                willian reis
                                                                                LEI ORGÂNICA DO DF
                                                                                Viviana Veloso
                                                                                Reinos - Características Gerais/Biologia
                                                                                GoConqr suporte .
                                                                                geologia 10 ano
                                                                                isabelinha_oli_97
                                                                                Os três pilares de uma gestão eficaz
                                                                                Liliane Tubino
                                                                                Teorema de Pitágoras 2
                                                                                Paula Neto
                                                                                Teorias atomicas
                                                                                Vitor Felix
                                                                                Questionário 1 - Introdução à Informática
                                                                                Ederval Pablo Ferreira
                                                                                PROCESSO LEGISLATIVO
                                                                                Mateus de Souza