Proving Absence of Run-Time Errors in Software
Overview
Code review and testing can find bugs, but they alone cannot prove that the software is free from critical run-time bugs. Edsger Dijkstra, a pioneer in computer science, once said “program testing can be used to show the presence of bugs, but never to show their absence!” Yet, many embedded projects interpret the absence of test failures as proof of quality.
This webinar presents techniques that software development teams can adopt to make their software safe and prove the absence of bugs using Polyspace. See how you can find bugs in your code and, more importantly, prove that your code is free from critical run-time errors such as overflows, divide-by-zero, and buffer overflows.
Highlights
- Explore code review, testing, and static analysis
- Prove your code is free from critical run-time errors
- Learn how to make embedded software safe and secure
About the Presenter
Puneet Lal is the Product Marketing Manager for Polyspace products and specializes in software development and product management. He holds master’s degrees in Computer Science from California State University, Chico and Business Administration from Northeastern University. For three years, he taught C++ and Software Engineering as an adjunct professor at Worcester State University.
Recorded: 13 Dec 2018
Featured Product
Polyspace Code Prover
Up Next:
Related Videos:
Web サイトの選択
Web サイトを選択すると、翻訳されたコンテンツにアクセスし、地域のイベントやサービスを確認できます。現在の位置情報に基づき、次のサイトの選択を推奨します:
また、以下のリストから Web サイトを選択することもできます。
最適なサイトパフォーマンスの取得方法
中国のサイト (中国語または英語) を選択することで、最適なサイトパフォーマンスが得られます。その他の国の MathWorks のサイトは、お客様の地域からのアクセスが最適化されていません。
南北アメリカ
- América Latina (Español)
- Canada (English)
- United States (English)
ヨーロッパ
- Belgium (English)
- Denmark (English)
- Deutschland (Deutsch)
- España (Español)
- Finland (English)
- France (Français)
- Ireland (English)
- Italia (Italiano)
- Luxembourg (English)
- Netherlands (English)
- Norway (English)
- Österreich (Deutsch)
- Portugal (English)
- Sweden (English)
- Switzerland
- United Kingdom (English)
アジア太平洋地域
- Australia (English)
- India (English)
- New Zealand (English)
- 中国
- 日本Japanese (日本語)
- 한국Korean (한국어)