A survey of tools for the validation and verification of knowledge-based systems: 1985–1995
Decision Support SystemsPublished 1 December 1997Open access
Stephen Murrell, Robert T. Plant
Citations35
SJR quartileQ1
SJR score2.37
SNIP2.59
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
A survey of software tools built to assist in the verification and validation of knowledge-based systems found which testing and analysis techniques were utilised and covered by their tool.
Abstract
This paper presents the findings of a survey of software tools built to assist in the verification and validation of knowledge-based systems. The tools were identified from literature sources from the period 1985–1995. The tool builders were contacted and asked to complete and return a survey that identified which testing and analysis techniques were utilised and covered by their tool. From these survey results it is possible to identify trends in tool development, technique coverage and areas for future research.
Keywords
Computer Science
Science of Computer ProgrammingStatecharts: a visual formalism for complex systems
6,691 Citations1987David Harel
It is intended to demonstrate here that statecharts counter many of the objections raised against conventional state diagrams, and thus appear to render specification by diagrams an attractive and plausible approach.
Communications of the ACMSymbolic execution and program testing
2,991 Citations1976James C. King
A particular system called EFFIGY which provides symbolic execution for program testing and debugging is described, which interpretively executes programs written in a simple PL/I style programming language.
Prentice Hall International (UK) Ltd. eBooksSystematic software development using VDM
1,725 Citations1986Cli B. Jones
Logic of propositions reasoning about predicates functions and operations set notation composite objects and invariants map notation sequence notation data rectification more on data types operation decomposition.
CERN Document Server (European Organization for Nuclear Research)Introduction to simulation and SLAM II
1,238 Citations1979A. Alan B. Pritsker
This volume discusses simulation techniques and procedures, simulation approaches to problem resolution, applications of simulation, and more, using SLAM, an advanced FORTRAN language for simulation models.
CERN Document Server (European Organization for Nuclear Research)Strategies for Real-Time System Specification
833 Citations1987Derek J. Hatley, Imtiaz A. Pirbhai
The Hatley-Pirbhai techniques, now widely used in major avionics and electronics companies worldwide, are automated by most major CASE tools, including TurboCASE/Sys by StructSoft, Inc.
Communications of the ACMThe category-partition method for specifying and generating functional tests
795 Citations1988Thomas J. Ostrand, Marc Balcer
A method for creating functional test suites has been developed in which a test engineer analyzes the system specification, writes a series of formal test specifications, and then uses a generator tool to produce test descriptions from which test scripts are written.
IEEE Transactions on Software EngineeringAdvances in software inspections
627 Citations1986Michael Fagan
Studies and experiences are presented which enhance the use of the inspection process and improve its contribution to development of defect-free software on time and at lower cost.
IEEE Transactions on Software EngineeringSafety Analysis Using Petri Nets
438 Citations1987Nancy G. Leveson, Janice L. Stolzy
The application of Time Petri net modeling and analysis techniques to safety-critical real-time systems is explored and procedures described which allow analysis of safety, recoverability, and fault-tolerance.
ACM Computing SurveysValidation, Verification, and Testing of Computer Software
431 Citations1982W. Richards Adrion, Martha Branstad +1 more
This paper surveys current verification, validation, and testing approaches and discusses their strengths, weaknesses, and life-cycle usage and describes automated tools used toplement vahdation, verification, and testmg.
IEEE Transactions on Software EngineeringToward a theory of test data selection
318 Citations1975John B. Goodenough, Susan L. Gerhart
IEEE SoftwareThe Larch Family of Specification Languages
278 Citations1985John V. Guttag, J. J. Horning +1 more
Studies in computer science and artificial intelligenceKnowledge Base Verification
252 Citations1989W. A. Perkins, Thomas J. Laffey +2 more
Several tools and techniques for validating a knowledge base are described, with emphasis on the rule checker, which has saved engineers from many hours of tedious debugging.
IEEE Transactions on Software EngineeringThe transformation schema: An extension of the data flow diagram to represent control and timing
248 Citations1986Paul T. Ward
An extension of the data flow diagram called the transformation schema is described, which provides a notation and formation rules for building a comprehensive system model, and a set of execution rules to allow prediction of the behavior over time of a system modeled in this way.
Workshops in computingSpecification and Verification of Concurrent Systems
232 Citations1990Charles Rattray
This book discusses the Interplay of Theory and Practice in a Parallel Object-Oriented Language, and a Functional Programming Approach to the Specification and Verification of Concurrent Systems.
IEEE Transactions on Software EngineeringTheories of Program Testing and the Application of Revealing Subdomains
224 Citations1980Elaine J. Weyuker, Thomas J. Ostrand
The concepts of a revealing test criterion and a revealing subdomain are proposed and used to provide a basis for constructing program tests.
IEEE SoftwareSoftware verification and validation: an overview
186 Citations1989Dolores R Wallace, Roger Fujii
IEEE Transactions on Software EngineeringFunctional Program Testing
178 Citations1980William E. Howden
An approach to functional testing is described in which the design of a program is viewed as an integrated collection of functions and the selection of test data depends on the functions used in the design and on the value spaces over which the functions are defined.
Manprint: An Approach to Systems Integration
82 Citations1990Harold R. Booher
IEEE Transactions on Software EngineeringAn Experimental Study of Software Metrics for Real-Time Software
47 Citations1985H.A. Jensen, K. Vairavan
The results of an experimental investigation of some important metrics and their relationship for a class of 202 Pascal programs used in a real-time distributed processing environment are reported and discussed.
ACM SIGSOFT Software Engineering NotesAn extended systems modeling language (ESML)
42 Citations1988William Bruyn, Randall Jense +2 more
ESML (Extended Systems Modeling Language) is a new system modeling language based on the Ward-Mellor and Boeing structured methods techniques, both of which have proposed certain extensions of the DeMarco data flow diagram notation to capture control and timing information.
International Journal of Man-Machine StudiesIntegrated knowledge-based system design and validation for solving problems in uncertain environments
39 Citations1992Ed P. Andert
Tools and techniques can be used to meet the need for a legitimate, integrated approach to validation and testing of KBSs as they are developed to determine system reliability.
NASA Technical Reports Server (NASA)Building validation tools for knowledge-based systems
32 Citations1987Rolf A. Stachowitz, C. L. Chang +2 more
A declarative meta-language, is used to create a generic version of EVA to validate applications written in arbitrary expert system shells to check the correctness, consistency and completeness of a knowledge-based system.
Chemical Engineering CommunicationsQUALITATIVE MODELING AND FAULT DIAGNOSIS OF DYNAMIC PROCESSES BY MIDAS†
31 Citations1990Olayiwola Oluwemimo Oyeleye, F.E. Finch +1 more
DSpace@MIT (Massachusetts Institute of Technology)Qualitative modeling of continuous chemical processes and applications to fault diagnosis
26 Citations1989Olayiwola Oluwemimo Oyeleye
NASA Technical Reports Server (NASA)Approaches to the verification of rule-based expert systems
26 Citations1987Chris Culbert, Gary Riley +1 more
If proper techniques are used to document requirements, V and V of rule-based expert systems is possible, and may be easier than with conventional code.
Expert Systems with ApplicationsDynamic testing of knowledge bases using the heuristic testing approach
25 Citations1990Lance A. Miller
A novel approach for the dynamic testing of expert system rule bases, based on the idea of first testing systems for disastrous safety and integrity problems before testing for primary functions and other classes of problems, and a prioritized series of 10 classes of faults are identified.
Software validation, verification, and testing technique and tool reference guide
23 Citations1982Patricia B Powell
ACM SIGSOFT Software Engineering NotesA survey of software functional testing methods
14 Citations1991A.A. Omar, Fihri Mohammed
The paper surveys the different methods of generating test data for both techniques; the black box and the program dependent techniques.
Stem — A Project on Software Test and Evaluation Methods
14 Citations1987Peter Bishop, D.G. Esp +7 more
Of the many types of test data examined, comparison testing with uniform random data seemed to be the most effective (even when compared with specially designed tests) for the particular programs used in the STEM project.
Teaching principles of computer programming
12 Citations1987Harlan D. Mills, Victor R. Basili +2 more
A first course of two semesters in computer science that is based on mathematical principles of computer program analysis and design, rather than on apprenticeship programming, which is modeled on elementary mathematics courses in both content and pedagogy.
Handbook of software quality assurance techniques applicable to the nuclear industry
5 Citations1987Julia J. Bryant, N.P. Wilburn
This handbook defines the content of a software quality assurance program by enumerating the techniques applicable and identifying the priorities for such a program.
Formal system specifications: A case study of three diverse representations
2 Citations1990G.H. Chisholm, Brian T. Smith +1 more
The only effective way to raise the confidence level of a program significantly is to give a convincing proof of its correctness, so the programmer should let correctness proof and program grow hand in hand.