【摘 要】
：
软件测试过程中经常需要对大量的数值计算模块进行穷举测试,传统的软件测试方法就显露出了不足与局限.该文采用区间算法生成测试数据,比较了采用区间算法的软件测试方法和传
论文部分内容阅读
软件测试过程中经常需要对大量的数值计算模块进行穷举测试,传统的软件测试方法就显露出了不足与局限.该文采用区间算法生成测试数据,比较了采用区间算法的软件测试方法和传统的软件测试方法,结果表明,区间代数方法很好地解决了传统测试方法不能解决的问题,发现程序代码中可能的计算异常,判断能否给出程序代码输出变量的上限范围和是否存在不可能达到的分支.
其他文献
一氧化氮(nitric oxide,NO)是在心血管、呼吸系统等有广泛复杂生理、病理作用的高度弥散性不稳定自由基。近年来对NO的研究已成为生物医学界研究的前沿及热点。肺动脉高压(pu
赏识教育强调的是善于发现学生优点，对学生多加鼓励，使他们在情绪上得到满足，学习心境保持“愉悦”，从而使学生的感觉、知觉、记忆、思维都处于良好的活动状态，产生求知的欲望和情
本文介绍初中物理习题课的教学从基础知识着手，精选习题，进行优化组合，以“一题多解”、“一题多变”的方法，提高学生思维素质，把学生从题海中解放出来的教学方法及体会。
利用非紧测度在商空间B(X,Y)/H(X,Y)上构造了一个范数,指出这一范数可由B(X,Y)上的某一范数生成.并且X或Y是Hilbert空间时,B(X,Y)/H(X,Y)上赋于这种范效时是完备的.另外,还建
目的 探索能更准确反映肺血管发育及肺血流情况的指标,为外科手术方案的选择提供依据.方法 采用74例肺血减少型先天性心脏病心血管造影序列,测量左右肺动脉及4根肺静脉直径,
用不动点理论和微分不等式技巧研究了具有变系数连续分布时滞的竞争神经网络的概周期解,给出了其存在性和全局指数收敛的一种判别准则.给出的网络模型和结果都是新的.
提出一种基于编码的双距离树(EDD-tree)高维索引结构.对于高维空间中的数据点,首先通过k平均聚类算法将其聚成若干类,然后分别计算每个点对应的始点和质心距离,并对其进行编码得到对应的统一化索引键值,最后用基于分片的B+树建立索引.这样,高维空间的查询就转变成对一维空间的检索.实验证明该方法能更有效地缩小搜索空间,减少距离计算的代价.理论分析和实验都表明,EDD-tree索引在查询效率方面要明显
采用高精度红外热像仪,实验研究了电解质Na2SO4-H2O溶液受热破裂降膜的Marangoni效应.结果表明,降膜的流向和径向都存在分别由液膜表面温度和浓度分布不均引发的热和溶质Mara
引入伴随于非常一般离散伸缩群的各向异性弱Hardy空间,并给出了该空间的原子分解.作为应用,证明了与这些弱Hardy空间相关的几个插值定理,得到了某些奇异积分算子在各向异性弱Hardy空间的有界性.
含有非扩张型映射的非线性算子方程的隐式迭代法,从2001年由H.K.Xu和R.G.Ori引入以来,已有许多学者进行了研究,得出了一些有意义的成果.最近M.O.Osilike对Browder-Petyshyn意