随机测试用例的自动化生成和约简

自动化生成高质量测试用例是软件测试的核心问题.随机测试能快速生成大量测试用例.程序不变量作为程序中保真的属性,能反映程序执行测试用例时的真实情况.本文针对Java语言设计实现了带预设值的随机测试用例自动生成器,并利用不变量提取技术进行约简,实现了高质量测试用例的全自动化生成和约简.实验证明,本文实现的技术有效提高了随机测试的代码覆盖率;测试用例约简效果明显;并能有效揭示程序中的错误..     

程序不变量到断言的自动转换方法研究及其应用

程序不变量可以揭示程序的内部属性和动态执行情况,已经成功应用于软件测试用例的生成与约简.然而,每新增一个用例都要在整个测试用例集合上重新提取程序不变量,时间开销较大.提出一种基于正则表达式的将程序不变量自动转换为对应断言的方法,并利用断言判断新用例是否冗余,仅当新用例非冗余时才提取程序不变量,从而大幅度减小时间开销.将这种基于断言的测试方法应用于回归测试,可以有效约简测试用例集合,识别程序改动所影响的元素,进而发现潜在的程序错误.实验结果表明,与其它测试用例选择方法相比,该方法时间消耗小、测试用例集合约简率高、揭错能力强.     

UML状态图和Petri网络在类测试用例生成的应用

分析和研究UML状态图、扩展状态机和Petri网在类测试用例生成的特点,提出结合三者优势的类测试用例生成方法.通过Petri网对状态图进行性质分析可以解决状态爆炸,分析状态图冲突和了解覆盖性等问题.通过实例分析和研究,三者结合的基于完整路径转换测试准则所产生测试用例生成方法是有效的.     

一种基于AODV的MANET入侵识别协议

入侵识别在移动Ad hoc网络路由安全中起到重要作用。该文针对AODV协议中的虚假目的序列号攻击以及已有解决方案中的缺陷,引入信誉值更新算法,设计一种基于AODV的入侵识别协议。仿真实验结果表明,该协议在网络性能以及识别的准确性方面都有较好的表现。     

天然气制甲醇装置中蒸汽平衡改造

介绍了青海中浩天然气制甲醇装置运行中出现的蒸汽平衡问题以及改造措施。改造后每年可降低费用超过2500万元。     

转载机自动控制煤流装置的应用

1现状分析在现代煤炭生产中,综放采煤工作面采用采煤机实现连续采煤,工作面内使用刮板运输机实现原煤的运输,在工作面运输顺槽端头通过桥式转载机实现从刮板运输机到顺槽胶带     

县级电网工程CAD及预结算系统的设计

从技术角度详细阐述了县级供电企业的电网工程 CAD及预结算系统的设计思想。由于采用了图形信息集成技术 ,很好地解决了信息系统中难于处理的电力材料动态变化的难题     

测量不确定度理解与应用测量不确定度评定中的重复性分量问题

1995年欧洲分析化学活动中心（A Focus for Analytical Chemistryin Europel出版了一本用于欧洲区域的指导性文件《EURACHEM Guide》，作为在化学分析领域中，检测结果不确定度的参考。1997年该组织与国际溯源性分析化学合作组织（Co．operation on International Traceability in Analytical Chemistry)共同讨论，对该书进行了修订，作为全球性的一本指导文件，     

虫洞攻击检测与防御技术

虫洞攻击是一种针对Ad hoc路由协议,破坏网络路由机制的攻击,它是Ad hoc网络的重大安全威胁。该文提出一种基于信任评估的端到端虫洞检测方法,估算源节点和目的节点间最短路径长度,根据路由长度和邻居节点信任度来选择路由,从而检测和防御虫洞 攻击。     

加核Wigner-Ville时频谱分解技术在大港油区含气性检测中的应用

大港油田板桥地区气层埋藏较深,且地震主频较低,预测难度大。鉴于Wigner-Ville时频分布具有较高的时频局域性、分辨能力和聚能性,但其交叉项的存在对分辨能力有较大干扰,采用在模糊函数域加Choi-Williams核函数窗方式进行Wigner-Ville时频计算,通过理论信号分析加核Wigner-Ville时频分布能较好地抑制交叉项且能保持其原有的优良特性。在实际的含气层识别应用中,首先从已钻井出发,开展井旁地震道时频谱分析,归纳含气层的时频变化规律,然后提取地震分频剖面,研究分频剖面与含气层之间的对应关系,选择其气层识别的优势频率体,应用于含气性预测。理论信号和实际资料研究表明,加核Wigner-Ville时频谱分解技术在含气层检测中具有一定的可行性。