编译程序自动测试中知识表示.pdfVIP

编译程序自动测试中的知识表示 第六图书馆 编译程序 自动测试 知识表示计算机科学周继鹏 顾元祥不详1989第六图书馆 第六图书馆 编译程序 自动测试 中的知识表示 一 P； P； 周继鹏 顾元祥 华庆一 } ¨ r (西北大学计算机科学系) ；一” 叫膏哥”… 一 … ～ — 。～ 鍪￡E越#是鏊2芏j墨的重要研究课题 一。本文把人工智能(^I)．，知识工 ； 程和属性文法多种知识和技术应用于软件测试，主要对编译程序 试中自咖 识分 } 类和知识表示问题进行讨论，它是开发知识型编译程序测试环境拘基本出发点。 一 引言 是一种知识密集型 的智能擂动，除了本身的 在软件 (尤其是大程序系统)开发过程 测试理论之外 ，它与测试人员知识 的深度、 _ 中，保证软件质量的困难是焱所周知的，保 广度、经验的丰富程度，以魇对源语言和编 ． _ _ 证软件质量的形式化技术 (例如程序正确性 译程序的理解程度都有着密切 的关 系。 目 前 ，虽有人将人工智能 (AI)方法应用到编 译测试研究，给出了铡试模型 ，但是 ，这些 ing》，，它包括构造有代表性的澳}试 实例，使 测试系统 中知 缺乏，主要原因在于；1．对 用涮试数据执行程序 ，并将运行结果和预测 于测试 知识没有蛤 出一个统一 的表示方式J 结果进行比较。软件测试的 目标就是尽可能 2·对于测试经验投 有很好总结 整理井显式 多地发现程序 中存在 的错误 。 地给出，在系统 中无法利用，3。原来过程式 与其它软件系统相 比，’保证编译程序 的 的铡试实例生成 方法不适用于知识系统 。我 可靠性尤为重要．因为编译程序是保证其它 们经过研究发现 ，人工智能 中的凡种知识表 第六图书馆 采用源语言描述 的轼件能够正确 执 行 的基 示方式很难满足编译程序测试 的特殊要求。 ， ● 础 。 本文把人工智能、知识工程和软件测试技术 至今为止，用 ：编译程謦测试的唯一可 相结 台，对编译程序测试串的知识分类和知 行 的方法