A Knowledge-Based Approach to Program Testing and Analysis

  • Igor M. Galkin
Conference paper


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 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.CrossRefGoogle Scholar
  2. 2.
    Woodman M. A program design language for software engineering. SIG-PLAN Not 1984; 19, 8: 109–118.CrossRefGoogle Scholar
  3. 3.
    Ince DC. A program design language based software maintenance tool. Softw Pract Exper 1985; 15, 6: 583–594.CrossRefGoogle Scholar
  4. 4.
    Ince DC, Woodman M. The rapid generation of a class of software tools. Comput J 1986; 29, 2: 151–160.CrossRefGoogle Scholar
  5. 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. 6.
    Ince DC. Module interconnection language and Prolog. SIGPLAN Not 1984; 19, 8: 89–93.CrossRefGoogle Scholar
  7. 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. 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.CrossRefGoogle Scholar
  9. 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. 10.
    Clark KL, McCabe FG. Micro-Prolog: programming in logic. Prentice-Hall, 1984.Google Scholar
  11. 11.
    Galkin IM. Semantic nets in program analysis. In: Mixed computations and transformation. Novosibirsk, 1991, pp 112–120; in Russian.Google Scholar
  12. 12.
    McCabe TJ. A complexity measure. IEEE Trans Softw Eng 1976; SE-2, 4: 308–320.MathSciNetCrossRefGoogle Scholar
  13. 13.
    DeMillo RA, McCracken WM, Martin RJ, Passafiume JF. Software testing and evaluation. Menlo Park, 1987.Google Scholar
  14. 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. 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

Copyright information

© Springer-Verlag London Limited 1993

Authors and Affiliations

  • Igor M. Galkin
    • 1
  1. 1.Computer CenterAcademy of Sciences MinskBelarus

Personalised recommendations