论文部分内容阅读
在分析实时软件特征的基础上，从任务组合和等价类划分两个主要环节探讨了软件测试用例构造策略，总结出六项基本规则，并将这些规则应用于一项大型工程软件的测试，使测试用例数减少到接近最低程度，时间和费用降低５０％以上。
实时软件测试用例构造方法研究
【摘 要】
：
在分析实时软件特征的基础上，从任务组合和等价类划分两个主要环节探讨了软件测试用例构造策略，总结出六项基本规则，并将这些规则应用于一项大型工程软件的测试，使测试用例数减少
【机 构】
：
西北工业大学
【出 处】
：
西北工业大学学报
【发表日期】
：
1998年2期
【基金项目】
：
航空科学基金
其他文献
<正>The projects 'Technology for manufacturing environmentally friendly type aromatic hydrocarbon rubber filling oil (ARE solvent extraction technology)'
为了顺应警察队伍职业化发展的趋势，建立相应的警察培训标准体系对警察业务水平的提高以及公安队伍的整体素质增强十分必要。职业培训常态化成为民警素质和能力提升的客观要求
On October 10, 2014 the project ＂Study on the catalystand the process of moving-bed methanol-to-propylene（MMTP） process＂ jointly undertaken by the SINOPECRIPP, the
应用超塑性变形／扩散连接（ＳＰＦ／ＤＢ）组合工艺时，欲连接的表面粗糙度是影响连接所需时间和连接质量的主要因素之一。通过实验研究Ｔｉ６Ａｌ４Ｖ、Ｔｉ４５１（ＣＯＲＯＮＡ５）钛合金和ＬＹ１２ＣＺ铝合金超塑性变形是地表面粗糙度演经规律，表明了
针对神经网络中传统神经元模型在结构和信息存储能力上存在的不足，提出了一种基于广义子波基函数网络的神经元集聚模型。在对一类非线性函数的逼近中，与传统的神经元模型相比，新
tert-Butylation of toluene with tert-butanol used as the alkylating agent was investigated over the activated bentonite and HY zeolite used as the catalyst.The
对做复杂运动的几何对象进行运动干涉检测通常计算量很大，它引起两个问题：（１）检测次数多，效率低；（２）由于误差的积累导致算法可靠性不高，本文以解决这两个问题为目的，提出了利用最大相对速
利用有精确解的Ｒｉｎｇｌｅｂ流动构造了用于检验流场计算精度的工具，并用这种工具对中心有限体积法的精度进行了研究。深入讨论了网格，边界处理，人工粘性等对计算精度的影响。结果定量地证明
9月12日，学院隆重召开第33个教师节表彰大会。表彰全国公安系统优秀教师、全省公安优秀教师和2017年度优秀教师、优秀教育工作者、科研工作先进个人、公安教育30年贡献奖获得
《消防法》主要以单位作为调整的对象。单位在空间上就表现为以一定面积和功能作为载体的场所。《消防法》对消防工作所涉及的场所进行了法律定义,但由于受技术条件限制、知