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

Download the Careers360 App on your Android phone

Regular exam updates, QnA, Predictors, College Applications & E-books now on your Mobile

Careers360 App
150M+ Students
30,000+ Colleges
500+ Exams
1500+ E-books