论文部分内容阅读
软件可靠性测试是软件工程中的一个新的研究领域.为了缩短软件测试周期,测试用例的生成是关键.基于马尔可夫链模型,提出了一种测试用例优化技术,该理论采用适应度比例的概率方法进行优化.通过例子证明.该方法在产生均匀、优化的测试用例方面是有效的.
基于概率论的测试用例优化技术研究
【摘 要】
：
软件可靠性测试是软件工程中的一个新的研究领域.为了缩短软件测试周期,测试用例的生成是关键.基于马尔可夫链模型,提出了一种测试用例优化技术,该理论采用适应度比例的概率
【机 构】
：
天水师范学院物信学阮,兰州交通大学信息与工程学院
【出 处】
：
计量技术
【发表日期】
：
2004年期
其他文献
随着大容量调节抽汽式汽轮机组的不断投运,该类型汽轮机组的装机容量在电网中所占的比重越来越大,加之受到调节抽汽式汽轮机组对外热负荷的限制,整个电网的调峰能力将受到越
针对ADC中的SHA一般设计结构,主要分析其在采样阶段的非理想因素模型。对于每一种非理性因素,结合MOS开关管的特性,做出定量的描述。并在此基础上,借助Simulink仿真工具,对这
为了确定Cry9Aa3蛋白对亚洲玉米螟(Ostrinia furnacalis)和小菜蛾(Plutella xylostella)的最小活性区,根据NCBI BLAST比对结果与SWISS-MODEL同源建模结果,设计了12对截短引物
进入冬季，雨、雪、雾等恶劣天气增多。为应对恶劣天气可能对我站造成的影响，及时有效地应对突发事件，检验我站《应对雨、雪、雾天气应急预案》的可行性，10月25日上午，我站举行了一
灰霉病是金线兰生产中出现的一种新的重要病害,本研究对该病症状进行了观察,并通过病原形态鉴定、rDNA-ITS序列分析及致病性测定鉴定其致病菌为灰葡萄孢(Botrytis cinerea Pe
4月初到7月底,调查了绿盲蝽在冬枣和葡萄树上的越冬部位,监测了其在葡萄树上的种群动态及寄主转移规律.结果表明绿盲蝽越冬卵在葡萄树和冬枣树的剪口、葡萄的冬芽以及冬枣树
介绍在现代信息技术的基础上，组成数字化校园的四大系统：基础网络系统、校园应用系统、一卡通系统、安全防护系统，阐述这四大系统的解决方案以及应用的信息技术，为数字化校园工程
本文通过对台州民营经济产业升级的进程及特点的分析,阐述了台州民营经济在产业升级中亟待解决的融资问题,提出了解决问题的建议,提高民营企业的创新能力和核心竞争力,促进台
于2013年利用人工繁殖的普通草蛉对新疆哈密地区棉田的棉蚜进行生物防治,结果表明,棉田释放密度为30、40、50和60粒/株的普通草蛉卵5～13 d后,与对照相比,各处理棉田的棉蚜数量