| 
|
Topic: symbolic execution
topics >
computer science >
programming >
automated tests of specifications and designs
Topic:
executable code from specifications and designs
Topic:
interpreter
Topic:
logic programming
Topic:
model checker
Topic:
state machine
Topic:
symbolic manipulation of formulas
Topic:
symbolic representation
Topic:
test data selection
Topic:
theorem proving systems
Summary
Programmers, when testing programs, pick representative inputs which hopefully test a wide class of inputs. Symbolic execution hopes to automate this process by testing an entire class of inputs as a single symbolic value. If this value "executes" correctly, then the entire class should execute correctly. In practice, symbolic execution is difficult to perform even with interactive user support. (cbb 5/80)
Subtopic: manual, symbolic execution
Quote: EFFIGY is an interactive, symbolic execution system; asks user for information, backtracks if choices [»kingJC7_1976] Quote: computing science may provide symbolic calculation that is better than human reasoning; Leibniz's dream [»dijkEW12_1989] Quote: test software by symbolically executing its algebraic sepecification [»guttJV6_1977]
Subtopic: test by symbolic execution
Quote: systematic maintenance programmers perform, by hand, extensive symbolic execution of the data flow paths between subroutines
Subtopic: random interpretation
Quote: test a program by symbolically executing it with a set of classes of inputs [»kingJC7_1976] Quote: TOPD's checkout feature 'symbolically' executes a procedure by using mutually exclusive test states [»hendP9_1975] Quote: turn unit tests into parameterized, data-driven unit tests (PUT); generate inputs by symbolic execution and constraint solving [»tillN7_2006] Quote: short, anonymous error reports by symbolic execution of failed executions and an SMT solver of the path expression; Satisfiability Modulo Theory [»castM3_2008]
Quote: random interpretation assigns random linear interpretations to operators and executes with random inputs; combines program states with a random affine combination
Topic: automated tests of specifications and designs (12 items)
Topic: executable code from specifications and designs (18 items)
Topic: interpreter (59 items)
Topic: logic programming (34 items)
Topic: model checker (49 items)
Topic: state machine (67 items)
Topic: symbolic manipulation of formulas (12 items)
Topic: symbolic representation (26 items)
Topic: test data selection (39 items)
Topic: theorem proving systems
(20 items)