论文部分内容阅读
软件测试是软件设计中一个重要阶段，也是保证软件可靠性的重要手段。路径测试是软件测试中一种重要方法，而测试的关键是确定路径数目和设计测试用例。程序路径表达式晃路径测试中路径的一种表示方法。本文讨论了利用程度图进行路径测试中的路径表达的构造方法。
路径表达式的构造方法及路径测试
【摘 要】
：
软件测试是软件设计中一个重要阶段，也是保证软件可靠性的重要手段。路径测试是软件测试中一种重要方法，而测试的关键是确定路径数目和设计测试用例。程序路径表达式晃路径测试
【机 构】
：
哈尔滨师范大学计算机科学系
【出 处】
：
微机发展
【发表日期】
：
1999年5期
其他文献
绿色蔬菜生产非农药防虫技术，是提升产品档次，促进产业升级的主要手段。但该项菝求仍存在，定不足。笔者通过研究，对防虫覆盖、频振杀虫灯、性诱剂、生物防治、色板诱杀、轮作配置
蜂窝状塑膜容器育苗是当今林业造林工程上实施的一项实用育苗技术。蜂窝状容器育苗一改过去单个容器装播效率低、苗床不整齐的弊端，育苗周期相对缩短，既便于操作，又提高了工作效
平菇一年四季均可栽培，但以高温季节栽培的平菇效益高。原因：一是夏季气温高，种植技术难度大，病虫害易发生，往往导致栽培失败。二是夏季平菇栽培总面积减少，总产量小，造成市场鲜平菇
本文介绍点阵式液晶显示系统的设计和编程。重点讨论了点阵液晶显示系统各模块之间的接口信号和显示控制器编程中的一些关键问题，如屏、层、区的概念、显示存储器管理以及自定
本文介绍了用Ｃ＾＋＋Ｂｕｉｌｄｅｒ３．０构造用于研究汉字识别的软件平台。该软件平台具有简单，使用方便等特点。有了该平台，用户就可以将精力集中在汉字特征提取方面。
菜花散花的表现是花球过早的出现松散，个别花蕊突起。其原因主要是由于苗期缺水、定植时伤根过重、莲座期缺氮、结球期水肥供应不匀、土壤缺硼、收获不适时等。生产上应采取以
近年来，新疆南疆地区日光温室的种植面积发展迅速，但是由于各种原因却没有将温室的优势充分发挥出来，特别是在冬春茬的生产。根据多年的生产经验。南疆地区的冬季除了从冬至到第
支撑是水泥厂窑尾塔架设计中的主要部分，以往都是专家根据知识规则进行设计，利用人工神经网络技术实现建筑平面支撑的设计缩短了设计时间，提高了设计效率。
本文介绍了离散余弦变换（ＤＣＴ）的基本数学模型，分析了其实现起来速度慢的原因，并给出了两种解决方法———矩阵法与查找表法。
本文主要介绍ＷｉｎｄｏｗｓＮＴ网络和Ｎｏｖｅｌｌ Ｎｅｔ Ｗａｒｅ网络的互连互访，包括ＮＴ访问Ｎｅｔ Ｗａｒｅ服务器和ＮｅｔＷａｒｅ用户访问ＮＴ域两个方面。