What are special software tools called that let you trace through a program to find runtime errors?
Prove the absence of run-time errors in software Show
Polyspace Code Prover™ proves the absence of overflow, divide-by-zero, out-of-bounds array access, and certain other run-time errors in C and C++ source code. It produces results without requiring program execution, code instrumentation, or test cases. Polyspace Code Prover uses static analysis and abstract interpretation based on formal methods. You can use it on handwritten code, generated code, or a combination of the two. Each operation is color-coded to indicate whether it is free of run-time errors, proven to fail, unreachable, or unproven. Polyspace Code Prover also displays range information for variables and function return values, and can prove which variables exceed specified range limits. Results can be published to a dashboard to track quality metrics and ensure conformance with software quality objectives. Support for industry standards is available through IEC Certification Kit (for IEC 61508 and ISO 26262) and DO Qualification Kit (for DO-178).
 Prove the Absence of Critical Run-Time ErrorsAnalyze all code paths against all possible inputs without code execution. Identify statements that will never experience a run time error, regardless of the run-time conditions and find others that require attention.
Improve Software Design and Code UnderstandingExamine control and data flow through your C/C++ code and see range information associated with variables and operators.
Optimize Software for PerformanceRemove defensive code by identifying safe and secure operations such as division by zero and overflows. Detect code branches that cannot be reached via any execution path. Find errors in logic and program structure, remove them for smaller memory footprint.
Analyze Global Variable UsageReduce time spent debugging read/write operations on
global variables, including variables shared by tasks or threads.
Certification SupportCreate artifacts needed to complete the certification process for industry standards. Certification completed by TÜV SÜD for use with IEC 61508 and ISO 26262 standards. Use reports and artifacts for DO-178C processes.
Simulink and Stateflow IntegrationRun analysis on generated code and trace your findings to source Simulink® model blocks and Stateflow® charts. Launch Polyspace® analysis from within the Simulink environment.
Interactive Analysis on DesktopRun static code analysis on entire or subset of software
projects. Use the desktop tool to generate reports, and review and triage results.
Static Application Security TestingProve the absence of critical security vulnerabilities such as buffer overflows, memory access, and numerical overflows. Reduce the need for Fuzz testing by analyzing code under all code paths and input without code execution. Product Resources:Interested in Polyspace Code Prover?What's Next?What is software trace?One technique that monitors software in real-time debugging is known as "tracing," which involves a specialized use of logging to record information about a program's execution. Programmers typically use this information to diagnose common problems with software and applications.
Is a system program that is used to detect the errors in other programs?Debugging tools (called debuggers) are used to identify coding errors at various development stages. They are used to reproduce the conditions in which error has occurred, then examine the program state at that time and locate the cause.
What kind of tool runs a computer program by figuring out one line at a time?The debugger is a program that can run your program one line at a time. Thus the debugger can show you exactly how the computer sees your code.
Why is it called debugging?The terms "bug" and "debugging" are popularly attributed to Admiral Grace Hopper in the 1940s. While she was working on a Mark II computer at Harvard University, her associates discovered a moth stuck in a relay and thereby impeding operation, whereupon she remarked that they were "debugging" the system.
|
