Abstract
The quality of an expert system is usually measured on the goodness of unexpected advice. Although adequacy is involved rather than correctness, however a minimum of correctness should be reached. Hence, as effectiveness of a KBS implies hard predictability on its results, satisfactory testing can be assured just in an operational-like phase of the system lifecycle. Such assumption is not far away by similar assumptions made by some software reliability approaches, like the Cleanroom Approach. To generalize such parallelisms between knowledge and software engineering concepts, this article explains how to provide knowledge engineering with a complete lifecycle strategy.
Chapter PDF
Similar content being viewed by others
References
Adron S. et alii (1982) Validation, Verification and Testing of Computer Software. Computing Reviews, 14 (2), 1982, 159 - 192.
ANSI/AIAA G-031-1992; Guide for Life Cycle Development of Knowledge Base Systems with DoD-Std-2I67A.
Bastani,F. and Chen, I.R. (1993) The Reliability of Embedded A.I Systems. IEEE Expert, 8 (2), 72 - 78.
Battini F. (1993) Reliability of KBS: from Knowledge Design to a Verification, Validation and Testing Methodology. Proceedings of the 4th Symposium Ada in Aerospace, Brussels;8-11 November 1993.
Goel A.L. (1985) Software Reliability Models. IEEE Transaction on Software Engineering, SE-11(12), 1409 - 10.
Hollnagel (1991) The Reliability of Knowledge Based Systems. Proceedings on Workshop Artificial Intelligence and Knowledge-Based Systems for Space. ESA-ESTEC, Noordwijk, NL, May 1991 ESA WPP-025, vol. 2
Marradi, L. and Battini F. (1992) Verification, Validation and Testing for Autonomous Spacecraft Systems. Proceedings on Electrical Ground Support Equipment Workshop, ESA/ESTEC, Noordwijk (fNNL), ESA-WPP-042
Mills, H.D. and Dyer, M. (1987) Cleanroom Software Engineering. IEEE Software.
Mills, H.D. (1990) Cleanroom: An Alternative Software Development Process; in Aerospace
Software Engineering,(ed. C.Anderson and M.Dorfman), AIAA: Progress in Astronautics
and Aeronautics, 1990.
Musa, J.D. Iannino, A. Okumoto, K. (1987) Software Reliability. McGraw Hill, N.Y.
Musa, J.D. (1993); Operational Profiles in Software Reliability Engineering. IEEE Software, 10 (2), March 1993.
Partridge, D. (1988) Artificial Intelligence Applications in the Future of Software Engineering. Ellis Horwood Limited, Chichester.
Parnas, D. and Van Schouwen, A.J., Kwan S.P. (1990). Evaluation of Safety Critical Software, Communications of the ACM. 33 (6), 636 - 648.
Poore, J.H. and Mills, H.D. Mutchler, D. (1993). Planning and Certifying Software System Reliability; IEEE Software, 10(1), 88-99.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Battini, F. (1996). Software Engineering Concepts for KBS Design and Testing for Reliability. In: Bologna, S., Bucci, G. (eds) Achieving Quality in Software. IFIP — The International Federation for Information Processing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-34869-8_25
Download citation
DOI: https://doi.org/10.1007/978-0-387-34869-8_25
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-4392-0
Online ISBN: 978-0-387-34869-8
eBook Packages: Springer Book Archive