Runtime error detection is a software verification method that analyzes a software application as it executes and reports defects that are detected during...
2 KB (165 words) - 11:51, 22 October 2024
Dynamic program analysis (redirect from Memory error detection)
run-time threading and memory error analysis in Windows. Parasoft Insure++ is a runtime memory analysis and error detection tool. Its Inuse component provides...
9 KB (1,074 words) - 08:27, 15 July 2024
Parasoft C/C++test (section Runtime error detection)
generation and execution, code coverage analysis, regression testing, runtime error detection, requirements traceability, and code review. It's a commercial...
18 KB (1,844 words) - 21:28, 20 August 2024
Memory safety (category CS1 errors: missing periodical)
pointers. For example, Java is said to be memory-safe because its runtime error detection checks array bounds and pointer dereferences. In contrast, C and...
18 KB (1,933 words) - 23:34, 14 November 2024
overall security posture Runtime verification Runtime error detection Dynamic program analysis "Gartner IT Glossary: Runtime Application Self-Protection(RASP)"...
5 KB (488 words) - 14:06, 21 November 2024
Unit test-case generation and execution, regression testing, runtime error detection, and code review. Parasoft Jtest, an automated Java software testing...
10 KB (1,174 words) - 21:25, 20 August 2024
Memory debugger (redirect from Memory leak detection)
(computer programming) List of performance analysis tools Debugger Runtime error detection Software testing Software engineering Computer programming Core...
7 KB (418 words) - 15:55, 10 December 2024
one. Astrée – finds all potential runtime errors by abstract interpretation, can prove the absence of runtime errors and can prove functional assertions;...
38 KB (1,197 words) - 18:55, 3 December 2024
Parasoft (category CS1 errors: missing periodical)
traditional software development as well as parallel. Starting with runtime error detection for C and C++ with their Insure++ product, they also added capabilities...
9 KB (695 words) - 19:50, 23 October 2024
programming) Runtime error detection Runtime application self-protection (RASP) Ezio Bartocci and Yliès Falcone (eds), Lectures on Runtime Verification...
31 KB (4,441 words) - 16:05, 20 December 2024
Testing. Runtime error detection - This evaluates the actual running of an API and focuses on monitoring, execution errors, resource leaks, and error detection...
12 KB (1,259 words) - 12:54, 29 October 2024
Monkey testing Random testing Coordinated vulnerability disclosure Runtime error detection Security testing Smoke testing (software) Symbolic execution System...
46 KB (4,900 words) - 16:10, 20 December 2024
Bounds checking (category Computer errors)
2017 at least GCC supports MPX extensions. Dynamic code analysis Runtime error detection Static code analysis Cowan, C; Wagle, F; Calton Pu; Beattie, S;...
11 KB (1,236 words) - 22:06, 17 December 2024
BoundsChecker (Automated runtime error detection) DevPartner Studio DevPartner Java Edition SmartCheck (Visual Basic Error Detection) TrueTime (Profiling)...
4 KB (375 words) - 01:54, 27 September 2023
Type system (redirect from Runtime type checking)
runtime errors). For example, consider a program containing the code: if <complex test> then <do something> else <signal that there is a type error>...
57 KB (7,206 words) - 20:52, 22 December 2024
metrics for all tested code. Runtime error detection Software development "A Survey of Systems for Detection Serial Run-Time Errors" (PDF). Iowa State University...
4 KB (344 words) - 20:38, 30 March 2023
Software bug (redirect from Application Error)
languages include features that add runtime overhead in order to prevent some bugs. For example, many languages include runtime bounds checking and a way to...
40 KB (4,671 words) - 10:08, 24 December 2024
List of unit testing frameworks (category CS1 errors: generic name)
"atata-framework/atata". GitHub.com. 22 June 2022. "DbUnit.NET". sourceforge.net. "ErrorUnit". ErrorUnit.com. "fixie/fixie". GitHub. 27 June 2022. "mb-unit - The Gallio...
187 KB (6,816 words) - 02:37, 7 December 2024
testing, system testing, security testing, simulation and mocking, runtime error detection, web UI testing, interoperability testing, WS-* compliance testing...
6 KB (474 words) - 12:08, 5 July 2024
for detecting concurrency errors (such as data races) in concurrent programs, where a runtime monitor is used to predict errors which did not happen in...
14 KB (1,499 words) - 21:30, 20 August 2024
Just-in-time compilation (redirect from Runtime compiler)
compilation are particularly suited for dynamic programming languages, as the runtime system can handle late-bound data types and enforce security guarantees...
27 KB (3,258 words) - 17:57, 23 December 2024
C standard library (redirect from C runtime)
(Bounds-checking interfaces), and implemented approximately in Microsoft’s C/++ runtime (CRT) library for the Win32 and Win64 platforms. (By default, Microsoft...
37 KB (3,654 words) - 17:14, 20 November 2024
Software construction (category Harv and Sfn no-target errors)
defect detection rate. An experiment involving experienced programmers found that on average they were able to find 5 errors (9 at best) out of 15 errors by...
24 KB (2,936 words) - 11:54, 31 October 2024
magnetic drums connected via relays, with a voting method of memory error detection (triple modular redundancy). Several other machines were developed...
36 KB (4,785 words) - 17:15, 4 September 2024
Deadlock (computer science) (redirect from Deadlock detection)
Mounier, Laurent (2006). "Confirmation of deadlock potentials detected by runtime analysis". Proceedings of the 2006 workshop on Parallel and distributed...
25 KB (2,487 words) - 13:29, 15 September 2024
Kernel panic (category Computer errors)
Unix kernel maintains internal consistency and runtime correctness with assertions as the fault detection mechanism. The basic assumption is that the hardware...
16 KB (1,642 words) - 06:38, 14 November 2024
BoundsChecker (section Leak detection)
intrusive analysis and monitors all calls by the application to the C Runtime Library, Windows API and calls to COM objects. By monitoring memory allocations...
9 KB (1,199 words) - 21:25, 20 August 2024
symbolic execution low level program inspection program instrumentation and runtime monitoring JPF has no fixed notion of state space branches and can handle...
7 KB (738 words) - 21:22, 20 August 2024
by which routing is configured with fixed values which do not change at runtime unless manually edited. Static routes are used with and without dynamic...
11 KB (1,266 words) - 02:24, 24 December 2024
Software regression (redirect from Regression detection)
e1750. doi:10.1002/stvr.1750. ISSN 1099-1689. S2CID 225416138. "Analyze runtime performance". Chrome Developers. Google. Retrieved 7 November 2021. "Performance...
17 KB (1,834 words) - 03:27, 29 August 2023