论文部分内容阅读
在讨论集成测试工具的构想后,以FORTEST 为基础,详细论述对任一种结构化语言软件都适用的测试工具统一构架。
集成式辅助测试工具的基础FORTEST
【摘 要】
：
在讨论集成测试工具的构想后,以FORTEST 为基础,详细论述对任一种结构化语言软件都适用的测试工具统一构架。
【机 构】
：
中国科学院软件研究所,中国科学院软件研究所北京,100080,北京,100080
【出 处】
：
计算机研究与发展
【发表日期】
：
1991年6期
其他文献
平行换乘是一种优于其他方式的城市轨道交通换乘方式，其具有便捷、换乘量大及换乘距离短等优点。因此，在边界条件允许时，平行换乘是最佳选择。在本案，笔者结合实际案例，分别介绍城
可持续发展理论本质上要求实现科技的可持续发展。科技的可持续发展是指科技的发展在满足自身可持续发展的同时必须满足社会的可持续发展的需要。它是人们对传统科技发展模式
在CIEM系统(航空航天部组织的大型CAD/CAM系统工程"Computer Integrated Engineering and Manufacturing System"的缩写)建立数据库过程中,引入了一种关系型数据库模式设计的实用方法,利用这种方法成功地建立了有限元库、气动库、载荷库、总体库等.现概要地介绍一下这种设计方法,其中的一些例子大多取自有限元数据库模式设计.
目的:分析不规则阴道流血的原因,探索规律为临床医生提供参考.方法:对我院10年中的1080例宫内膜标本的病理、临床资料进行回顾性分析.结果:不规则阴道流血的主要病理原因为功
本文对欧几里德求两正整数最大公约数算法的时间复杂性从一个新的侧面作出了分析。结论是,若让l(m,n)表示运用欧几里德算法求任意两正整数m和n最大公约数时的迭代次数,则l(m,
1 信息技术现状信息技术的飞速发展主要表现在:微处理器芯片的集成度、计算处理速度、计算机的体系结构、面向对象的软件技术、网络计算技术、高效的数据处理技术、智能用户
KBFS系统是一个具有一般性的知识系统,更换其知识库的内容即可成为相应的应用域上的专家系统。基于知识的自身结构,并将陈述性知识表示和过程性知识表示结合起来表达知识,组
前人曾对“肝者，罢极之本”中的“罢极”二字作出了很多的阐述，然而至今还没有定论。在思考前人这些阐述的基础上，参考“罢极”二字的本意，尊重《内经》中“敷和”的说法，通过对《
哈尔滨科技大学环形局域网HUSTRING采用令牌传递和寄存器插入技术相结合的方式进行媒介访问控制。理论分析表明,这种网络的实时传输性能明显地优于目前公认为性能最佳的令牌