Algorithmic program debugging
id:
algorithmic-program-debugging-307-18021629
title:
Algorithmic program debugging
text:
Algorithmic debugging is a debugging technique that compares the results of sub-computations with what the programmer intended. The technique constructs an internal representation of all computations and sub-computations performed during the execution of a buggy program and then asks the programmer about the correctness of such computations. By asking the programmer questions or using a formal specification, the system can identify precisely where in a program a bug is located. Debugging techniq
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Algorithmic_program_debugging
date created:
date modified:
2021-06-11T09:37:44Z
main entity:
{"identifier":"Q17084976","url":"https://www.wikidata.org/entity/Q17084976"}
image:
fields total:
13
integrity:
13