论文部分内容阅读
文章从软件测试入手，在介绍逻辑覆盖测试原理的基础上，以逻辑覆盖测试工具ＦＣＡ为例，详细介绍了逻辑覆盖测试工具的设计与实现。
逻辑覆盖测试工具的设计与实现
【摘 要】
：
文章从软件测试入手，在介绍逻辑覆盖测试原理的基础上，以逻辑覆盖测试工具ＦＣＡ为例，详细介绍了逻辑覆盖测试工具的设计与实现。
【机 构】
：
北京跟踪与通信技术研究所软件评测中心,华北计算技术研究所
【出 处】
：
计算机工程与应用
【发表日期】
：
2000年5期
其他文献
为了研究循环荷载下降雨前后无砟轨道桩网结构路基的动力特性,尤其是桩土相互作用特性,开展了4组大比例尺动力模型试验。试验结果表明：桩土差异沉降影响受加载力和降雨条件影
文章简要地描述了文本过滤的背景，提出了基于潜在语义索引的中英文双语交叉过滤的逻辑模型。其基本思想是改进双语交叉过滤中基于词汇对译的方法，而是利用双语文中潜在的语义结
一、当前国内房地产市场基本态势从2010年国十条起，政府出台一系列的房地产宏观调控政策，经过一年来房地产宏观调控，尽管房地产市场“量降价滞”的僵局持续较长时间，但国内房地产
以杭州地铁隧道二号线某区间盾构下穿桩基建筑为研究对象，通过数值模拟方法分析了盾构隧道布置位置对邻近桩基变形的影响，并与土层变形传统预测公式进行比较。研究结果表明：当隧
建设社会主义新农村,是我国现代化进程中的重大历史任务,是事关我国战略和全局的大事.民办学校应当发挥自己的优势,自觉参与新农村建设.正确认识新农村建设的伟大意义,提高参
“三个代表”是第三代领导人在理论上新贡献的一个重要标志，也是现实中需要解决的一个重大新课题。三个代表的基本精神是论述新世纪把我们党建设成一个什么样的党的根本指针问
应该尽快启动地方金融管理立法工作；建立统一的地方金融监管主体；充实提高地方金融管理力量；建立有效的协调机制；加强行业自律；积极实践金融管理的新理念。
金融是现代经济的核心.随着金融宏观调控的日趋成熟,金融业支持经济发展的作用不断增强.民族地区旗(县)由于经济自生能力差,靠借力发展,更离不开金融的支持.笔者通过对一些经
该文提出一种适合大中型供电企业管理信息系统的总体结构。此结构具有良好的稳定性，适应性，扩充性和开放性。
落后产能是指产品的生产技术或能耗和污染达不到国家法律法规、产业政策所规定的标准的生产能力，我国落后产能情况复杂、任务繁重，地区行业分布不平衡，严重制约了我国经济发展方