A survey of tools for the validation and verification of knowledge-based systems: 1985-1995

Decision Support Systems

Volumn 21, Issue 4, 1997, Pages 307-323

  Murrell, Stephen ^a   Plant, Robert T ^b  

^a University of Miami   (United States)

^b UNIVERSITY OF MIAMI   (United States)

Author keywords

Knowledge based system testing; Testing; Validation; Validation tools; Verification; Verification tools

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SOFTWARE SELECTION AND EVALUATION; DECISION SUPPORT SYSTEMS; ERROR ANALYSIS;

SYSTEM VALIDATIONS; VERIFICATION TOOLS;

KNOWLEDGE BASED SYSTEMS;

EID: 0031382480     PISSN: 01679236     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0167-9236(97)00047-X     Document Type: Article

References (63)

1. E.P. Andert, Integrated knowledge-based system design and validation for solving problems in uncertain environments, Int. J. Man-Machine Stud. 36 (1992) 357-373.
2. M. Alford, SREM at the age of eight: The distributed computing design system, Computer 18 (4) (1985) 36-45.
3. M. Barnes, P. Bishop, B. Bjarland, G. Dahll, D. Esp, J. Lahti, H. Valisuo, P. Humphreys, Software testing and evaluation methods (The STEM Project), OECD Halden Reactor Project Report, No. HWR-210, May 1987.
4. B. Beizer, Software Testing Techniques, 2nd edn., Van Nostrand-Reinhold, New York, 1990.
5. Barry W. Boehm, Software Engineering Economics, Prentice-Hall, Englewood Cliffs, NJ, 1981.
6. H. Booher (Ed.), MANPRINT: An Approach to Systems Integration, Van Nostrand-Reinhold, New York, 1990.
7. W. Bruyn, R. Jensoon, D. Keskar, P. Ward, ESML: An extended systems modeling language, ACM Software Eng. Notes 13 (1) (1988) 58-67.
8. BSI Standards, Guide to the Assessment of Reliability of Systems Containing Software.
9. CHI (Computer-Human Interaction): Conference Proceedings on Human Factors in Computing Systems, sponsored by the ACM SIGCHI, Austin, 30 April-4 May 1989, pp. 265-268.
10. G.H. Chisholm, B.T. Smith, A.S. Wojoik, Formal system specifications - a case study of three diverse representations, Argonne National Laboratory Report ANL-90/43, December 1990.
11. C. Culbert, G. Riley, RT. Savely, Approaches to the verification of rule-based expert systems, Proceedings of the First Annual Workshop on Space Operations Automation and Robotics Conference (SOAR '87), Houston, TX, 1987.
12. A. Davis, Software Requirements Analysis and Specification, Prentice-Hall, New York, 1990.
13. M. Deutsch, Software Verification and Validation: Realistic Project Approaches, Prentice-Hall, Englewood Cliffs, NJ, 1982.
14. R.H. Dunn, Software Defect Removal, McGraw-Hill, New York, 1984.
15. EPRI '93, Survey and assessment of conventional software verification and validation techniques, SPRI TR-102106, Project 3093-01, Final report, February 1993.
16. M.E. Fagan, Advances in software inspection, IEEE Trans. Software Eng. SE-12 (7) (1986) 744-751.
17. A. Ginsberg, A metalinguistic approach to the construction of knowledge-based refinement systems, Proc. IJCAI, Los Angeles, CA, August 1985, pp. 367-374.
18. J.B. Goodenough, S.L. Gerhart, Towards a theory of test data selection, IEEE Trans. Software Eng. SE-1 (2) (1975) .
19. J.V. Guttag, J.J. Horning, J.M. Wing, The larch family of specification languages, IEEE Software 2 (5) (1985) 24-36.
20. D. Harel, Statecharts A visual formalism for complex systems, Science of Computer Programming, Vol. 8, North-Holland Elsevier, New York, 1987, pp. 231-274.
21. B. Hartway, J. Young, D. Thomas, Simulation characterization, Proceedings of the Third International Conference on Software for Strategic Systems, 27-28 February 1990, Huntsville, AL, pp. 64-85.
22. D. Hatley, I. Rrbhai, Strategies for Real-Time System Specification, Dorset House, New York, 1987.
23. C.A.R. Hoare, J.C. Sheperdson (Eds.), Mathematical Logic and Programming Languages, Prentice-Hall, New York, 1985.
24. W.E. Howden, Functional program testing, IEEE Trans, Software Eng. SE-6 (2) (1980) 162-169.
25. D.C. lnce, The Automatic Generation of Test Data, Computer J. 30 (1) 63-69.
26. H. Jensen, K. Vairavan, An experimental study of software metrics for real-time software, IEEE Trans. Software Eng. SE-11 (2) (1985) 231-234.
27. R. Jensen, C. Tonies, Software Engineering, Prentice-Hall, Englewood Cliffs, NJ, 1979.
28. C. Jones, Systematic Software Development Using VDM, Prentice-Hall, New York, 1986.
29. J.C. King, Symbolic execution and program testing, Commun. ACM 1 (7) (1976) 385-394.
30. N.G. Leveson, J.L. Stolzy, Safety analysis using Petri nets, IEEE Trans. Software Eng. SE-13 (3) (1987) .
31. J. Llinas, S. Riui, M. McCown, The test and evaluation process for knowledge-based systems, SAIC final contract report, Contract no. F30602-85-G-0313 C, Task 86-001-01, prepared for Rome Air Development Center, 1987.
32. M. Mehrotra, C. Wild, Multi-viewpoint clustering analysis, Working Notes, Vol. 6, Workshop on Verification and Validation of KBS at AAAI, Washington, DC, pp. 52-63.
33. E. Miller, Better Software Testing, Proceedings of the Third International Conference on Software for Strategic Systems, 27-28 February 1990, Huntsville, AL, pp. 1-7.
34. L.A. Miller, Dynamic testing of knowledge bases using the heuristic testing approach, Expert Systems Applications Int. J. 1 (1990) 249-269.
35. L.A. Miller, A realistic industrial-strength life-cycle model for knowledge-based system development and testing, Paper presented at the Third Annual Workshop on Verification and Validation of Knowledge-Based Systems Held at the meeting of the American Association for Artificial Intelligence, 29 July 1990, Boston. Published in AAAI Proceedings, Winter 1990.
36. H. Mills, V. Basili, J. Gannon, R. Hamlet, Principles of Computer Programming: A Mathematical Approach, Wm. C. Brown, New York, 1987.
37. R. Milner, A calculus of communicating systems, Laboratory for the Foundations of Computer Science, Edinburgh University Report No. ECS-L FCS-86-7, 1986.
38. G.J. Myers, The Art of Software Testing, Wiley, New York, 1979.
39. NBS 500-75, Validation, verification, and testing of computer software, February 1981.
40. NBS 500-93, Software validation, verification, and testing technique and tool reference guide, September 1982.
41. P. Ng, R. Yeh (Eds.), Modern Software Engineering: Foundations and Current perspectives, Van Nostrand-Reinhold, New York, 1990.
42. NREG/CR-4227, W. Gilmore, Human engineering guide-lines for the evaluation and assessment of video display unit, July 1985.
43. NUREG/CR-4640, PNL-5784, Handbook of Software Quality Assurance Techniques Applicable to the Nuclear Industry, August 1987.
44. T. Nuyen, W. Perkins, T. Laffey, D. Pecora, Knowledge base verification, Al Mag. 8 (1987) 65-69.
45. A. Omar, F. Mohammed, A survey of software functional testing methods, ACM SIGSOFT Software Eng. Notes 16 (2) (1991) 75-82.
46. T. Ostrand, M. Baker, The category-partition method for specifying and generating functional tests, Commun. ACM 31 (6) (1988).
47. O. Oyeleye, Qualitative modeling of continuous chemical processes and applications to fault diagnosis, PhD dissertation, Massachusetts Institute of Technology, February 1990.
48. D. Parnas, D. Smith, T. Pearce, Making formal software documentation more practical, a progress report, Technical Report 88-236, ISSN 0836-0227, Queen's University at Kingston, 1988.
49. A.A.B. Pritsker, Introduction to Simulation and SLAMII, Wiley, New York, 1986.
50. J. Rasmussen, K. Vicente, Cognitive control of human activities and errors Implications for ecological interface design, Paper presented at the Fourth International Conference on Event Perception and Action, Trieste, Italy, 24-28 August 1987.
51. C. Rattray (Ed.), Specification and Verification of Concurrent Systems, Springer-Verlag, New York, 1990.
52. J. Rushby, Quality measures and assurance for Al software, NASA Contractor Report No. 4187, prepared for Langley Research Center under Contract NASA-17067, October 1988.
53. J. Rushby, An introduction to formal specification and verification using EHDM, SRI International CSL Technical Report SRI-CSL-91-02, February 1991.
54. SENTAR '95, Distributed Hybrid Systems Validation and Verification Database Annex C, Sentar, 4910 Corporate Drive, Suite C, Huntsville, AL 35805.
55. R.A. Stachowitz, C.L. Chang, T.S. Stock, J.B. Coombs, Building validation tools for knowledge-based systems, First Annual Workshop on Space Operations Automation and Robotics (SOAR '87), Houston, TX, 5-7 August 1987, pp. 209-216.
56. A. Sudduth, Diagnostic reasoning using qualitative causal models, Paper presented at the Electric Power Research Institute Conference and Expert System Applications for the Electric Power Industry, Boston, 9-11 September 1991.
57. D. Teichroew, E. Hershey III, PSL/PSA: A computer-aided technique for structure documentation and analysis of information-processing systems, IEEE Trans. Software Eng. SE(3)-1 (1977) 41-48.
58. C. Tung, On control flow error detection and path testing, Proceedings of the Third International Conference on Software for Strategic Systems, Huntsville, AL, 27-28 February 1990, pp. 144-153.
59. UK Ministry of Defense Draft Interim Defense Standard 00-55, Requirements for the Procurement of Safety Critical Software in Defense Equipment, 9 May 1989.
60. R. Wallace, Dolores, R.U. Fujii, Software verification and validation: An overview, IEEE Software 6 (3) (1989) .
61. R. Wallace, J. Stockenberg, R. Charette, A Unified Methodology for Development Systems, McGraw-Hill, New York, 1987.
62. P. Ward, The transformation schema: An extension of the data flow diagram to represent control and timing, IEEE Trans. Software Eng. 12 (2) (1986) 128-210.
63. E. Weyuker, T. Ostrand, Theoriesof program testing and the application of revealing subdomains, IEEE Trans. Software Eng. SE-G (3) (1980).