Upload File

function fault injector - atishay jain 2008 - atishay jain.pdf · progc ] progc saving d. done midl...

  • Home
  • Documents
  • Function Fault Injector - Atishay Jain 2008 - Atishay Jain.pdf · PROGC ] PROGC Saving D. Done Midl Message dat Piles in g s Errors Precomp Header Resource MAS" ] SHASM annas" ] MIPSOSM
32
Function Fault Injector A tool to test your exception handlers Atishay Jain 10783017 3-T5 8 Weeks Summer Training At Microsoft I IDC Hyderabad.

Upload: others

Post on 06-Oct-2020

4 views

Category:

Documents


0 download

Report

TRANSCRIPT

Page 1: Function Fault Injector - Atishay Jain 2008 - Atishay Jain.pdf · PROGC ] PROGC Saving D. Done Midl Message dat Piles in g s Errors Precomp Header Resource MAS" ] SHASM annas" ] MIPSOSM

Function Fault InjectorA tool to test your exception handlers

Atishay Jain107830173-T5

8 Weeks Summer TrainingAt Microsoft I IDC Hyderabad.

Page 2: Function Fault Injector - Atishay Jain 2008 - Atishay Jain.pdf · PROGC ] PROGC Saving D. Done Midl Message dat Piles in g s Errors Precomp Header Resource MAS" ] SHASM annas" ] MIPSOSM

Index

• About Fault Injection.• About C# and Visual Studio IDE as well as WinCE

and the Platform Builder.• Application Verifier and the FFI & their working.• The FFI features.• DFD• Working, Coding & Testing.• Results & Scope of Improvement.

Page 3: Function Fault Injector - Atishay Jain 2008 - Atishay Jain.pdf · PROGC ] PROGC Saving D. Done Midl Message dat Piles in g s Errors Precomp Header Resource MAS" ] SHASM annas" ] MIPSOSM

About Fault Injection

Page 4: Function Fault Injector - Atishay Jain 2008 - Atishay Jain.pdf · PROGC ] PROGC Saving D. Done Midl Message dat Piles in g s Errors Precomp Header Resource MAS" ] SHASM annas" ] MIPSOSM

Definition

Page 5: Function Fault Injector - Atishay Jain 2008 - Atishay Jain.pdf · PROGC ] PROGC Saving D. Done Midl Message dat Piles in g s Errors Precomp Header Resource MAS" ] SHASM annas" ] MIPSOSM

What is being tested?

Page 6: Function Fault Injector - Atishay Jain 2008 - Atishay Jain.pdf · PROGC ] PROGC Saving D. Done Midl Message dat Piles in g s Errors Precomp Header Resource MAS" ] SHASM annas" ] MIPSOSM

Development Environment

Page 7: Function Fault Injector - Atishay Jain 2008 - Atishay Jain.pdf · PROGC ] PROGC Saving D. Done Midl Message dat Piles in g s Errors Precomp Header Resource MAS" ] SHASM annas" ] MIPSOSM

C# the language…

Page 8: Function Fault Injector - Atishay Jain 2008 - Atishay Jain.pdf · PROGC ] PROGC Saving D. Done Midl Message dat Piles in g s Errors Precomp Header Resource MAS" ] SHASM annas" ] MIPSOSM

Visual Studio

Page 9: Function Fault Injector - Atishay Jain 2008 - Atishay Jain.pdf · PROGC ] PROGC Saving D. Done Midl Message dat Piles in g s Errors Precomp Header Resource MAS" ] SHASM annas" ] MIPSOSM

Windows CE

Page 10: Function Fault Injector - Atishay Jain 2008 - Atishay Jain.pdf · PROGC ] PROGC Saving D. Done Midl Message dat Piles in g s Errors Precomp Header Resource MAS" ] SHASM annas" ] MIPSOSM

Platform Builder

Page 11: Function Fault Injector - Atishay Jain 2008 - Atishay Jain.pdf · PROGC ] PROGC Saving D. Done Midl Message dat Piles in g s Errors Precomp Header Resource MAS" ] SHASM annas" ] MIPSOSM

Application Verifier & FFI

Page 12: Function Fault Injector - Atishay Jain 2008 - Atishay Jain.pdf · PROGC ] PROGC Saving D. Done Midl Message dat Piles in g s Errors Precomp Header Resource MAS" ] SHASM annas" ] MIPSOSM

Application Verifier

Page 13: Function Fault Injector - Atishay Jain 2008 - Atishay Jain.pdf · PROGC ] PROGC Saving D. Done Midl Message dat Piles in g s Errors Precomp Header Resource MAS" ] SHASM annas" ] MIPSOSM

Working-Appverifier

Page 14: Function Fault Injector - Atishay Jain 2008 - Atishay Jain.pdf · PROGC ] PROGC Saving D. Done Midl Message dat Piles in g s Errors Precomp Header Resource MAS" ] SHASM annas" ] MIPSOSM

Working-FFI

Page 15: Function Fault Injector - Atishay Jain 2008 - Atishay Jain.pdf · PROGC ] PROGC Saving D. Done Midl Message dat Piles in g s Errors Precomp Header Resource MAS" ] SHASM annas" ] MIPSOSM

Features

Page 16: Function Fault Injector - Atishay Jain 2008 - Atishay Jain.pdf · PROGC ] PROGC Saving D. Done Midl Message dat Piles in g s Errors Precomp Header Resource MAS" ] SHASM annas" ] MIPSOSM

Features

Page 17: Function Fault Injector - Atishay Jain 2008 - Atishay Jain.pdf · PROGC ] PROGC Saving D. Done Midl Message dat Piles in g s Errors Precomp Header Resource MAS" ] SHASM annas" ] MIPSOSM

Features

Page 18: Function Fault Injector - Atishay Jain 2008 - Atishay Jain.pdf · PROGC ] PROGC Saving D. Done Midl Message dat Piles in g s Errors Precomp Header Resource MAS" ] SHASM annas" ] MIPSOSM

Features

Page 19: Function Fault Injector - Atishay Jain 2008 - Atishay Jain.pdf · PROGC ] PROGC Saving D. Done Midl Message dat Piles in g s Errors Precomp Header Resource MAS" ] SHASM annas" ] MIPSOSM

DFDs

Page 20: Function Fault Injector - Atishay Jain 2008 - Atishay Jain.pdf · PROGC ] PROGC Saving D. Done Midl Message dat Piles in g s Errors Precomp Header Resource MAS" ] SHASM annas" ] MIPSOSM

Context Diagram

UserFunction Fault

Injector (FFI)

DLL/Fault Details/Saved File

C File to be compiled and applied

Page 21: Function Fault Injector - Atishay Jain 2008 - Atishay Jain.pdf · PROGC ] PROGC Saving D. Done Midl Message dat Piles in g s Errors Precomp Header Resource MAS" ] SHASM annas" ] MIPSOSM

Level 1 DFD

UserFFI

Shimgen UIDLL

FFI Shimgen

coreDLL

Available Functions

AvailableFunctions

Selected Functions

Function Specification

Saved File

Function Prototypes

Fault Details

Backup Shimgen.exe

Selec

ted

Func

tions

Primitive C file

Page 22: Function Fault Injector - Atishay Jain 2008 - Atishay Jain.pdf · PROGC ] PROGC Saving D. Done Midl Message dat Piles in g s Errors Precomp Header Resource MAS" ] SHASM annas" ] MIPSOSM

Working, Coding & Testing

Page 23: Function Fault Injector - Atishay Jain 2008 - Atishay Jain.pdf · PROGC ] PROGC Saving D. Done Midl Message dat Piles in g s Errors Precomp Header Resource MAS" ] SHASM annas" ] MIPSOSM

Function Selection UI

Page 24: Function Fault Injector - Atishay Jain 2008 - Atishay Jain.pdf · PROGC ] PROGC Saving D. Done Midl Message dat Piles in g s Errors Precomp Header Resource MAS" ] SHASM annas" ] MIPSOSM

API Filter

Page 25: Function Fault Injector - Atishay Jain 2008 - Atishay Jain.pdf · PROGC ] PROGC Saving D. Done Midl Message dat Piles in g s Errors Precomp Header Resource MAS" ] SHASM annas" ] MIPSOSM

Filling Fault Details

Page 26: Function Fault Injector - Atishay Jain 2008 - Atishay Jain.pdf · PROGC ] PROGC Saving D. Done Midl Message dat Piles in g s Errors Precomp Header Resource MAS" ] SHASM annas" ] MIPSOSM

Generated Files

Page 27: Function Fault Injector - Atishay Jain 2008 - Atishay Jain.pdf · PROGC ] PROGC Saving D. Done Midl Message dat Piles in g s Errors Precomp Header Resource MAS" ] SHASM annas" ] MIPSOSM

Compilation

Page 28: Function Fault Injector - Atishay Jain 2008 - Atishay Jain.pdf · PROGC ] PROGC Saving D. Done Midl Message dat Piles in g s Errors Precomp Header Resource MAS" ] SHASM annas" ] MIPSOSM

Execution & Testing

Page 29: Function Fault Injector - Atishay Jain 2008 - Atishay Jain.pdf · PROGC ] PROGC Saving D. Done Midl Message dat Piles in g s Errors Precomp Header Resource MAS" ] SHASM annas" ] MIPSOSM

Execution & Testing

Page 30: Function Fault Injector - Atishay Jain 2008 - Atishay Jain.pdf · PROGC ] PROGC Saving D. Done Midl Message dat Piles in g s Errors Precomp Header Resource MAS" ] SHASM annas" ] MIPSOSM

Results

Page 31: Function Fault Injector - Atishay Jain 2008 - Atishay Jain.pdf · PROGC ] PROGC Saving D. Done Midl Message dat Piles in g s Errors Precomp Header Resource MAS" ] SHASM annas" ] MIPSOSM

Results and Future scope

Page 32: Function Fault Injector - Atishay Jain 2008 - Atishay Jain.pdf · PROGC ] PROGC Saving D. Done Midl Message dat Piles in g s Errors Precomp Header Resource MAS" ] SHASM annas" ] MIPSOSM

Thank You


dsPIC30F SMPS Flash Programming Specificationww1.microchip.com/downloads/en/DeviceDoc/70284C.pdf2010/08/04  · PROGC Program Configuration bits and verify ERASEB Bulk Erase or Segment

ATISHAY · KKK KKKK KKKKK K KKK mm KKKKKK KKK KKKK KKKKKKKKKKKK KKK KKKKKKKKKKK KKKKKKKKK KKKKKKKK KKKKKKK KKK mmmKKK, KKKK KKKKKKK KKKKKKKK KKK KKKKKKKKK KKK, KKKK KKKKKKKKKKK KKK

Atishay Jain

C Linguagem - lsi.usp.brpaiva/algoritmo/progc-2p.pdf · Universidade de Passo Fundo Instituto de Ciências Exatas e Geociências Curso de Ciência da Computação Linguagem C CCC011

Programmation en langage C - IGMigm.univ-mlv.fr/~yahya/progc/cours.pdf9 Chapitre 1 Les bases de la programmation en C 1.1 Historique Le C a ´et´e con¸cu en 1972 par Dennis Richie

Final Technical Program Schedule - Indian Institute of ... Schedule NCC...Yogesh Patil and Atishay Sharma (IIT Bombay, India); Nandakumar Nambath (Indian Institute of Technology, Bombay,

fknoll,[email protected] arXiv:1108.3298v1 [cs.LG] 16 Aug 2011 · progc 39,611 Source code in C - UNIX compress v4.0. progl 71,646 Source code in Lisp - system software. progp 49,379

THE WORLD'S FIRST COMPREHENSIVE STUDENT PROFILE …Bangalore Delhi Mr. Arnav Das Delhi Public School, RK Puram Mr. Atishay Garg Ahlcon International School Ms. Saylee Jangam RIMS International

Proiect POCU/464/3/12/126668 ”PRECOMP Pregătește te să … Pliant.pdfProiect cofinanțat din Fondul Social European prin Programul Operațional Capital Uman 2014-2020 Proiect

Cours 1: Introduction 1 Cours 1: Introductiontolone/ProgC/Cours/PolyS2.pdf · 2007. 2. 13. · Cours 1: Introduction 3 Contr^ole des connaissances 1. Contr^oles r ealis es en TD et

Corporate - Atishay Annual...Annual Report 2017-18 What’s Inside 02 Expanding Frontiers. Sustaining Growth. 14 Our Board of Directors 92 Notes to Financial Statements 132 Members

Running Node.js on customer machines - Atishay Jain node.js on customer... · Running Node.js on customer machines API design for building a cloud-native application Senior Computer

Programação C Aula 1 - wiki.sj.ifsc.edu.br · ProgC Aula 1 Sumário Programação Histórico da linguagem Linguagens de baixo e alto nível Processo de geração do código executável

CREATING PRESERVING VALUE - Atishay Annual report 2016-2017_web.pdf2014 2015 2016 2017 ... in Madhya Pradesh, Maharashtra, Uttar Pradesh, Rajasthan, Bihar and Gujarat Forayed into

Prácticas de programación en C con MinGW Developer Studiomermaja.act.uji.es/docencia/ET1032/data2013/ProgC/PracticasC.pdf · Ahora el compilador ya puede trabajar con nuestro

ATISHAY · ATISHAY cv No: L70101MHz000PLC192613 Registered Otce: 14/5, Kalua Buln, 44 Bank tos, For. ‘Mumbi-40000t | Phone: 022 49730061 Head otice: Pot no, 36, Zone bP Nagar, Bhopal

Introduction to Programming Lecture Onearavind/Files-ID1303/ProgC-Lec1.pdf · Introduction to Programming Lecture One Author: N.R.Aravind Created Date: 9/13/2017 11:58:38 AM

IVRCL REPORT Atishay TYagi (UPES)

Программа профессиональной подготовкидосааф56.рф/doc/progC BYS.pdf3 Программа профессиональной подготовки

Introduction to Programming Lecture Threearavind/Files-ID1303/ProgC-Lec3.pdf · Compiling and running a C program $ gcc helloWorld.c -o hello gcc: Gnu C Compiler Translates the C

Programming C and C++ › teaching › 1819 › ProgC › lectures11+12.pdf · Programming C and C++ Lectures 11&12: C++ for Java and C programmers Alan Mycroft1 Computer Laboratory,

Proiect POCU/464/3/12/126668 ”PRECOMP Pregătește te să fii … Pliant.pdf · 2020. 12. 13. · Proiect cofinanțat din Fondul Social European prin Programul Operațional Capital

Falling in love with async await in love with async await.pdf · Falling in love with async await Atishay Jain Agenda About me The async-await paradigm A

4. BIOS CONFIGURATION · Master Video Halt On: EGA/VGA: Auto Slave HEAD PRECOMP LANDZ SECTOR 0 0 0 0 0 Base Memory: Other Memory: Extended Memory: Total Memory: 15360 K 640 K 384

Programação C Aula 1 - wiki.sj.ifsc.edu.br · ProgC Aula 1 Linguagem de baixo nível Examplo de linguagem assembly: O mesmo algoritmo, em linguagem assembly x86 com sintaxe MASM:

ATISHAY KALIT

PowerExchange Essbase Report 2010-Atishay Jain Essbase Report 2010-Atishay Jain.pdf · Essbase stands for Extended Spread Sheet database. It is a multidimensional database management

on Coalition Logistics Transformation · CFD C ProgC Prog Tactical RJTFs CanadaCOMCanadaCOM CDICDI 4 F o r c e P r o j e c t i o n O i g i n Origin Or ig n Strategic Wholesale Tactical

User’s Guide to PreComp - NWTC Information PortalUser’s Guide to BModes (Software for Computing Rotating Beam Coupled Modes) Gunjit S. Bir September 2007 National Renewable Energy

User’s Guide to PreComp (Pre-Processor for Computing ... · properties include cross-coupled stiffness properties, inertia properties, and offsets of the blade shear center, tension

Lagoon Athletic Center - PreComp Thesis

comparisons - cs.ucf.edu · Progc 39611 Progl 71646 Progp 49379 Trans 93695 . 5 FileNames PPMD (BPC) PPMD with LIPT FileNames PPMD (BPC) PPMD with LIPT (BPC) FileNames PPMD (BPC)

Have a Good Trading Day€¦ · ATISHAY PRATEEK JAIN S 60,000 81.00 DARJEELING KUNAL K SUCHDEV . S 16,000 99.53 INDRENEW ANURADHA THANGADA B 16,245 18.35 PADMAIND SHASHIKANT CHINUBHAI

PRECOMP - sas-sibiu.ro proiect.pdfManager de proiect Coordonator promovare și FP Coordonator GT Coordonator SAS Sibiu Expert GT Formator ... •Baze de date bază, avansat •Internet

System Software Emergency Resolution Lecture #1pirun.ku.ac.th/~b521050166/study/204331/program_linking.pdf · PROGC 000E2 LISTC 00112 ENDC 00124 ESTAB Old M-Table TIP: If (Number