论文部分内容阅读
本文介绍了把知识工程，人工智能，测试标准族的概念和技术应用于软件测试的实践。叙述了测试模型的构成，系统的设计思想，测试知识的分类和表示等。本文还对测试实例生成过程作了详尽的讨论。
软件测试实例的自动生成系统
【摘 要】
：
本文介绍了把知识工程，人工智能，测试标准族的概念和技术应用于软件测试的实践。叙述了测试模型的构成，系统的设计思想，测试知识的分类和表示等。本文还对测试实例生成过程作了详
【出 处】
：
微小型计算机开发与应用
【发表日期】
：
1993年6期
其他文献
日前,交通运输部、生态环境部、住房和城乡建设部三部门联合印发《关于建立完善船舶水污染物转移处置联合监管制度的指导意见》(简称《意见》),明确建立和完善船舶水污染物转
在养兔过程中,养殖户在给兔喂料时,若能做到以下"三要三不要",则能使兔子生长健壮,少得病,从而提高养兔经济效益。要喂配合料饲兔日粮中的营养成分为:粗蛋白、粗纤维各10%,脂
期刊
本文主要介绍一种改进后的静电场描绘仪，利用它能精确、快捷地描绘出同轴电缆的静电场分布。
在测量数据处理中,观测向量与系数矩阵同时存在偶然误差时,整体最小二乘法能够得到更高精度的参数解,但整体最小二乘法无抗差能力,观测向量中的粗差将对参数求解产生较大影响。为解决上述问题,采用拉格朗日极值法推导了基于选权迭代法的抗差整体最小二乘计算公式,通过三维坐标转换参数求解实例对3种选权迭代法进行分析。结果表明,IGG法在抗差整体最小二乘解法中抗差效果最好。
目前国内关于DNC标准方面的研究较少,为了更好地利用标准,便于各类人员使用DNC数字海图数据,文中首先介绍DNC标准和CDC标准的基本情况,然后通过两种数据标准对照分析,找出标准之间所有的差异性,最后结合实际提出相关工作人员在工作中应注意的问题。经过实践证明,文中的研究成果能够加快我国CDC标准的完善。
皮质下动脉硬化性脑病(Subcorticalarterio-seieroticencephalopathy,简写SAE)又称Binswanger氏病,是一种缺血性或血管性髓鞘坏变病,是血管性痴呆,弥散性缺血型的一种;目前已
并行计算是提高海量遥感影像细化处理速度的有效途径。基于对OPTA细化算法的分析,深入研究OPTA细化并行算法中数据划分和数据通信优化等关键问题,提出一种适合集群并行处理的通信优化并行算法,实验证明该算法具有良好的加速比,适合集群计算环境下海量遥感影像的细化处理。