A Knowledge-Based Approach to Program Testing and Analysis
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.
- 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
- 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
- 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
- 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