Advertisement

KITSS: Using knowledge-based software engineering for functional testing

  • Uwe Nonnenmann
  • John K. Eddy
Verification and Validation
Part of the Lecture Notes in Computer Science book series (LNCS, volume 604)

Abstract

Automated testing of large embedded systems is one of the most expensive and time-consuming parts of the software life cycle. The Knowledge based Interactive Test Script System (KITSS) automates functional testing in the domain of telephone switching software. KITSS uses novel Artificial Intelligence approaches to improving this Software Engineering activity. KITSS has a statistical parser to support the specification of test cases in English. These tests are converted into a formal representation that is audited for coverage and sanity. To accomplish the conversion, KITSS uses a theorem prover-based inference mechanism and a knowledge base as the domain model with both a static terminological logic and a dynamic temporal logic. Finally, the corrected tests are translated into an automated test language.

Keywords

Software testing large embedded systems knowledge-based software engineering statistical parsing automatic programming 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Andreae, 1985]
    Andreae P.: Justified generalization: Acquiring procedures from examples. In MIT AI Lab Technical Report 834, 1985.Google Scholar
  2. [Balzer et al., 1977]
    Balzer R., Goldman N., and Wile D.: Informality in program specifications. In Proceedings of the 5th International Joint Conference on Artificial Intelligence, Cambridge, MA, 1977.Google Scholar
  3. [Barstow, 1987]
    Barstow, D.R.: Artificial Intelligence and Software Engineering. In Proceedings of the 9th International Conference on Software Engineering, Monterey, CA, 1987.Google Scholar
  4. [Brachman et al., 1990]
    Brachman, R.J., McGuinness, D.L., Patel-Schneider, P.F., Alperin Resnick, L., and Borgida, A.: Living with CLASSIC: When and how to use a KL-ONE-like language. In Formal Aspects of Semantic Networks, J. Sowa, ed., Morgan Kaufmann, 1990.Google Scholar
  5. [Brodie et al., 1984]
    Brodie, M.L., Mylopoulos, J., and Schmidt, J.W.: On conceptual modeling: Perspectives from Artificial Intelligence. Springer Verlag, New York, NY, 1984.Google Scholar
  6. [Brooks, 1987]
    Brooks, F.P.: No silver bullet: Essence and accidents of software engineering. Computer, Vol. 20, No. 4, April 1987.Google Scholar
  7. [Howden, 1985]
    Howden, W.E.: The theory and practice of functional testing. IEEE Software, September 1985.Google Scholar
  8. [Iscoe et al., 1989]
    Iscoe N., Browne J.C., and Werth J.: An object-oriented approach to program specification and generation. Technical Report, Dept. of Computer Science, University of Texas at Austin, 1989.Google Scholar
  9. [Jones & Eisner, 1992]
    Jones, M.A., and Eisner, J.: A probabilistic parser applied to software testing documents. In Proceedings of the 10th National Conference on Artificial Intelligence, San Jose, CA, 1992.Google Scholar
  10. [Kelly & Nonnenmann, 1991]
    Kelly, V.E., and Nonnenmann, U.: Reducing the complexity of formal specification acquisition. In Automating Software Design, M. Lowry and R. McCartney, eds., MIT Press, 1991.Google Scholar
  11. [Lowry & Duran, 1989]
    Lowry, M., Duran, R.: Knowledge-based Software Engeneering. In Handbook of Artificial Intelligence, Vol. IV, Chapter XX, Addison Wesley, 1989.Google Scholar
  12. [Lubars & Harandi, 1987]
    Lubars M.D., and Harandi M.T.: Knowledge-based software design using design schemas. In Proceedings of the 9th International Conference on Software Engineering, Monterey, CA, 1987.Google Scholar
  13. [McCartney, 1991]
    McCartney, R.: Knowledge-based software engineering: Where we are and where we are going. In Automating Software Design, M. Lowry and R. McCartney, eds., MIT Press, 1991.Google Scholar
  14. [Myers, 1979]
    Myers, G.J.: The Art of Software Testing. John Wiley & Sons, Inc. New York, NY, 1979.Google Scholar
  15. [Nonnenmann & Eddy, 1991]
    Nonnenmann, U., and Eddy J.K.: KITSS — Toward software design and testing integration. In Automating Software Design: Interactive Design Workshop Notes from the 9th AAAI, L. Johnson, ed., USC/ISI Technical Report RS-91-287, 1991.Google Scholar
  16. [Nonnenmann & Eddy, 1992]
    Nonnenmann, U., and Eddy J.K.: KITSS — A functional software testing system using a hybrid domain model. In Proceedings of the 8th IEEE Conference on Artificial Intelligence for Applications, Monterey, CA, 1992.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • Uwe Nonnenmann
    • 1
  • John K. Eddy
    • 1
  1. 1.AT&T Bell LaboratoriesMurray HillUSA

Personalised recommendations