基于统计测试的净室策略研究及应用

来源 :CSSPI2006第五届中国系统与软件过程改进年会 | 被引量 : 0次 | 上传用户:simwwx
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
净室(cleanroom)软件工程是一种应用数学和统计学方法以经济有效的方式开发高质量软件的工程技术。净室软件提出的基于使用模型的统计测试,是统计方法在软件测试上的一种应用。借助马可大模型分析,作者在厦门某银行的凭证管理系统的设计中,采用的Discriminant值对使用链和测试链进行定量分析,结果表明该算子具有良好的验证效率,证明了测试用例的充分性。
其他文献
说到春晚,无论是明星,还是普通的观众和百姓,相信每一位都有着自己刻骨铭心的回忆。喜欢春晚,可能只因为一首歌,或者一个节目。今年已经79岁的著名剧作家、歌词作家阎肃最近
本文对比考察了有机无机复合保水材料与单纯聚丙烯酸保水材料对土壤物理性质的影响。结果发现,随着两种保水材料施用量的增加,土壤平均含水量、pH值、>0.25mm团聚体含量及阳离
采用无机纳米材料技术制备特殊活性的纳米硅制剂,采用土培和水培实验相结合,试验了三种处理:喷去离子水、喷Na2SiO3和喷纳米硅对水稻Cd毒害的缓解作用,以及对水稻吸收和积累Cd
会议
20世纪50年代初,曾被中共中央定为第二十四号“战犯”的国民党中央常务委员会原常委、台湾省主席兼“保安司令部司令”吴国桢突然去职并离台赴美,接着又爆发一年多的吴、蒋隔
通过对上海市临港新城新围垦滩涂三个定点的逐月调查观察和两条射线的本底调查,分析了上海市滨海盐渍土壤资源现状。结果表明,土壤Ec值与全盐量仍遵循“盐随水而上,随水而下
会议
本文通过不同比例矿山原位土壤与未受污染菜园土混合培养多金属超富集植物圆锥南芥,来探讨Zn、Cd、Pb在不同叶龄叶片中的分布以及CaCl2与水提取态含量。结果表明,随着矿土混
会议
针对粗酶稳定性不高的问题,对粗酶进行了固定化,研究了固定化酶对莠去津的降解特性。通过对不同条件下固定化酶对莠去津的降解率或酶活力进行比较,确定了固定化酶的最佳反应
会议
超低容量喷雾技术日臻成熟近年来我国农业、林业已经广泛应用。无论是空中的飞机防治还是地面防治其面积和范围逐年扩大,就基药剂研发和防治对象的范围发展也很迅速,尤其是在山
会议
本文对用数据管理过程的出发点进行了介绍,总结指出,要在行业和企业中强调史多的使用数据,进而建立“基准驱动改进”的模式,要使用数据准确清楚的表达自己的过程能力,同时要使用数