存在检测错误的软件测试方法

来源 :数学理论与应用 | 被引量 : 17次 | 上传用户:tian358120
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
软件系统中通常会存有一些错误,而有些错误只有在进一步的开发中才会被检测出来,即使有专门的检测人员也会由于各种原因而不能清除其中全部的错误.前人用Capture-recapture模型来估计软件中含有的错误数量,并且取得了很好的估计值.但是这一模型假设检测行为总是正确的,而本篇文章中将会考虑这种可能性:检测行为错误;并且在本篇文章中被检测的软件将会被分成许多小块,从中取出一块作为研究对象来给出最终的估计值;在文章最后,将会用数据模型来验证文章得出的结论.
其他文献
天上掉下大馅饼一家名为“利泰投资集团”的大型跨国集团”正在广东一些地方推销“旅游权益卡”、“黄金贵宾卡”。
设n是偶数.该文证明了:当n〉2e19时,方程n=p+q适合p≤q的奇素数解(p,q)的个数小于2+[n/30],其中[n/30]是n/30的整数部分.
中国疾病预防控制中心环境与健康相关产品安全所(以下简称环境所)参与完成的"十一·五"国家科技支撑计划项目"农村安全供水集成技术研究与示范"(编号2006BAD01B00)荣获2014年度大
过氧化物酶体增生物激活受体(PPARs)是核受体超家族成员,在低等脊椎动物和哺乳动物中存在3个亚型,PPAR—α、PPAR-γ、PPAR-δ。最近的研究发现PPAR-δ在脂质代谢、炎症反应、皮
丧失,贯穿于人们生命发展的全程。有针对性的分析卒中后偏瘫患者的各种丧失表现及其对患者的深刻影响,并对丧失所致的心理障碍提出康复策略。
近年来从军团菌病的流行可以看出军团菌对人类健康的威胁已经达到不容忽视的程度。本文参考了近几年国内外的有关文献,列举了一些军团菌病暴发的典型事例,强调了军团菌影响人类
认真细致的编制预算,结合实际情况进行结算;采用当前实施的工程量清单计价,分不同情况按不同原则进行工程结算,实现控制施工期间工程造价目标。
期刊
[目的]探讨益气活血中药促进骨折愈合作用的疗效。[方法]64只大鼠右胫骨骨缺损造模,分为骨乐宁高剂量组、低剂量组、活血化瘀组和空白对照组治疗,于7、14、212、8 d分4批处死
海德格尔的诗人之天命观是其诗学领域中的一个重要维度,内含着诗人之“世界”、诗人之“返乡”及诗人之“倾听”,隐含着对传统艺术理论的反动和纠正。蕴涵着哲学与诗学的融通。