can you afford the cost of bugs in your code? · pdf filecan you afford the cost of bugs in...

Download CAN YOU AFFORD THE COST OF BUGS IN YOUR CODE? · PDF fileCAN YOU AFFORD THE COST OF BUGS IN YOUR CODE? BY MATHWORKS Save time and money by avoiding costly recalls. Automated tools

If you can't read please download the document

Upload: dangkhuong

Post on 07-Feb-2018

219 views

Category:

Documents


0 download

TRANSCRIPT

  • CAN YOU AFFORD THE COST OF BUGS IN YOUR CODE?

    B Y M A T H W O R K S

    Save time and money by avoiding costly recalls. Automated tools can help you identify bugs early in

    development and eliminate run-time errors in source code. Use Polyspace Bug Finder and Polyspace

    Code Prover during software verification, and feel more confident in your development process.

    Average reduction in development time.

    Sources:

    http://spectrum.ieee.org/riskfactor/transportation/safety/nissan-recalls-nearly-1-million-cars-for-airbag-software-fixhttp://money.cnn.com/2014/02/12/autos/toyota-prius-recall/http://www.nytimes.com/2014/10/24/business/audi-recalls-850000-cars-over-airbag-software-flaw.html?_r=0http://www.detroitnews.com/story/business/autos/general-motors/2014/09/20/gm-recalls-cars-braking-problem/15950569/http://blog.caranddriver.com/gm-recalls-1-3-million-cars-for-power-steering-issue-unrelated-to-ignition-switch-problem/http://www.gurufocus.com/news/294545/ford-recalls-fusion-is-it-a-cause-for-worryhttp://www.mckinsey.com/~/media/mckinsey/dotcom/client_service/public sector/regulatory excellence/the_business_case_for_medical_device_quality.ashxhttp://www.fda.gov/downloads/AboutFDA/CentersOffices/OfficeofMedicalProductsandTobacco/CDRH/CDRHTransparency/UCM388442.pdf

    Cost to fix bugs during testing

    Cost to fix bugs during production

    POTENTIAL COST TO MANUFACTURERS:

    POTENTIAL COST TO THE INDUSTRY:

    Find ALL the bugs in your code, BEFORE production.

    SPEND 10x LESS FIXING BUGS

    70%SOFTWARE

    ERRORS

    1.5 DAYS

    Automotive Recalls

    Medical Device Recalls

    34%PROFIT LOSS

    13%STOCK REDUCTION

    Frequency of vehicle recalls due to software errors.

    (2014 data)

    Main problem in the most frequently recalled

    medical device.

    $650MILLION

    $2BILLION

    12%

    TALK TO AN EXPERT

    LEARN ABOUT

    POLYSPACE BUG FINDER

    LEARN ABOUT

    POLYSPACE CODE PROVER

    mathworks.com/polyspace

    static v

    oid poin

    ter_arit

    hmetic (

    void) {

    int

    array[10

    0];

    int

    *p = arr

    ay;

    int

    i;

    for

    (i = 0;

    i < 100;

    i++) {

    *p

    = 0;

    p+

    +;

    }

    if (ge

    t_bus_st

    atus() >

    0) {

    if (

    get_oil_

    pressure

    () > 0)

    {

    *p

    = 5;

    } el

    se {

    i+

    +;

    }

    }

    i = ge

    t_bus_st

    atus();

    if (i

    >= 0) {

    *(p

    - i) = 1

    0;

    }

    }

    SOFTWARE BUGS CAN LEAD TO COSTLY RECALLS

    1 EVERY6

    SECONDS

    SAVE TIME AND MONEY USING AUTOMATED TOOLS

    USE POLYSPACE TOOLS: STOP BUGS BEFORE THEY STOP YOU

    MISRA, M

    ETRIC

    S, DO

    178

    , SEC

    URIT

    Y, IS

    O 26

    262,

    ROBUSTN

    ESS, CWE, PROOF

    POLYSPACE

    https://www.mathworks.com/products/polyspace-bug-finder/expert-contact.html?s_eid=PEP_12257https://www.mathworks.com/products/polyspace-bug-finder/?s_eid=PEP_12257https://www.mathworks.com/products/polyspace-code-prover/?s_eid=PEP_12257https://www.mathworks.com/products/polyspace/?s_eid=PEP_12257