Map
Index
Random
Help
Topics
th

Topic: symbolic execution

topics > computer science > programming > Group: testing



Topic:
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: symbolic execution up

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: manual, symbolic execution up

Quote: systematic maintenance programmers perform, by hand, extensive symbolic execution of the data flow paths between subroutines

Subtopic: test by symbolic execution up

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]

Subtopic: random interpretation up

Quote: random interpretation assigns random linear interpretations to operators and executes with random inputs; combines program states with a random affine combination


Related Topics up

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)

Updated barberCB 4/05
Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.