Skip to main content
SpringerLink
Log in
Book cover

International Conference on Computer Safety, Reliability and Security

SAFECOMP 1993: SAFECOMP ’93 pp 207–216Cite as

A Knowledge-Based Approach to Program Testing and Analysis

  • Conference paper
  • First Online:

  • 132 Accesses

Abstract

An approach to computer support organization of program testing and analysis is considered. The approach is based on a semantic net representation and usage of knowledge about a program. The possibilities and benefits of this approach application in different kinds of program analysis and usage of the Prolog language as the tool of such analysis implementation are described. Also the possibility of the approach spreading over different program representations analysis and other problem areas, connected with the program engineering, is indicated.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Ince DC. The provision of procedural and functional interfaces for the maintenance of program design and program language notations. SIG-PLAN Not 1984; 19, 2: 68–74.

    Article  Google Scholar 

  2. Woodman M. A program design language for software engineering. SIG-PLAN Not 1984; 19, 8: 109–118.

    Article  Google Scholar 

  3. Ince DC. A program design language based software maintenance tool. Softw Pract Exper 1985; 15, 6: 583–594.

    Article  Google Scholar 

  4. Ince DC, Woodman M. The rapid generation of a class of software tools. Comput J 1986; 29, 2: 151–160.

    Article  Google Scholar 

  5. Meier B. The software knowledge base. In: 8th Int. Conf. Softw. Eng., London, August, 28–30, 1985. Proc. Washington, 1985, pp 158–165.

    Google Scholar 

  6. Ince DC. Module interconnection language and Prolog. SIGPLAN Not 1984; 19, 8: 89–93.

    Article  Google Scholar 

  7. Leung CHC, Choo QH. A knowledge-base for effective software specification and maintenance. In: 3-rd Int. Workshop Softw. Specif. and Des., London, Aug., 16–17, 1985, pp 139–142.

    Google Scholar 

  8. Yau SS, Nicholl RA, Tsai JJ, Liu SS. An integrated life-cycle model for software maintenance. IEEE Trans Softw Eng 1988; 14, 8: 1128–1144.

    Article  Google Scholar 

  9. Galkin IM. Net modeling, static and dynamic program analysis. Prepr. No.5(455), Minsk, The Inst. of Mathematics of Byelorussian Academy of Sciences, 1991; in Russian.

    Google Scholar 

  10. Clark KL, McCabe FG. Micro-Prolog: programming in logic. Prentice-Hall, 1984.

    Google Scholar 

  11. Galkin IM. Semantic nets in program analysis. In: Mixed computations and transformation. Novosibirsk, 1991, pp 112–120; in Russian.

    Google Scholar 

  12. McCabe TJ. A complexity measure. IEEE Trans Softw Eng 1976; SE-2, 4: 308–320.

    Article  MathSciNet  Google Scholar 

  13. DeMillo RA, McCracken WM, Martin RJ, Passafiume JF. Software testing and evaluation. Menlo Park, 1987.

    Google Scholar 

  14. Galkin IM. Usage of semantic nets in a process of program making and maintenance. Prepr. No 32(432), Minsk, The Inst. of Mathematics of Byelorussian Academy of Sciences, 1990; in Russian.

    Google Scholar 

  15. Galkin IM. Usage of semantic nets for program modeling and analysis. USiM (Control Systems and Machines) 1991; 5: 55–61; in Russian.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Center, Academy of Sciences Minsk, Belarus

    Igor M. Galkin

Authors
  1. Igor M. Galkin
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Franco-Polish School of New Information and Communication Technology, 60-854, Poznań, Poland

    Janusz Górski

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag London Limited

About this paper

Cite this paper

Galkin, I.M. (1993). A Knowledge-Based Approach to Program Testing and Analysis. In: Górski, J. (eds) SAFECOMP ’93. SAFECOMP 1993. Springer, London. https://doi.org/10.1007/978-1-4471-2061-2_22

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-2061-2_22

  • Published:

  • Publisher Name: Springer, London

  • Print ISBN: 978-3-540-19838-3

  • Online ISBN: 978-1-4471-2061-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation