论文部分内容阅读
本文从分析软件测试自动化的必要条件出发，讨论了软件测试自动化对形式化的特殊要求，提出了用于软件测试自动化的形式系统应具有的性质。基于框架的互补定义的形式描述方法可以作为用于软件测试自动化的形式系统的描述方法。
软件测试自动化系统的性质及其描述方法
【摘 要】
：
本文从分析软件测试自动化的必要条件出发，讨论了软件测试自动化对形式化的特殊要求，提出了用于软件测试自动化的形式系统应具有的性质。基于框架的互补定义的形式描述方法可以
【机 构】
：
北京邮电学院
【出 处】
：
小型微型计算机系统
【发表日期】
：
1994年2期
【基金项目】
：
邮电部中青年教师科学基金
其他文献
面向对象设计是一种新的程序设计范例，本文重点探讨传统程序设计语言的面向对象设计方法，并简单介绍了ＷｉｎｄｏｗｓＮＴ中的对象机制。
<正> 新中国成立伊始,就很重视师范教育,重视教育学科的教材建设。1949年出版了华北人民政府教育部教科书编审委员会编辑的四本中师教育学科代用教材,其中有一本叫《教育学参考资料》就是供中师开设的“教育概论”一科采用的。当时条件非常困难:旧中国的教育理论,大部分是从资本主义国家引进的,哪些是正确的,可以继续给学生讲?哪些是错误的,应当坚决摈弃?谁也说不清楚。只好选讲一些革命领袖的有关讲话和老解放区报纸的有关社论,作为代用教材。
<正> 按照国家教委的规划,人民教育出版社编写了义务教育“六·三制”和“五·四制”两套新教材,1990年秋季从小学、初中两个一年级开始,陆续供全国各省市部分学校试用。经试用、修改、送审后,将于1993年在全国发行,供学校选用。 这两套教材是人民教育出版社建社40年来编写的第八套教材。全套教材包括小学8个学科、初中12个学科。 这两套教材的总体设想是:以教科书为基础的
中国在20世纪80年代和90年代末曾开展了两轮土地利用总体规划,这两轮规划具有不同的特点,都具有一定的缺点,对这两轮规划的优缺点进行了系统的分析,以便在编制及实施中能切合
这是2012年湖北省七市（州）联考的压轴题：已知函数f（x）=ae^x，g（x）=lnx-lna，其中n为常数，e=2．71828…，且函数y=f（x）和y智（x）的图像在它们与坐标轴交点处的切线互相平行．（1）求常数n的值．（2）略．（3）对于函数
卓勒萨依金铅锌矿位于麦兹向斜的南西翼接近转折端的位置，其含矿层位为下泥盆统康布铁堡组上亚组第三岩性段。矿体在地表为褐铁矿化的变钙质砂岩，矿化类型为碳酸盐型金铅锌矿化
<正> 研究中师的大纲和教材,是一件很重要的事情,因为小学很重要,培养小学教师的中师也就很重要。我们的中师确有相当一批是办得很好的,我们要很好地总结研究它们的经验。培养小学师资的中师,要注意三大建设:一是师资队伍,二是办学的物质条件,三是要有好大纲和教材。教材搞好了,可以在相当程度上弥补教师的不足。小学阶段的教育对一个人的一生有很重要的影响,一个人要成为共产主义者,与从小所受的教育有很大关系,要培养小学生的共产主义的思想品德就要从帮助别人、爱集体、爱祖国开始,然后慢慢让他们懂得什么是共产主义
<正> 原教育部一九八五年一月十一日颁发了《全国中小学教材审定委员会工作条例(试行)》[(85)教中小材字001号]。一九八六年九月二十二日在北京召开的全国中小学教材审定委员会成立大会上,全国中小学教材审定委员会的顾问、审定委员、审查委员对该工作条例进行了讨论,提出了修改意见,会后又广泛征求有关方面的意见,修改成《全国中小学教材审定委员会工作章程》(简称《工作章程》),现将《工作章程》发给你们,请按照执行。有关执行《工作章程》的几个问题通知如下:
创新是21世纪人类活动的主题,档案管理工作也必须进行创新。档案管理推陈出新的前提是思想观念的创新,理论知识创新是档案管理活力的源泉,技术管理创新则是档案管理全面发展