A Formal Notion of Program Based Test Data Adequacy
A Formal Notion of Program Based Test Data Adequacy
Martin Davis
The book A Formal Notion of Program Based Test Data Adequacy was written by author Martin Davis Here you can read free online of A Formal Notion of Program Based Test Data Adequacy book, rate and share your impressions in comments. If you don't know what to write, just answer the question: Why is A Formal Notion of Program Based Test Data Adequacy a good or bad book?
What reading level is A Formal Notion of Program Based Test Data Adequacy book?
To quickly assess the difficulty of the text, read a short excerpt:
J. Weyuker, "Pseudo-Oracles for Non-testable Programs", Proc. ACM National Conference, Los Angeles, November 1981. [4] R. A. DeMillD, R. J. Lipton, and F. G. Sayward, "Hints on Test Data Selection: Help for the Practicing Programmer", Computer, 11(4), April 1978, pp. 34-41. [5] J. L. Elshoff and M. Marcotty, "On the Use of the Cycloraatic Number to Measure Program Complexity, " SIGPUN Notices, Vol. 13, No. 12, Dec 1978, pp. 29^0. [6] W. J. Ffensen, "Measurement of Program Complexity by the Pair... (Cyclomatic Number, Operator Count), " SIGPLAN Notices, Vol. 13, No. 3, March 1978, pp. 29-33. [7] W. E. Howden, "Algebraic Program Testing, " Acta Informatica, Vol. 10, 1973, pp. 53-66. [8] W. E. Howden, "Weak Mutation Testing and Completeness of Test Sets", IEEE Trans. Software Eng . , Vol. SE-8, July 1982, pp. 371-379. [9] T. J. '-fcCabe, "A Complexity Measure, " IEEE Trans. So f twa re Eng. , Vol. SlE-2, No. 4, Dec 1976, op. 308-320. -20- particularly error prone, namely boundary cases and special values.
User Reviews: