【摘 要】
：
研究了基于可信度的统计覆盖测试技术，以及基于统计覆盖测试技术的测试充分性，指出“以至少C的可信度确信。下一次软件测试出现新的覆盖项(如语句，分支，路径等)的概率小于或等于
【基金项目】
：
总装"十五"预研基金资助课题(413150601)
论文部分内容阅读
研究了基于可信度的统计覆盖测试技术，以及基于统计覆盖测试技术的测试充分性，指出“以至少C的可信度确信。下一次软件测试出现新的覆盖项(如语句，分支，路径等)的概率小于或等于一个给定的正数B”，是一种测试充分性的标准。在此基础上，进一步研究了统计测试技术与软件可靠性技术指标中的软件失效率之间的联系，给出了基于统计测试技术的软件失效率的度量方法。
其他文献
目的:建立薤白提取物中呋甾皂苷Ⅰ的高效液相含量测定法。方法:薤白提取物经过甲醇回流后,滤液浓缩,定容,以甲醇-水(69∶31)为流动相,柱温30℃,以HPLC-RID检测其中呋甾皂苷Ⅰ
<正>0引言超声波探伤仪主要用于检验锻件、铸件、厚钢板、薄板、线材、管材、焊缝、条棒等金属材料的内部缺陷和有关金属材料件的厚度测定。超声波探头一般由压电晶片、外壳
中国园林是传播中国文化的重要载体,是中国传统文化的重要组成部分.中国园林之所以能在世界上独树一帜,是由于中国独特的地貌、悠久的历史以及多民族文化交融和谐共生的结果.
互联网日新月异的发展带动了视频网站的发展,与此相对应的一种新的影视形式——网络自制剧应时而生。2015年底,由乐视网独家打造出品的《太子妃升职记》开播9天就收获了破亿
师范院校健美操专业学生发展为顺应新时期人才培养目标,需注重学生创编能力的培养,培养突破陈旧教学模式和师生固定思维的束缚。本文采用文献资料法、专家访谈法、问卷调查法
广州中医药大学退休老中医李春辉从事中医临床工作50多年,尤其擅长应用中医药治疗恶性肿瘤。文章从以下3个方面介绍李老在治疗恶性肿瘤方面的经验:攻补兼施;注重辨证论治、辨
钢板剪力墙作为一种新型抗侧力结构体系,墙板开洞对钢板剪力墙结构体系的抗侧力行为具有重要影响。抗侧刚度和抗侧承载力是设计中最为关心的两项基本性能,该文重点研究墙板开
全球化时代,区域经济转型发展的最主要的驱动力,已不再是传统的生产要素禀赋因素.20世纪90年代以来的新区域经济理论,其核心方法为生产链分析方法.我国的区域经济研究与地区
本文以25kW防爆泵为研究对象进行动力学分析,首先对泵固定件、运动件和整机进行了模态及振动传递路径分析,接着对整机进行了隔振计算,然后对流体脉动压力进行了数值计算,最后
共同犯罪中的"部分行为全部责任"归责原则只是要求实施"部分行为"的参与人对整个犯罪结果承担全部责任,但这并不意味着"一人犯罪既遂则全体既遂"。犯罪既遂形态在理论上是一