Fundamentals of Software Testing for Embedded Systems

Course Outline

Why do we test?

• Measuring confidence in a product.
• How and why errors occur in software.
• Testing as quality improvement.

Terminology:

• The language of testing

The Swiss Cheese model:

• Being effective in your testing
• A layered approach to testing

Test Harnesses:

• The principles of test harness construction.
• Test harness tools

Using Unity:

• Introduction to the Unity test suite
• Functional testing with Unity

Black Box Testing:

• The principles of black-box testing
• Test Conditions
• Test Cases
• Test Procedures

Systematic Black Box Testing:

• The problems with ad-hoc test creation.
• The Classification Tree Analysis method.

Test Doubles:

• Software integration techniques
• The problems with black-box testing during integration
• Test stubs
• Mock objects
• Wrappers

Using CMock:

• Introduction to the CMock test suite
• Create mock objects
• Integration testing with mocks

Coverage Testing:

• The principles of white-box testing
• Coverage metrics
• The problems of white-box testing

Static Analysis – The Compiler:

• The compilation process
• The compiler’s semantic analysis capabilities
• The limitations of the compiler

Static Analysis- Data Flow Analysis:

• Data usage in software
• D-U Path analysis

Static Analysis – Coding Standards:

• Coding standards
• Style guides
• MISRA-C

Static Analysis – Tools:

• Types of static analysis tool
• Selecting a tool
• Problems with SA tools

Agile Processes and Testing:

• Agile software development
• Test-driven design
• The ‘Russian Doll’ model
• Continuous Integration

Test Planning:

• When to perform testing
• Create a test plan