【摘 要】
：
净室(cleanroom)软件工程是一种应用数学和统计学方法以经济有效的方式开发高质量软件的工程技术。净室软件提出的基于使用模型的统计测试，是统计方法在软件测试上的一种应用。借助马可大模型分析，作者在厦门某银行的凭证管理系统的设计中，采用的Discriminant值对使用链和测试链进行定量分析，结果表明该算子具有良好的验证效率，证明了测试用例的充分性。
【机 构】
：
国防科技大学计算机学院 厦门大学软件学院
【出 处】
：
CSSPI2006第五届中国系统与软件过程改进年会
论文部分内容阅读
净室(cleanroom)软件工程是一种应用数学和统计学方法以经济有效的方式开发高质量软件的工程技术。净室软件提出的基于使用模型的统计测试，是统计方法在软件测试上的一种应用。借助马可大模型分析，作者在厦门某银行的凭证管理系统的设计中，采用的Discriminant值对使用链和测试链进行定量分析，结果表明该算子具有良好的验证效率，证明了测试用例的充分性。
其他文献
本文研究了超高速过滤工艺对城市污水二级处理出水中的浊度、色度、磷酸盐等的去除效果。经过小试、中试研究，得出以下结论：(1)采用常规的无烟煤、石英砂滤料对L/d优化后，可以实现污水的超高速过滤，最高滤速可达到74m/h，平均滤速达50m/h。(2)超高速过滤的主要作用是超高滤速在滤料颗粒空隙中形成紊流状态的强传质条件，为氧化-接触凝聚提供了良好的反应条件。(3)在本研究条件下，超高速过滤滤池最佳运行
首先对纳滤的定义及分离机理作了介绍。然后选用TS40纳滤膜和TS80纳滤膜对某天然井水进行有机物以及无机离子截留的实验。实验结果表明：TS40纳滤膜能够有效的去除有机物，而对无机离子的去除率较低。TS80纳滤膜对二价离子的去除率比一价离子的去除率要高，最高达97.3％，而对于有机物的去除效果较低。TS40纳滤膜对钙、镁离子去除率分别为61.6％和60％，而对钾、钠离子的去除率只有34.1％和41.
本文对膜生物反应器处理港口高盐含油污水处理效果进行了试验研究。小试试验结果表明港口含油污水中含盐量的多少是影响生物处理系统稳定运行的重要因素之一，为使膜生物处理系统正常运行应确保进水合盐量在一定的耐受值范围内。中试试验结果表明膜生物反应器在水力停留时间(HRT)为4h、6h、8h下MBR膜出水水质良好，同时试验结果还表明随着HRT的增加系统对污染物的去除率并没有明显的增加。
通过模拟生活污水小试实验，考察了混合液DO对气水交替膜生物反应器(gas-water altemative membrane bioreactor，AMBR)同步脱氮除碳的影响。结果表明，当DO为0.5mg/L左右时，AMBR能达到较好的同步脱氮除碳的效果，其COD、NH3-N和TN的去除率分别为94.5％、96.0％和78.4％。当DO低至0.1mg/L左右时，不利于COD的去除和NH3-N的硝
为研究利用河道生物环境处理生活污水的最佳工艺条件和各种因素对处理效果的影响，采用水力停留时间、溶解氧水平和“pro-bac”生物激活剂进行了三种因素组合的正交试验。确定了影响出水NH3-N效果的主次影响因素。结果表明，影响出水NH3-N效果的主次因素顺序为：水力停留时间、溶解氧水平和生物激活剂投加量。单因素优化后得出本试验条件下的较优工艺为：溶解氧=4.0mg/L、水力停留时间=3d、生物激活剂投
以屎尿分离处理技术应用于湖泊流域富营养化防治的必要性分析为目的，讨论了屎尿分离处理技术的发展现状、屎尿分离处理技术与湖泊流域现有生活污水处理技术的对比、屎尿分离处理技术推广与湖泊水质控制相关关系、屎尿分离处理技术在湖泊流域推广时可能遇到的问题。结果表明，屎尿分离处理技术是符合我国国情的湖泊流域富营养化防治必要手段，真有良好的应用前景。
本试验采用高锰酸钾预氧化、粉末活性炭与污泥回流联用工艺，研究其对低浊微污染原水的浊度和有机物处理效果。试验结果表明，采用污泥回流可有效改善沉后水浊度和滤后水有机物去除效果；投加高锰酸钾能够进一步改善处理效果，投加适量高锰酸钾完全可以达到污泥回流的效果，污泥回流进一步强化了高锰酸钾的除浊效果，高锰酸钾的助凝除浊作用更显著，污泥回流的除有机物作用更显著。
耕作层下土地自然净化技术，通过对土地的综合利用，在上部种植蔬菜、农作物和观赏植物，下部处理污水，使土地“用而不占，综合利用”，既可达到污水处理的目的，又能产生可观的经济效益。
本文介绍了软件开发中常用的测试过程：集成测试、确认测试和性能测试，描述了针对不同层次的测试如何编写测试报告以及给出了测试报告内容的模板，以帮助测试人员编制各种测试报告。在软件开发过程中为保证软件的质量，软件测试的技术、方法以及测试执行的过程都很重要，但是测试过程完成后如何编写测试报告?如何在报告中客观真实再现测试过程并将其信息报告给相关干系人对测试人员来说是需要仔细斟酌的。针对不同的测试其测试报告
通过对三峡库区万州过江公用(给水、燃气)隧道输水管工程方案的技术经济比较，得出了投资少、运行费用低的实施方案，并针对工程安全可靠性提出了技术处理措施。该工程是长江上首个过江公用隧道工程，建成多年来运行效果良好，为供水企业节省了大量的建设投资和运行管理费用，确保了万州五桥移民新区的正常供水。