基于模式组合的粒子群优化测试用例生成方法

适应度函数的设计在基于搜索的测试用例生成技术中占据重要的位置,然而在某些特殊的程序中,如存在嵌套、非结构性跳转或因return,break等语句跳出循环的程序,已有的适应度函数无法评价到所有的分支.目前的方法是修改程序的源代码,以使每个分支得到评价.但修改源代码不但可能影响程序的原有结构、引入错误,而且很难实现自动化.针对这一问题,提出一种基于模式组合的粒子群优化测试用例生成方法.首先,将分支条件定义为"模式",即,一类具有相同特征且能提高适应度值的个体集合,并改变其分支函数的插桩方式,可解决分支条件不完全评价的问题;然后,设计一种新的交叉算子,寻找到所有使模式的分支函数值最小的个体,将这些个体中含有模式的部分通过交叉算子组合到一个个体上,既可防止模式在进化过程中被破坏,又可因多种模式的组合而提高个体的适应度值;最后,使用局部搜索策略对种群中的最优个体进行搜索,提高粒子群优化算法的局部搜索精度,进一步提高测试用例生成效率.为了评价该方法的有效性,基于一组基准程序和开源程序进行实验.实验结果表明:对于含有模式的程序,该测试用例生成方法与已有方法相比,在覆盖率和平均进化代数上均有明显优势.

一种基于异常传播分析的依赖性分析方法

在分析异常处理结构对程序依赖性分析影响的基础上,对传统的控制流图进行改进,提出了一种新的能够描述包括异常处理结构在内的函数内和函数间的C++程序的依赖性分析模型,并给出了相应的构造算法.该方法既克服了因忽略异常处理结构对程序依赖性的影响而造成分析结果不准确的不足,又有助于实现基于异常传播的程序依赖性分析的自动处理.最后,对这种依赖性分析方法在程序切片中的应用作了进一步的探讨.

一种基于耦合度量的类间集成测试序的确定方法

类间测试顺序的确定是类集成测试中难以解决的一个关键问题.类的测试序列不同,构造相应的测试桩需要花费的代价也会不同.每一个测试桩复杂度度量的准确性决定最终打破环路所需构造测试桩的总体复杂度.对于类间测试顺序问题,文章提出一种基于耦合度量的类间集成测试序的确定方法.采用类间耦合度量与基于图的启发式算法相结合的方法,其中,前者用于度量每一个测试桩的复杂度,后者用于在保证测试桩总体复杂度尽可能小的条件下来打破环路.首先提出一种在度量中使用的耦合权重的计算方法,对测试桩的复杂度进行新的耦合度量;然后给出一种有效打破环路的基于图的启发式算法;最后实现了类间测试序列自动生成工具——TOGOS.实验结果表明:文中的方法较现有的方法总体复杂度有明显的降低,从而节约了测试成本.

基于神经网络的激光熔覆高度预测

激光成形过程中,对熔覆高度进行实时检测,从而实现熔覆高度闭环控制是成形高质量零件的保证。激光成形过程是一个多参数耦合的非线性过程,大量激光参数对成形熔覆表面质量具有重要影响。在分析激光参数对熔覆高度影响的基础上,建立利用激光工艺参数预测熔覆高度的误差反向传播(Backpropagation,BP)神经网络模型,完成了网络算法设计。通过激光成形试验采集样本,利用训练样本对所建立的网络进行训练,完成网络输入输出高度映射关系,并利用测试样本对所训练的网络进行检验。仿真试验表明,神经网络熔覆高度预测模型具有很高的精度,验证了该预测模型在理论和实践上的可行性与有效性。神经网络熔覆高度预测模型为实现激光加工过程熔覆高度实时预测与闭环控制打下基础,对提高成形产品质量具有重要意义。

一种基于异常传播分析的数据流分析方法

异常处理是一种用来检测异常并对其进行处理的技术.异常传播改变了程序原来的执行路线,从而改变了程序中的数据流.在进行数据流分析时,如果不考虑异常传播对其造成的影响,则得到的信息将是不准确的.在分析C++异常传播机制和异常传播对数据流分析影响的基础上,提出一种包含异常传播信息的函数间控制流图的构建方法.该控制流图可以清晰地表示出异常的隐式控制流和异常的传播路径;然后提出了基于异常传播分析的数据流分析方法,并给出相应的算法.该方法既克服了因忽略异常传播对数据流影响而造成分析结果不准确的不足,又有助于实现异常传播数据流分析的自动处理;最后用一个实例验证了该方法的可用性.该方法可以为结构测试、回归测试、程序切片等软件工程任务提供相关信息.

基于路径分析和信息熵的错误定位方法

软件错误定位是一项耗时又费力的工作,因此如何提高软件错误定位的自动化程度一直以来都是软件工程领域研究的热点.现有的基于频谱的错误定位方法很少利用程序的上下文信息,而程序的上下文信息对错误定位至关重要.针对这一问题,提出了一种基于路径分析和信息熵的错误定位方法FLPI.该方法在基于频谱信息技术的基础上,通过对所有执行路径中的数据依赖关系进行分析来引入执行上下文信息,同时利用信息熵理论将测试事件信息引入到可疑语句的怀疑度计算公式中,以提高错误定位的精度和效率.为了评价该方法的有效性,基于一组基准程序和开源程序进行实验验证.实验结果表明,所提出的方法FLPI能够有效地提高错误定位的精度和效率.

空指针异常的自动故障定位方法

提出一种空指针异常自动定位方法。该方法首先结合程序的静态分析技术,利用程序运行时的堆栈信息指导程序切片,然后对得到的切片进行空指针分析及别名分析,得出引发空指针异常的可疑语句集合,最终给出错误定位报告。实验结果表明,所提方法虽然因收集堆栈信息和别名分析增加了时间开销,但是利用堆栈信息可以缩小问题搜索空间,别名分析可以发现隐含的值传递过程,从而克服单独使用静态方法分析结果引起误报和漏报的缺陷,使最终的错误定位结果更精确。

胸腔镜术对胸膜间皮瘤的诊断价值

目的 评价胸腔镜检查对胸膜间皮瘤的诊断价值。方法 对 5 2例经常规检查未明确病因的胸膜间皮瘤患者采用胸腔镜直视下于病变处取活组织检查 ,并与经皮胸膜活检相比较。结果 胸腔镜对胸膜间皮瘤的诊断率为 10 0 % ,组织类型 :良性纤维型 9例 ,上皮型 18例 ,纤维肉瘤型 2 2例 ,混合型 3例。经皮胸膜活检诊断率为 2 3.1% ( 12 / 5 2 ) ,两者之间有显著差异。结论 胸腔镜检查对胸膜间皮瘤是一种安全、有效、诊断率高的检查手段。

胸腔镜检查对胸腔积液的诊治价值

为评价胸腔镜检查对胸腔积液的诊断和治疗价值 ,对 2 78例经常规检查未明确病因的胸腔积液患者 ,采用胸腔镜直视下病变处取活组织检查 (活检 ) ,根据活检结果 ,分别采取不同的方法治疗。结果显示胸腔镜的诊断率为 94.6% ( 2 63 / 2 78) ,胸膜转移癌、胸膜间皮瘤、结核性胸膜炎镜下形态不同。血性胸水中恶性占 78.8% ,草黄色胸液中恶性占 46.5 %。对恶性胸水患者经胸腔镜喷洒滑石粉或注入抗癌药物治疗 ,对良性胸水患者进行了对因治疗。 2 78例中无严重并发症。本组资料证实胸腔镜检查对胸腔积液是一种安全。

省一流特色学科和一流课程双重建设背景下《食品分析》课程教学改革的探索实践

食品专业人才的专业素养与思想道德品质的培养对食品安全与社会发展至关重要,传统的《食品分析》教学模式已不能满足食品科学与工程专业人才培养目标的需求。基于大连工业大学食品科学与工程一流特色学科和一流课程建设,课程团队对《食品分析》课程积极进行教学创新改革的探索与实践,重新准确定位课程目标,探索了课程思政教育的实施路径,创新教学方法,建立了多元化过程性课程考核体系和目标达成度评价体系,并持续进行改进。实践表明,以学生为中心的任务驱动法和融入思政教育的教学改革,贯穿以考促学的过程性考核评价体系,激发了学生的专业学习兴趣和潜能,学生分析解决问题的能力和专业素养得到提高。为食品专业其他相关课程的教学改革提供了参考。

光催化还原去除重金属铬Cr(Ⅵ)和铀U(Ⅵ)的研究进展

针对水体重金属(如铬和铀)的去除,可通过还原剂将水溶性高价重金属还原为低价固态,这是去除重金属富集的常用水体净化方法。其中,光催化技术以其低成本、无污染和强还原能力成为最有效的方法之一。利用太阳能在光催化剂作用下实现重金属铬和铀的还原去除,光催化剂主要包括基于TiO_2及g-C_3N_4半导体材料。研究表明,TiO_2和g-C_3N_4均是宽带半导体材料,光吸收主要发生在紫外区,对太阳光的利用效率低,为了改善其光吸收特性,利用杂原子掺杂、与其他半导体材料复合等方法窄化带隙,拓展吸收边界,提高光催化还原重金属性能。

酪蛋白的转谷氨酰胺酶酶促糖基化交联条件及产物性质

在氨基葡萄糖存在的条件下,利用转谷氨酰胺酶(EC2.3.2.13)对酪蛋白进行糖基化交联修饰。以修饰酪蛋白产物中氨基葡萄糖的导入量为指标,采用单因素试验分别考察反应体系pH值、酶添加量、反应温度和时间对修饰反应的影响。优化后的适宜修饰条件为:酪蛋白底物质量浓度为30g/L,氨基葡萄糖添加量为3mol(每kg酪蛋白中)、pH值为7.5、酶添加量为10kU(每kg酪蛋白中)、反应温度为37℃、时间4h。与酪蛋白和转谷氨酰胺酶促交联的酪蛋白相比,修饰酪蛋白产物的乳化性质和胶凝性质得到显著改善,并且体外消化性能未受到影响,表明转谷氨酰胺酶催化的糖基化交联修饰可以用于改善酪蛋白的这些功能性质。

异常处理——一种提高软件健壮性的方法

1引言 随着软件系统功能的不断完善和加强,软件的越来越复杂,对软件健壮性的要求也越来越高.人们已提出了多种提高软件健壮性的方法[11,13,14],异常处理是其中一种比较有效的方法.

基于UIO序列的类重要性度量

程序理解是测试和维护大规模面向对象程序的关键,选择程序的关键类优先开展分析是理解程序结构的一个有效的方法.为支持自动识别软件系统中的关键类,本文提出了一种基于UIO序列的类重要性度量方法.首先将软件系统抽象为一个以类为转换的有限自动机模型,随后求解该自动机的UIO序列,将该序列集合转化为状态转换树.通过递归计算状态转换树的节点复杂度求得类重要度.并在考虑异常传播的基础上改进了算法.最后通过实验验证了算法的有效性.

利用图像比色法进行激光熔池温度场实时检测的研究

本文将红外图像比色法应用于金属零件激光成形过程中的熔池温度场检测.阐述了测温原理和硬件图像采集系统的构成,完成了滤光片波长选择并进行了仿真,叙述了软件测温实现过程.试验结果证明了该测温系统瞬时求取温度分布的有效性,温度场实时检测的实现为激光加工过程的闭环控制打下了基础.

TSA对肺腺癌细胞株A549细胞凋亡的影响

目的：探讨组蛋白脱乙酰化酶抑制剂曲古抑菌素A(trichostatin A,TSA)对A549肺腺癌细胞凋亡的影响。方法：Annexin V和Hoechst染色法检测细胞凋亡；流式细胞仪分析细胞周期；Western blot检测凋亡信号通路中caspase-8、caspase-9活化及多聚ADP核糖聚合酶(PARP)裂解情况。结果：TSA可诱导细胞凋亡,主要使细胞积聚在G_2/M期,且呈浓度依赖性。Western blot检测表明TSA诱导了A549肺腺癌细胞caspase-8、caspase-9裂解活化及PARP裂解,且随TSA作用时间延长而逐步升高。结论：TSA诱导A549细胞凋亡中caspase-8、caspase-9介导caspase-3的活化,TSA通过caspase级联反应诱导A549细胞凋亡。

酪蛋白的转谷氨酰胺酶氨基葡萄糖修饰与功能性变化

在37℃、pH值为7.5和氨基葡萄糖存在下,利用转谷氨酰胺酶(EC 2.3.2.13)对酪蛋白进行交联修饰制备修饰酪蛋白;用十二烷基磺酸钠-聚丙烯酰胺凝胶电泳和高效液相色谱分析证实酪蛋白同时发生交联与糖基结合,且反应4 h时每摩酪蛋白可结合1.2摩葡萄糖。与酪蛋白相比,交联酪蛋白的溶解性质和起泡性质受损,而修饰酪蛋白产品的溶解性质得到改善,起泡性质尤其是泡沫稳定性质显著提高。在蛋白质质量浓度为1 g/L时,修饰酪蛋白的起泡能力和泡沫稳定性分别比酪蛋白提高8.6%和21%;质量浓度为100 g/L的修饰酪蛋白分散液表现出非牛顿流体特性,表观黏度显著高于交联酪蛋白或酪蛋白。

基于分支相关性分析的不可达路径检测方法

软件测试中,不可达路径的存在会导致测试资源浪费,有效地检测程序中的不可达路径有助于节约测试资源、提高测试效率.分支相关性的存在是不可达路径产生的主要起因.因此,确定分支的相关性在不可达路径的检测中占据十分重要的地位.提出了一种利用关联分析和数据流分析确定分支相关性的方法,进而实现不可达路径的自动检测.首先,结合静态分析和动态分析,构建反映程序中各分支判断语句静态依赖关系和动态执行信息的数据集;然后,利用关联分析和数据流分析技术确定分支的相关性;最后,根据分支相关性信息检测不可达路径.基于一组基准程序和开源程序,开展不可达路径检测实验.实验结果表明,该方法能够准确地检测出程序中的不可达路径,可以有效地提高软件测试的效率.

一个异常传播分析工具的设计与实现

异常处理是一种用来检测异常并对其进行处理的技术,异常传播改变程序原来的执行路线,从而可能改变程序中的数据流、控制流和各种成分的依赖关系。在进行程序分析时,如果不考虑异常传播对其造成的影响,则得到的信息将是不准确的。本文设计并实现了一个分析C++程序中异常传播分析工具CETool。该工具可以有效地分析C++程序的异常传播,它既可以获得异常处理结构的局部信息,也可以获得异常处理结构的全局信息,这对于有效地分析异常的传播,分析异常传播路径,以及改进异常处理结构都有很大的帮助。