• DocumentCode
    917284
  • Title

    A formal analysis of the fault-detecting ability of testing methods

  • Author

    Frankl, Phyllis G. ; Weyuker, Elaine J.

  • Author_Institution
    Dept. of Comput. Sci., Polytech. Univ., Brooklyn, NY, USA
  • Volume
    19
  • Issue
    3
  • fYear
    1993
  • fDate
    3/1/1993 12:00:00 AM
  • Firstpage
    202
  • Lastpage
    213
  • Abstract
    Several relationships between software testing criteria, each induced by a relation between the corresponding multisets of subdomains, are examined. The authors discuss whether for each relation R and each pair of criteria, C1 and C2 , R(C1, C2) guarantees that C1 is better at detecting faults than C2 according to various probabilistic measures of fault-detecting ability. It is shown that the fact that C 1 subsumes C2 does not guarantee that C1 is better at detecting faults. Relations that strengthen the subsumption relation and that have more bearing on fault-detecting ability are introduced
  • Keywords
    program testing; system recovery; fault-detecting ability; formal analysis; multisets; probabilistic measures; software testing criteria; subdomains; subsumption relation; Analytical models; Computer science; Fault detection; NASA; Software systems; Software testing; Space technology; System testing;
  • fLanguage
    English
  • Journal_Title
    Software Engineering, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0098-5589
  • Type

    jour

  • DOI
    10.1109/32.221133
  • Filename
    221133
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=917284