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

来源 :计算机科学 | 被引量 : 0次 | 上传用户:watermb
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
软件测试是软件工程的重要研究课题之一。本文把人工智能(AI),知识工程和属性文法多种知识和技术应用于软件测试,主要对编译程序测试中的知识分类和知识表示问题进行讨论,它是开发知识型编译程序测试环境的基本出发点。
其他文献
以油菜秸秆为原料,利用真空热解系统进行制取生物油的研究,考察秸秆粒径对热解产物产率的影响,并对较高产率下的生物油进行了物性参数和成分分析。研究结果表明,当秸秆粒径为
在各种潮流能水轮机中,垂直轴直叶片的H-Darrieus型水轮机结构简单、易于制造,而且具有适应不同方向来流的突出优点。但它的缺点是在低流速时自起动能力较差。为了克服这个缺
尽管基于规则的专家系统已有不少,但这种知识表示法在表达大范围临床医学知识时却有一定困难和不足。本文提出一种新的关联索引式知识表示方法,可以很方便地表示这种大范围的
Ada语言是一种功能极强的程序设计语言,已成为80年代最有影响和最有代表性的一种高级语言;Prolog语言是建立在符号逻辑基础上的简单而功能却很强的程序设计语言。由于日本的F
光温条件对微藻培养具有重要作用。采用小球藻Chlorella sp.进行了不同光照强度、光照时间和温度的培养试验,研究了光温条件对小球藻生长速率、生物量、生物组分及脂肪酸组成
对某生物质直燃发电炉排炉的炉内腐蚀情况进行分析,利用XRD对炉排渣块、过热器沉积焦成分进行了定量分析,利用高温热天平对其进行深入的热反应动力学研究。试验笛罘表明:渣块的
为促进静态条件下水合物蓄冷的快速进行,以吐温80、司盘80作表面活性剂,正丁醇作助表面活性剂,通过高速搅拌制备了环戊烷纳米乳液。研究了纳米颗粒粒径和纳米流体浓度对水合
<正> 多年来,当新研究生来到耶鲁大学时,他们都说他们想搞的课题是学习。在人工智能中,对学习似乎有一科普遍的魅力,这源于两个基本上不同的现象。一方面,我们自然想找出一个
菜籽油与双氧水在乙酸参与和硫酸铝的催化下通过环氧化反应制得环氧化菜籽绝缘油。试验结果表明,环氧化反应的最佳工艺条件为菜籽油∶30%双氧水∶乙酸∶硫酸铝=1∶1.11∶0.25
计算机辅助软件设计(软件CAD)一词意示着一种设计范例和支撑环境,其中心思想是软件结构的图形表示类似布线图,作为人的推理和自动工具的一种框架,用于分析和代码生成。革命性