Software Verification and Validation and System Testing for Model-Based Development

BY
Skill Lync

Mode

Online

Duration

10 Weeks

Fees

₹ 40000

Inclusive of GST

Quick Facts

particular details
Medium of instructions English
Mode of learning Self study
Mode of Delivery Video and Text Based

Course and certificate fees

Fees information
₹ 40,000  (Inclusive of GST)

The fees for the course Software Verification and Validation and System Testing for Model-Based Development is -

HeadAmount
Programme feesRs. 40,000
certificate availability

No

The syllabus

Week 1: Role of MBD as per V Cycle and ASPICE Process Overview

  • Introduction to Model-Based Development
  • Overview of Software Development Lifecycle
  • V Cycle in Automotive Embedded Software Development
  • ASPICE Process Overview
  • ASPICE Maturity Levels
  • Stakeholders in Software Engineering Process Group

Week 2: Japanese MATLAB Automotive Advisory Board (JMAAB)

JMAAB
  • Style Guidelines Overview
  • Guidelines for Model Configuration Parameters
  • Guidelines for Model Architecture
  • Guidelines for Naming Conventions
  • Guidelines for Simulink Blocks
  • Guidelines for Stateflow Blocks

Week 3: Simulink Requirement Manager

  • Understanding Software Requirements and Requirement Elicitation
  • Introduction to Simulink Requirement Toolbox
  • Converting Requirements into Model
    • Requirement Tagging and Traceability in MATLAB Simulink Environment
  • Requirement Management Offline

Week 4: Fixed Point Toolbox in MATLAB Simulink

Introduction to
  • Introduction to:
    • Fixed-Point Data Types
    • Floating-Point Data Types
    • Range
    • Precision
    • Scaling- Fixed Point Data Type,Floating Point Data Type
  • Defining Signal Range and Scaling Factor in MATLAB Simulink
  • Introduction to Fixed Point Toolbox in MATLAB Simulink

Week 5: Control Algorithm Development for TFT Cluster Display for Speedometer

  • Requirement Elicitation using Requirement Manager Toolbox
  • Model Development as per JMAAB Guidelines
  • Signal and parameter Fixing using Fixed-Point Toolbox
  • Model Advisor Check

Week 6: Simulink Design Verifier Toolbox

  • Introduction to Simulink Design Verifier Toolbox
  • Introduction to Different Modes of Design Verifier
    • Design Error Detection
  • Introduction to Different Modes of Design Verifier
    • Test Generation and Property Proving Methods
  • Analyzing SLDV Results
    • Dead Logic and Falsified Conditions

Week 7: Introduction to Testing Theories and Coverage Analysis

  • Difference Between Verification & Validation
  • Types of Functional Testing:
    • Unit Testing
    • Functional Testing
    • Integration Testing
  • Types of Coverage and Coverage Analysis Report
  • Functional Test Criteria Creation Process

Week 8: Model in Loop Validation

  • Introduction to Model in Loop Validation
  • Analyzing Simulink Test Report
  • Test Automation Creation and Test Coverage using Simulink Design Verifier

Week 9: Polyspace Static Code Analysis

  • Introduction to Polyspace Static Code Analysis
  • Polyspace Bug Finder Overview
  • Polyspace Code Prover Overview
  • Functional Validation using Software in Loop

Week 10: Simulink Test Manager Toolbox

  • Introduction to Simulink Test Manager Toolbox
  • Setting up Simulink
    • Test File
    • Test Suite
  • Automating Test Reports Creation using Simulink Test Manager
  • Baseline Testing and Back to Back Testing using Simulink Test Manager

Trending Courses

Popular Courses

Popular Platforms

Learn more about the Courses