软件测试研究

软件测试是保证软件质量和提高软件可靠性的重要手段。随着软件程序量和复杂度不断地增加,人们对软件质量的要求也在不断提高,软件测试在软件开发过程中占据的位置也变的越来越重要了,同时软件测试的工作量也显得越加艰巨。系统介绍了软件测试的概述包括软件测试的定义、阶段、过程模型和目的,并分析总结了软件测试的策略、方法和自动化。

运动估计算法预测搜索起始点

高精度的预测搜索起始点方法可以减少运动估计算法的搜索点数,提高搜索速度和精度。对中值,均值,左块,SAD比较等方法进行了理论介绍和实验分析,提出一种新的预测搜索起始点方法。该方法是利用相邻块运动矢量的相关性和运动矢量的偏向分布特征给相邻块分配不同的权重来预测搜索起始点。实验结果表明对不同种类的标准测试序列新方法比其它方法能够减少更多的搜索点数,减少搜索点数的总数达到29.24且PSNR提高1.71dB。

基于模型检测的机电系统FMEA研究

失效模式与影响分析(Failure modes and effects analysis,FMEA)是一种重要的设计评审和可靠性评估手段,但传统FMEA是非形式化的,分析烦琐且容易出错。将形式化技术引入机电系统FMEA,提出基于模型检测的机电系统FMEA方法。基于机电系统中的状态和事件,研究机电系统行为过程的形式化建模,针对单元失效建立面向FMEA的系统形式化模型;基于计算树逻辑(Computation tree logic,CTL)对机电系统的潜在故障进行形式化规约,并以潜在故障的否定命题构建待验证的系统行为属性;借助于模型检测工具遍历系统状态空间来检验系统是否满足行为属性,从而辨识系统单元失效与系统潜在故障之间的关系,实现基于模型检测的机电系统FMEA;将上述方法应用到数控机床进给系统,通过模型检测成功辨识出限位开关失效所导致的系统故障,验证了该方法的可行性。

毕赤酵母高效表达整合有CBD的米黑根毛霉脂肪酶

CBD是一类存在各种水解酶(木聚糖酶,纤维素酶等)中的能够结合并识别纤维素的结合域,能有效地增加酶在底物周围的浓度,增强酶水解底物的能力。尝试将来源于哈茨木霉内切葡聚糖酶Ⅱ(THEGⅡ)的CBD及连接肽基因融合到S7-xyn的N-末端区域中,以期能获得高酶活力的融合米黑根毛霉脂肪酶应用于工业生产,研究通过将融合基因克隆到pPICZαA载体中,构建分泌性表达质粒pPICZαA-CBD-RML,载体经线性化后在毕赤酵母GS115中融合表达。通过与没有融合CBD的RML比较,两者具有相似的最适温度和温度稳定性曲线,而融合蛋白CBD-RML的分泌量提高了17%。研究结果表明,来源于THEGⅡ的CBD可以作为异源蛋白在毕赤酵母中表达的分泌增强子。

基于IDEF的复杂机电系统状态解析

利用功能-行为-状态建模思想,提出了基于IDEF的复杂机电系统状态解析方法。首先利用IDEF0建立复杂机电系统功能结构的形式化表达,然后基于功能-行为映射关系并根据行为之间的时序、逻辑关系利用IDEF3建立复杂机电系统行为过程的形式化表达,最后将系统行为过程形式化表达模型中的行为单元的行为映射为状态,形成复杂机电系统的状态变迁网络。基于状态变迁网络,可以获得复杂机电系统行为过程中的状变迁序列,进而实现复杂机电系统的状态解析。