Design Verification

Description

Mind Map on Design Verification, created by ALEJANDRA HEREDIA MENDEZ on 19/10/2020.
ALEJANDRA HEREDIA MENDEZ
Mind Map by ALEJANDRA HEREDIA MENDEZ, updated more than 1 year ago
ALEJANDRA HEREDIA MENDEZ
Created by ALEJANDRA HEREDIA MENDEZ over 4 years ago
7
0
1 2 3 4 5 (0)

Resource summary

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.
                                                                                Show full summary Hide full summary

                                                                                0 comments

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

                                                                                Similar

                                                                                Pythagorean Theorem Quiz
                                                                                Selam H
                                                                                A-Level Economics: Supply and Demand
                                                                                cian.buckley+1
                                                                                3. The Bolshevik's Seizure of Power
                                                                                ShreyaDas
                                                                                Of Mice and Men
                                                                                amyk4321
                                                                                GCSE AQA Chemistry - Unit 1
                                                                                James Jolliffe
                                                                                Key Biology Definitions/Terms
                                                                                courtneypitt4119
                                                                                GCSE Computing: Hardware
                                                                                Yasmin F
                                                                                Principios de Vuelo
                                                                                Adriana Forero
                                                                                Get your grammar right!
                                                                                Sarah Holmes
                                                                                GCSE AQA Chemistry 2 Salts & Electrolysis
                                                                                Lilac Potato