【摘 要】
：
软件测试能够为软件可靠性提供一种运行前评估.为减少达到一定可靠性目标所需要的测试用例的数量,普遍认为可以将软件的先验知识综合到基于测试的可靠性估计模型中.目前已经
【基金项目】
：
国家863高技术研究发展计划（No.2003AA423040）,国家973基础研究发展计划（No.2002CB312000）
论文部分内容阅读
软件测试能够为软件可靠性提供一种运行前评估.为减少达到一定可靠性目标所需要的测试用例的数量,普遍认为可以将软件的先验知识综合到基于测试的可靠性估计模型中.目前已经提出几种理论模型但是少有试验验证.对测试系统的定义进行了扩展,从规范、实现和测试之间的关系,研究了影响软件测试有效性的因素,并通过试验验证了先验知识在基于测试的可靠性估计中的作用.结论认为是软件的易测性特征而不是先验知识的多少决定了达到一定可靠性目标的测试用例的数量.该结论有助于理解软件设计对于测试有效性的影响.
其他文献
重型颅脑损伤患者创伤早期，机体处于高分解代谢状态，能量消耗明显增加，以往认为，脑损伤患者由于颅内高压导致意识和吞咽功能障碍、胃轻瘫、胃排空延迟。此时插入胃管进行肠内营养
现今,随着科学技术的发展,越来越多的企业开始建立起智能化生产线来应对日益激烈的竞争环境,同时,生产线中引入的设备也越来越多,其机械结构也越来越复杂,给维护工作提出了新的要求。传统“定时维护”和“事后维护”的方式已不能满足现代化的生产作业要求,在生产过程中发生故障,不仅极大地影响生产效率,更会对工作人员的人身安全造成威胁。如果能预测到生产线中潜在的故障点,就可以提前制定出合适的维护方案,在降低对生产
随着经济实力的增强和技术的发展,我国的生产行业出现了一些较为明显的变化,为了使生产能够满足现代人们多元化的需要,带给 企业更多的经济收益,生产制造企业投入了较多的成
“噬菌体疗法”以其高效裂解性、宿主专一性和环境友好型而受到广泛关注,在人类、动植物健康和疾病防控等方面有着广泛的应用前景,但目前总体研究较少。随着对噬菌体研究的不
周末,爷爷打来电话说,家里前几天下雨了,北风吹得人脸生疼;奶奶的身体最近好多了,偶尔还给阳台上的花草浇浇水;狗狗一直很乖,晚上冷了自己知道钻进屋子……家里一切都好,让我
<正> 近年来,运用耳穴诊断、治疗疾病日趋广泛,大量临床实践证明,耳针疗法见效快、效果好、简便经济,为了进一步验证耳穴——内脏相关的理论,研究耳穴治病的机理,特进行了以
本文试图从J.Q.亚当斯在与欧洲的外交斗争中，坚持美国的孤立外交传统，维护“美洲体系”这一角度出发，论述他在“门罗宣言”的三个原则的形成过程中的作用，得出结论：J.Q.亚当斯对“
2004年4月至今我们采用肝动脉化疗栓塞（TACE）加三维适形放疗（3D—CRT）（TACE）治疗肝癌38例，报告如下。1 资料与方法1．1临床资料：山西省肿瘤医院肿瘤患者38例中男性27例，女性11例，年龄35～78
近几年．重症监护室（ICU）危重患者由非发酵菌所致的院内获得性肺炎（HAP）的发生率日益增多，治疗非常困难。分析其危险因素并选择敏感抗生素有助于提高危重患者的救治成功率。现就我院
从较宏阔的视角解读民间美术,着重透析了民间美术的文化属性与品类范畴、文化观念和演化根源、美学架构及审美内蕴,以期为探求表述新民族图式的语境以及构建启动当代艺术设计