• DocumentCode
    1298502
  • Title

    Axiomatizing software test data adequacy

  • Author

    Weyuker, Elaine J.

  • Author_Institution
    Dept. of Comput. Sci., Courant Inst. of Math. Sci., New York Univ., NY, USA
  • Issue
    12
  • fYear
    1986
  • Firstpage
    1128
  • Lastpage
    1138
  • Abstract
    A test data adequacy criterion is a set of rules used to determine whether or not sufficient testing has been performed. A general axiomatic theory of test data adequacy is developed, and five previously proposed adequacy criteria are examined to see which of the axioms are satisfied. It is shown that the axioms are consistent, but that only two of the criteria satisfy all of the axioms.
  • Keywords
    program testing; programming theory; axiomatic theory; software test data; test data adequacy; Positron emission tomography; Semantics; Shape; Software; Syntactics; Testing; Vectors; Software testing; test data adequacy;
  • fLanguage
    English
  • Journal_Title
    Software Engineering, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0098-5589
  • Type

    jour

  • DOI
    10.1109/TSE.1986.6313008
  • Filename
    6313008
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1298502