论文部分内容阅读
软件可靠性测试是软件工程中的一个新的研究领域。为了缩短软件测试周期,测试用例的生成是关键,提出将测试用例的生成问题转化为一个数学问题。通过实例证明,这种测试技术具有一定实用性和有效性。
基于概率统计的测试用例生成技术研究
【摘 要】
：
软件可靠性测试是软件工程中的一个新的研究领域。为了缩短软件测试周期,测试用例的生成是关键,提出将测试用例的生成问题转化为一个数学问题。通过实例证明,这种测试技术具
【机 构】
：
天水师范学院物理与信息科学学院
【出 处】
：
自动化与仪器仪表
【发表日期】
：
2010年4期
【基金项目】
：
天水师范学院科研基金项目(TSB0720)
其他文献
目的:检测半夏曲炮制过程中细菌、酵母菌、霉菌的菌落数量并定量分析其中4种优势微生物数量的动态变化,为研究半夏曲炮制机制提供实验依据。方法:参照《中华人民共和国卫生部
我国现阶段研究生培养体制与社会发展需要不协调的矛盾日见明显,研究生教育改革已成大势所趋,本文围绕改革中研究生培养目标,论述了改革的必然性,需要改革的问题以及改革的途
低温泵是液态空气储能系统释能发电的重要部件,其工作性能对系统储能效率的影响不可忽略,但已有研究关于低温泵对液态空气储能系统效率的影响规律及其在储能工况下的实际工作
目的观察窒息后喂养不耐受新生儿接受微量喂养与非营养性吸吮临床症状与营养状况改善情况。方法以2015年4月~2017年6月在本院出生的102例窒息后喂养不耐受新生儿作为本次研究
藏式佛塔建筑是藏族传统文化的一种载体,最具宗教色彩的建筑代表之一,有着深厚的文化内涵和多种象征意义。藏式佛塔建筑的象征手法更是发挥到了极致,佛塔从整体到各个组成部
长期以来,我国渔民收入更多地依赖于第一产业的发展情况,两者之间呈现出高度关联性。利用2016年全国渔民家庭收支调查数据,分析渔民家庭收支情况,结果显示：多数地区渔民收入保
英语写作是大学英语教学的重要组成部分,传统的写作教学在外语人才培养过程中发挥了重要作用,但通过写作教学大力提升学生交际水平方面仍待强化.大学英语写作因素.教学存在许
在近几年数学教学中,我比较重视如何使用数学课本,要求学生课前要预习课本,做一些基本题。课上教师由全面讲解改为重点讲解。这样学生逐渐地养成了看数学书的习惯。随着学生
通过正交试验方法分析提取温度、提取时间、提取液体积及振荡频率4 种因素对大豆水溶性蛋白质测定结果的影响,确定大豆水溶性蛋白质最佳提取条件.结果表明,在一定范围内,大豆