can you afford the cost of bugs in your code? · pdf filecan you afford the cost of bugs in...
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