home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / comp / specific / 542 < prev    next >
Encoding:
Text File  |  1992-11-19  |  3.7 KB  |  106 lines
  1. Newsgroups: comp.specification
  2. Path: sparky!uunet!zaphod.mps.ohio-state.edu!magnus.acs.ohio-state.edu!usenet.ins.cwru.edu!ukma!daffodil!news.cs.odu.edu!zeil
  3. From: zeil@renenutet.cs.odu.edu (Steven J. Zeil)
  4. Subject: Re: Testing
  5. In-Reply-To: emcdnnll@cs.tcd.ie's message of Wed, 11 Nov 1992 12: 02:50 GMT
  6. Message-ID: <ZEIL.92Nov19164524@renenutet.cs.odu.edu>
  7. Sender: news@cs.odu.edu (News File Owner)
  8. Nntp-Posting-Host: renenutet.cs.odu.edu
  9. Organization: Old Dominion University, Norfolk, VA, USA
  10. References: <1992Nov11.120250.12884@cs.tcd.ie>
  11. Date: Thu, 19 Nov 1992 21:45:24 GMT
  12. Lines: 92
  13.  
  14. In article <1992Nov11.120250.12884@cs.tcd.ie> emcdnnll@cs.tcd.ie (Eoin McDonnell) writes:
  15.  
  16.    Newsgroups: comp.specification
  17.    Path: daffodil!concert!gatech!destroyer!uunet!mcsun!ieunet!tcdcs!emcdnnll
  18.    From: emcdnnll@cs.tcd.ie (Eoin McDonnell)
  19.    Summary: Ref's req'd for use of formal spec's in software testing
  20.    Keywords: Testing,formal specification
  21.    Organization: Computer Science, Trinity College Dublin
  22.    Date: Wed, 11 Nov 1992 12:02:50 GMT
  23.    Lines: 10
  24.  
  25.  
  26.    Hi all,
  27.  
  28.    I'm interested in finding out how formal specifications can be used to
  29.    help design test programmes for software.   Any references would be
  30.    appreciated.
  31.  
  32.    Thanks,
  33.  
  34.    Eoin Mc Donnell.               emcdnnll@cs.tcd.ie
  35.  
  36.  
  37.  
  38. Formal specs can come into play in testing in two ways. 
  39.  
  40. First, all testing depends upon the existence of an "oracle" to
  41. examine test inputs and program outputs and detect the presence of
  42. failures (incorrect results).  This oracle is most often provided via
  43. human inspection of the input/output data or via textual comparison
  44. against a file of previously recorded expected results.  However, any
  45. scheme for animating/evaluating specifications can also help to serve
  46. as an oracle (at the risk of allowing errors in the specification that
  47. were faithfully copied into the design to go undetected).  Such
  48. automated aids can be of immense use in situations where many
  49. thousands or tens of thousands of tests are being run.  
  50.  
  51.  
  52.  
  53. Second, the spec can be used as the source of information from which
  54. test cases are generated or against which the suitability of tests
  55. sets is measured.  Here's a sampler of several very different
  56. approaches to such specification-based testing:
  57.  
  58. @article{Bouge/test-gen-logic,
  59.    author = "L. Bouge and N. Choquet and L. Fribourg and M. C. Gaudel",
  60.    journal = "Journal of Systems and Software",
  61.    month = Nov,
  62.    number = "4",
  63.    pages = "343--360",
  64.    title = "Test Sets Generation From Algebraic Specifications Using
  65.         Logic Programming",
  66.    volume = "6",
  67.    year = "1986"
  68. }
  69.  
  70. @article{Gannon/daists,
  71.    author = "John Gannon and Paul Mc{M}ullin and Richard Hamlet",
  72.    journal = "ACM Transactions on Programming Languages and Systesm",
  73.    month = Jul,
  74.    number = "3",
  75.    pages = "211--223",
  76.    title = "Data-Abstraction Implementation, Specification, and Testing",
  77.    volume = "3",
  78.    year = "1981"
  79. }
  80.  
  81.  
  82. @techreport{Luckham/anna-debugging,
  83.    author = "David C. Luckham and Sriram Sankar and Shuzo Takahashi",
  84.    address = "Stanford CA",
  85.    institution = "Stanford University Computer Systems Laboratory",
  86.    month = Apr,
  87.    number = "CSL--TR--89--379",
  88.    title = "Two Dimensional Pinpointing: An Application of Formal
  89.       Specification to Debugging Packages",
  90.    year = "1989
  91. "
  92. }
  93.  
  94. @article{Wild/refinement-jtvr,
  95.    author = "Christian Wild and Steven Zeil and Ji Chen and Gao Feng",
  96.    journal = "{\rm to appear in} Journal of Software Testing,
  97.    Verification, and Reliability",
  98.    title = "Employing Accumulated Knowledge to Refine Test Cases",
  99.    year = "1992-93"
  100.    note = "also available as Old Dominion University report TR-91-14"
  101. }
  102.  
  103. (Well, I couldn't resist putting ONE of my own papers in there.)
  104.  
  105.                                                      Steve Zeil
  106.