【摘 要】
：
随机测试在软件和硬件测试中都有广泛应用,在软件测试中一般应用于黑盒测试.利用随机测试在软硬件中的一致性特点,将针对数字系统随机测试开发的最大距离测试概念研究成果,通
【基金项目】
：
国家自然科学基金项目（61076123）.
论文部分内容阅读
随机测试在软件和硬件测试中都有广泛应用,在软件测试中一般应用于黑盒测试.利用随机测试在软硬件中的一致性特点,将针对数字系统随机测试开发的最大距离测试概念研究成果,通过转换和改造,应用于软件黑盒测试,称为软件最大距离随机测试法.通过对基准程序TCAS的39个变异体测试的实验结果表明：所提的新方法是一种有效的可以提高软件黑盒测试功效的方法,它不仅提高了软件随机测试的效率,而且降低了测试成本,相对于传统的软件随机测试而言,在故障覆盖率方面有着十分明显的改进和提高.
其他文献
该研究的目的是评价奎那普利治疗心力衰竭病人的疗效,评价突然停服奎那普利的安全性和临床后果。 一、奎那普利的药理学 该药是一种非巯基血管紧张素转换酶抑制剂。口服后,50
KSW熵自动阈值法是面向对象的不需要先验知识的单阈值分割方法,但是面对背景复杂的彩色城市倾斜航空影像,其分割效果有待进一步提高。提出一种改进KSW熵自动阈值法对彩色城市倾斜航空影像植被进行提取,即结合改进的归一化植被指数以及几何特征来进行城市倾斜航空影像的分割。实验证明,该方法能够很好地提取植被,且普适性好。与传统KSW熵自动阈值法相比较,分割效果令人满意。
Background: An irreversible renal function impairment is called chronic renal failure (CRF) which finally leads to the “end-stage renal disease” (ESRD) and re
针对以往直流电流源普遍存在的精度低、调节范围窄和纹波电流较大等缺点，研制了一种基于ATmega64单片机的低纹波高精度数控直流电流源。该电流源通过设置使单片机产生两路大小
通过极限氧指数法（LOI）和垂直燃烧（UL-94）测试考察了一种无卤阻燃乙烯-醋酸乙烯酯共聚物（EVA）的阻燃性能;利用热重分析法（TG）研究了纯EVA及阻燃EVA在不同升温速率下的热稳定性及热分
Background: Evidences have shown that local anaesthetics are clinically useful compounds that exert a pharmacological effect by blocking nerve impulse propagati
The aim of the present controlled clinical study was to compare the clinical response of grafting superporous hydroxyapatite (HAp) granules to superporous HAp b
设计了一种分布式智能照明控制系统.将光照度传感器LC1112、人体检测器DT-7380和无线接收器RF301-1的数据传递给信号检测模块XI308-1,转换为数字信号后通过CAN总线传送给CPU
以CRH2型高速列车为参考模型,采用多学科协同仿真的方法,对高速列车综合仿真平台和列车通信网络仿真平台之间的接口网关进行分析和研究,提出构建基于HLA/RTI（高层体系结构/联
Background: Sickle cell disease is an inherited hematological disorder that inflects complex demands on the lives of the children and their families. Aim: To de