【摘 要】
：
PSTS(Program Structure Testing System)是在APPLEII微计算机上实现的具有静态分析,动态测试和测试数据自动生成的程序结构测试系统。PSTS引入一种事件Petri网(EPN)来描述程序结构,利用EPN的动态特性模似程序控制流,提出了同步动态测试的方法,从而克服了用有向图描述程序进行结构测试的弱点,使故障覆盖率得以提高。PSTS采用随机的方法产生测试数据,并证明
论文部分内容阅读
PSTS(Program Structure Testing System)是在APPLEII微计算机上实现的具有静态分析,动态测试和测试数据自动生成的程序结构测试系统。PSTS引入一种事件Petri网(EPN)来描述程序结构,利用EPN的动态特性模似程序控制流,提出了同步动态测试的方法,从而克服了用有向图描述程序进行结构测试的弱点,使故障覆盖率得以提高。PSTS采用随机的方法产生测试数据,并证明了这一方法的有效性。
其他文献
文中综合利用微型计算机的数据库管理系统DBASEⅢ和AUTOCAD绘图软件,开发了基于有限元方法和优化设计理论的CAD软件。对矩形空间桁架,按总优化问题分解为子规划的优化策略实现了矩形空间桁架主参数的优化。文中论述了统一描述空间桁架拓扑方案的方法——组文件,借助于组文件,用AUTOLISP语言实现了空间桁架有限元分析前处理的统一方法;论述了空间桁架后处理的方法和绘制工作图的方法。
本文介绍了在B-25系列微型计算机上研制的计算机辅助管理网络图系统—HFNG。该系统包括录入数据、屏幕显示和绘图拷贝三个部分。它可在屏幕上显示整个网络图,可放大其中任一局部,并能在大型绘图仪上绘制完整的网络图及所有相关的信息。该系统适用于大的管理部门或大型工程项目。
土壤是林木立地条件中最有代表性的因子。丘陵区山地土壤的性状及其肥力取决于气候、地理,地貌植被等自然因子,但人为生产活动尤为重要。衡东县的山地土壤以地带性红壤为主,资源丰富,但过去开发缓慢,利用率低、用地失宜、经营粗放,从而造成地力衰退,瘠薄土壤多,生产效益很低。据此建议:①要把治理水土流失作为前题,②植树造林要因土选择适生、经济和社会效益最佳的树种,③要因土因树确定造林整地和幼林抚育的方式和强度,
本文论述了九速滑移齿轮变速机构和三轴滑移公用齿轮变速机构操纵凸轮的计算机辅助设计原理和方法。
本文介绍了一种作为机器人视觉中能较好理解三维图象的新方法——三眼立体视的原理、及日本的研究现状,同时给出了这种系统的构成模型和实验结果,并对其作出了评价。
DIALOG联机情报检索系统(The DIALOG Infomation Retrieval Service)隶属于美国洛克希德的DIALOG情报服务公司,总部在美国加州的Palo Alto市,这个系统就其规模和影响来说是世界首屈一指的。DIALOG于1969年创办,从1972年起利用TYMNET等国际卫星通讯系统为全世界终
1 ISSN的由来第二次世界大战以来,由于科学技术的飞速发展,以反映这一发展成果最新、最快特点的连续出版物(其中主要是期刊)的出版量也以“爆炸性”的速度猛增。据估计,1971年全世界以不同文字出版的连续出版物已有九十万种之多(包括已停刊者),并预言到2000年将达到150万种。在数量如此庞大的刊物中,如何迅速而准确地掌握它们的有关信息,这是图书、情报、出版工作者长期以来梦寐以求的理想。国际标准连续
该系统(ME)将脑电的采集与处理集于微机系统,在实验中不仅能替代昂贵的专用信号处理机,而且为数据的进一步处理提供了较大的灵活性。ME 由长城0520C-H 微机加上其各种外设和脑电采集的一系列前置设备构成。该系统对四导脑电采样并做实时数字滤波和自功率谱分析,采样后立即做互功率谱分析,其结果用打印机数字输出、彩色显示器和绘图仪彩色图形输出及存盘。ME 的主要软件REEC、EECA 采用菜单技术,尽量
为了解决农村测量仪器的不足和测量技术问题,我们根据水管连通器的原理,设计了一种带水管连通器的水准尺。有了这种水准尺,可不用水准仪,就能进行水准测量。水准尺的构造如图1所示。制作方法如下:
《工程制图》是《城镇建设》专业的一门技术基础课。通过学习,学员应具有识读土建工程图的能力并能运用图示方法和制图标准绘制土建工程图。具体要求是:正确使用绘图仪器和工具,掌握工程制图