论文部分内容阅读
软件测试是软件工程的研究课题之一。软件自动测试工具的研究开发是软件测试的重要研究方向。本文把人工智能、知识工程、属性文法多种知识和技术与传统的软件测试技术相结合,研究开发了一个基于知识的编译程序自动测试系统。
基于知识的编译程序测试实例自动生成器
【摘 要】
：
软件测试是软件工程的研究课题之一。软件自动测试工具的研究开发是软件测试的重要研究方向。本文把人工智能、知识工程、属性文法多种知识和技术与传统的软件测试技术相结合
【机 构】
：
西北大学计算机系西安,710069
【出 处】
：
计算机研究与发展
【发表日期】
：
1991年6期
【基金项目】
：
国家自然科学基金
其他文献
Warp是近年来研制的第一台实际可编程序的心动(Systolic)阵列机。与其它超级计算机相比,此机器具有较高的性能和更广的应用范围。本文主要介绍Warp机的系统结构、软件系统、
研究了独立构建企业核心竞争力的一般过程,它包括企业的组织整合、现状分析、目标整合、基本能力整合、关键能力整合、核心竞争力要素整合等内容.强调核心竞争力的构建应以企
旅游城市是城市发展的必然产物,有三种基本类型:资源都市型、经济都市型和综合都市型,其主要功能是消费.旅游城市可持续发展的主要制约因素是:资源危机、旅游业的负面影响和
将ＳＰＷＭ逆变器的死区分为控制死区和开关死区，并对死区效应的机理进行了详细的分析。运用解析方法、数字仿真方法和定性分析方法讨论了控制死区效应与逆变器输出基波电压、电压畸变
本文讨论了向量形式的一阶线性常系数差分方程r_n=(I—hA)r_(n-1)+hb所定义的平面离散曲线,给出了这类曲线为凸和没有重点的充分必要条件。
<正> SEOD (SouthEast Object Database) is a Kernel object-oriented database system wmen has been implemented in Southeast University. This paper describes some i
一、樱桃叶斑病该病主要为害叶片,有时也为害叶柄和果实。叶片发病初期在叶片正面叶脉间产生紫色或褐色的坏死斑点,同时在斑点的背面形成粉红色霉状物,后期随着斑点的扩大,数
1 存在的问题 1.1 园址选择不合理有的李园建立在丘陵坡地、洼地.土层瘠薄、有机质含量低、土壤黏重、透水透气性差、排灌不畅易遭受旱涝危害,个别园片死亡率高达30%以上.
林木育种工作对我国林业发展具有非常重要的意义，随着我国经济与科技水平的不断提高，林业育种产业化推进将成为促进我国林业发展的有利手段本文将结合林木育种的特点及意义，展开