论文部分内容阅读
提出了生成测试数据的结构归纳法,并举例说明如何运用结构归纳法产生程序的测试数据,以利于程序员有规则地产生测试数据。它对提高测试效率,改善软件产品的可靠性有促进作用。
生成测试数据的结构归纳法
【摘 要】
：
提出了生成测试数据的结构归纳法,并举例说明如何运用结构归纳法产生程序的测试数据,以利于程序员有规则地产生测试数据。它对提高测试效率,改善软件产品的可靠性有促进作用
【机 构】
：
华东化工学院计算机科学系
【出 处】
：
华东化工学院学报
【发表日期】
：
1990年5期
其他文献
以三种不同直径的铜管和有机玻璃管构成实验管路系统,研究了横肋管中空气流动阻力特性。在峰高为（0.01～0.11）d,间距为（7～40）d,Re=400～100000范围内,试验提供了从层流到湍流范围内完
在MgCr_2O_4-TiO_2系湿敏陶瓷的基体中掺入V_2O_3杂质,改进了系统的电性能。通过大量实验,确定最佳工艺条件:1200℃还原气氛中烧结1h,采用RuO_2电极浆料,在70Hz、1V的交流电
利用液相压力微型反应系统,在150℃,重量空速40h<sup>-1</sup>的条件下,用新鲜的和三种再生的HY型分子筛催化剂进行十二烯-苯烷基化反应。通过比较可知,按着苯抽提、氮气吹扫
阐述了在线签名验证作为一种个人识别手段的可行性,並在深入分析本系统所采用的签名笔动态特性的基础上,提出了签名过程个性特征的抽取手法及验证最佳■值的计算公式。实际签名验证结果表明,本系统具有一定的实用价值,较签名的字形识别方法(如人工识别、计算机图象识别等)具有低的成本、高的正确率和便于在微机上实现等突出优点。
推导了用有限差分方程计算催化剂颗粒效率因子的方法,并计算了几种异形催化剂(三叶草形,圆柱形,五叶形,环形)的效率因子。计算结果表明:三叶草形催化剂在化学反应中的内扩散
利用静态电凝聚装置和显微摄影对文题进行研究,考察了水滴直径和油样含水量与电场强度和停留时间的关系。结果表明:水滴的平均粒径和最大平均粒径在低电压下随停留时间的延长
本文利用块脉冲函数,采用参数优化的方法,对具有任意状态(或输出)时滞、控制时滞及其任意初始条件的多变量定常系统,就其线性伺服机构的设计,进行了研究,提出了计算其最优控