切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
面向对象的PROLOG程序测试工具的研究与实现
面向对象的PROLOG程序测试工具的研究与实现
来源 :软件学报 | 被引量 : 0次 | 上传用户:flyingldy
【摘 要】
:
本文首先对Prolog程序中的错误进行了系统的分类,并对各类错误提出了相应的测试算法,接着介绍了一个面向对象的Prolog程序测试工具的设计与实现。
【作 者】
:
王雷
侯广德
【出 处】
:
软件学报
【发表日期】
:
1995年A01期
【关键词】
:
测试工具
面向对象
Prolog语文
程序语言
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文首先对Prolog程序中的错误进行了系统的分类,并对各类错误提出了相应的测试算法,接着介绍了一个面向对象的Prolog程序测试工具的设计与实现。
其他文献
广义查询的计数算法
计数算法是最著名的SL递归处理地之一。对于一类称作计数线的递归,它具有良好的性能,然而,计数算法要求查询的约束集为单值的,因此很难用作子目标的处理策略,本文提供一种新的广义查
期刊
递归查询
广义查询
计数算法
Recursive query
linear recursion
generalized query
counting al
谈“读组合体视图”的教学
笔者想从三个方面谈谈“读组合体视图”的教学问题。 一、搞好组合体读图教学的重要意义: 组合体读图教学的好坏,可以说关系到整个《机械制图》这门课教学的成败。这是由组合
期刊
组合体视图
读图教学
形体分析法
空间想象能力
《机械制图》
投影理论
综合思维
想象出
教学问题
推理和判断
电视是良师
卞侃总经理小启:来者都是客,全凭嘴一张。就事论事,品头论足,过一把诸葛孔明羽扇纶巾舌战群儒之瘾。请标明自己为正方观点或反方观点,将一家之言投至本刊“金舌头乐园”卞侃
期刊
彩色电视机
电视节目
青少年犯罪
电视事业
青少年近视
总经理
负面影响
名山胜景
身心健康
“枪手”
中国技工学校校办企业协作基金会第二次会员代表大会在杭州召开
“中国技工学校校办企业协作基金会”(以下简称基金会)于1995年5月7日至10日在浙江省杭州市召开了第二次会员代表大会。51家会员单位的负责人及厂长(经理)共78人出席了大会。
期刊
校办企业
会员代表大会
技工学校
基金会
杭州市
工作报告
会员单位
职业技能开发
理事机构
产品交流
论马克思主义公共经济理论与社会主义国家公共政策
马克思主义公共经济理论具有丰富内涵和科学价值。马克思主义公共经济理论是制定社会主义国家公共政策的科学依据;社会主义国家公共政策是马克思主义公共经济理论的具体体现。
期刊
公共经济理论
公共政策
科学发展
社会和谐
LogC智能推理语言和环境
LogC语言和环境面向知识推理,旨在为包括专家系统在内的一大类智能软件系统设计提供一般目的的集成化环境支持,本文从知识表示、推理效率和环境结构化等三方面阐述LogC语言和
期刊
程序语言
智能推理语言
LogC语言
加权T图的活性分析
本文给出加权T-图活网的一组充分必要条件,这组条件包含了文献1对标识图活性分析的结果,即当每条弧的权都等于1时,本文的结果就化为1给出的条件。
期刊
T图
活性分析
加权
PETRI网
中国特色区域经济发展规律研究
我国区域经济的发展伴随着国家“一五”计划的实施而不断变化发展着,改革开放后,我国区域经济发展呈现了蓬勃发展的态势,新时期,我国区域经济的进一步发展面临着机遇与挑战并存的
期刊
中国特色
区域经济
发展规律
Chinese characteristics
regional economy
development.
立足实际 自力更生 积极发展校办产业
招远市技校创办于1985年6月,是山东省第一所县(市)办技校。学校规模为600人,建筑面积22583平方米,拥有固定资产1170万元。现开设10个专业,有21个教学班,在校学生842人。学校
期刊
实习教学
积极发展
校办产业
建筑装饰
山东省人民政府
标准件
彩印厂
技工学校
办学方向
科学管理
营养不良与儿童结核病
目的探讨营养状况与儿童结核病患者的关系。方法对2007年1月~12月在本院住院治疗的结核病患儿营养状况分析。结果婴幼儿患结核较多(39.0%);结核性脑膜炎在学龄前儿童较多(41.7%,P〈0.05),
期刊
结核
营养不良
儿童
tuberculosis
malnutrition
children
与本文相关的学术论文