home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / comp / programm / 3596 < prev    next >
Encoding:
Internet Message Format  |  1993-01-25  |  1.8 KB
  1. Path: sparky!uunet!spool.mu.edu!agate!doc.ic.ac.uk!warwick!uknet!yorkohm!minster!pete
  2. From: pete@minster.york.ac.uk
  3. Newsgroups: comp.programming
  4. Subject: Generating typical ``random'' programs
  5. Message-ID: <727969084.4760@minster.york.ac.uk>
  6. Date: 25 Jan 93 13:38:05 GMT
  7. Organization: Department of Computer Science, University of York, England
  8. Lines: 34
  9.  
  10. The problem:
  11.  
  12. I am working on a software tool which generates fault trees from
  13. programs written in an Ada subset. I want to test some ideas on how the
  14. size of the generated fault tree relates to properties of the input code
  15. fragments...
  16.  
  17. Clearly the more programs I throw at it the better. I've put several
  18. examples through it and got interesting results, but what I really want to
  19. do is get hold of hundreds/thousands of legal programs of varying sizes, with
  20. differing mixes of statement types, to submit to the tool as input.
  21.  
  22. We don't have that many programs, so I'll have to generate some which ``look
  23. like'' real programs from the point of view of the FTA tool. I think some
  24. kind of Markov-model approach based on analysis of existing programs
  25. might do the job -- it can generate reasonable travesties of human
  26. language -- but I'd be interested to know if anyone has ever done anything
  27. similar...
  28.  
  29. Somewhere in the literature on test case generation there must have been
  30. work on the generation of legal but not necessarily meaningful programs which
  31. meet given criteria on densities of particular statement types and depth of
  32. nesting, but I haven't managed to find anything yet. 
  33.  
  34. Does anyone have any pointers to similar work? 
  35.  
  36. I'll summarise any responses to the Net.
  37.  
  38. cheers,
  39. pete
  40. --
  41. *Peter Fenelon -- Research Associate -- Software Safety Assessment Procedures*
  42. Dept. of Computer Science, University of York, York, Y01 5DD (+44/0)904 433388
  43. EMAIL: pete@minster.york.ac.uk `There's no room for enigmas in built up areas'
  44.