基于程序规则说明的自动测试用例生成

来源 :四川大学学报:自然科学版 | 被引量 : 0次 | 上传用户:gaolch006
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
自动测试过程中,在特定测试标准下生成的测试用例的质量优劣,将极大地影响测试的性能和结果.作者结合基于程序规则说明的两种测试方法——随机测试技术和决策表技术,利用决策表形成完备的测试标准,保证随机生成的测试用例的充分性,完成测试用例的自动生成过程.研究内容分为如下4个部分:(1)基于软件规则说明的自动测试技术分析;(2)对程序规则说明生成决策表方法的测试标准;(3)结合随机测试数据生成和决策表技术对自动生成测试用例进行分析,比随机生成测试用例方法有更好的效果.
其他文献
应用免疫组织化学SP法测定38例硬皮病患者活检皮肤组织和10例正常活检皮肤组织TGF-β1、Smad2/3、Smad4、Smad7表达含量,并结合病例临床资料加以分析.实验结果表明,硬皮病患
通过构造两个单值函数,将集值函数迭代方程∑i^n=1λifi(x)=F(x)化为单值问题,并研究了其连续解与上半连续解.
对相同表达系统中产生的黑曲霉植酸酶(r-Anp)与烟曲霉植酸酶(r-Afp)的酶学特性进行了比较.两者的Km值都较低,但r-Anp的Vmax值远高于r-Afp(102.5 vs.29.5μmol.mg^-1.min^-1,P〈0.0
设f(z)为复平面上非常数亚纯函数,满足N1)(r,1/f)=S(r,f),而d为一非零常数.则T(r,f)〈11-N(r,f)+11-N(r,1/f'+df-1)+S(r,f),除非f(z)具有下列形式之一:(i)Ae^-dx;(ii)1/d(Ae^-dx+1)^2;(iii)1/d(Ae^-d/2z-1)^2;或(iv) Ae^dx(e
利用二元树复小波变换(DTCWT)良好的方向选择性和矩阵奇异值分解(SVD)的稳定性,作者提出了一种新的特征提取方法并用于车牌汉字识别.实验证明该方法比二维实小波变换具有更好的识别
构建增强型绿色荧光蛋白(Enhanced Green Fluorescent Protein,EGFP)和IgG4基因的融合蛋白真核表达载体pMM-EGFP-IgG4/WG,转染至中华仓鼠卵巢细胞(Chinese HamsterOvary,CHO)中成
根据在CCSD(T)/aug-cc-pVQZ理论水平下计算的He-HF相互作用能的数据,作者用Murrell-Sorbie势函数形式构造了He原子与耶分子相互作用各向异性的势模型,并与其它势模型进行了比较;然
介绍了P-凸度量空间和新一类广义拟压缩映射的概念,证明了Ishikawa型迭代序列收敛于新一类广义拟压缩映射的唯一不动点,从而推广和统一了近期的一些相应结果。
采用半定量和定量PCR方法对藏猪的NRAMP1基因在脾脏等10个组织中的表达进行了研究.结果显示,该基因在所研究藏猪的组织中均得以表达,无组织表达特异性;定量PCR的结果证实该基
提出了一种误差扩散的二元编码模板,用于产生较为精确的正弦光场.通过计算机仿真分析了该方法产生的正弦光场与标准的正弦光场之间的误差,以及误差与二元编码模板每周期采样点数