基于控制流信息的克里普克结构生成方法

恶意程序检测是信息安全技术研究的重要内容,基于程序行为特征的检测可以弥补二进制特征码检测方法的很多不足。使用模型检验技术可以对程序的操作行为做属性验证,它需要对目标程序进行建模,得到一个符合克里普克结构的迁移系统。通过对模型检验技术和克里普克结构的研究分析,提出了一种以完整控制流信息为基础、采用贪婪归一策略的克里普克迁移系统生成方法。测试分析表明,利用该方法生成的迁移系统可以完整地描述控制流信息,也可以精确地刻画系统状态的改变。     

一种UML活动图与合作图的集成方法

在进行基于统一建模语言UML的分析测试过程中,单图使用存在局限性,两图或多图的综合应用是解决此问题的一种可行方式。论文首先论述了利用UML活动图与合作图进行集成的原因与可行性,结合实例分析,提出了一种以活动图为主体,通过提取合作图中必要信息进行完善的集成方法,为后续的分析测试工作提供进一步精确有效的依据。     

一个C/C++程序集成测试平台的设计与实现

研制自动化或半自动化的测试工具将对软件的开发过程产生重大影响,并能有效提高软件生产率,是当今软件业界一个极具现实意义的课题.以目前广为使用的C/C 程序作为测试对象,从程序结构信息获取、插装、I/O重定向等方面探讨如何实现方法级结构性测试;按需求规约对类的状态转换行为运用EFSM建模,依据类状态转换图自动生成测试用例,在类测试驱动器的执行下实现基于状态的类测试.在系统级别上,运用等价类、边界值分析等常规策略进行黑盒测试.此外,运用聚类技术对失效执行进行聚类分析,并从中抽样出典型的测试执行用例用于指导程序的进一步诊断.所实现的原型系统CppTest具备多级别测试、测试项目化管理、自动化/可视化程度高、扩展性好等优点.     

一种采用接口错误注入的构件安全性测试方法

构件特别是第三方构件的安全性是影响构件技术发展的重要因素.当前甚少将构件安全性问题作为一个专门的课题来研究,也没有确实可行的方法和技术用来检测构件安全漏洞.构件的安全性问题仍然没有得到较好的解决.提出一种基于接口错误注入的构件安全性测试方法.方法首先给出构件脆弱性错误注入算子、断言规则库及其脆弱因子,然后基于错误注入算子和断言规则库给出一种构件安全测试算法.算法根据错误注入算子有针对性地产生测试用例并执行测试,动态监测机制能实时监测构件运行状态及异常信息.算法根据断言规则库、脆弱性因子及异常信息给出构件安全异常报告及构件安全等级.最后在一集成测试平台中实现了该方法,同时做了大量实验,并和FUZZ法进行了对比分析.实验结果表明所提出的测试方法可操作性强,且对构件脆弱性具有较好的检测效果.     

一个主动实时数据库管理系统的体系结构与执行模型

本文首先探讨了实时 DB、主动 DB的基本概念 ,然后提出了实时 DB和主动DB的结合机制 ,最后介绍了我们自行研制的一个主动实时 DBMS原型系统 ARTS- 1的体系结构与执行模型。     

沈阳地区高产水稻群体主要农艺性状对产量的影响

研究结果表明,水稻群体存在穗粒矛盾.穗数与产量间关系呈抛物线形,在辽宁沈阳地区水稻每公顷最适穗数在 3.0× 106～ 3.8× 106之间.每穗颖花数、每穗成粒数、一次枝梗数和二次枝梗数与产量均呈直线线性相关,但增产效果不同.北方寒地稻区水稻实现高产的有效育种途径是稳穗增粒或穗粒兼顾.     

基于位运算的固件代码变量区间分析法

变量区间分析是程序代码数据流分析的重要部分。固件反汇编代码存在字节运算和位运算两类运算,当变量取值范围较大时,依次迭代法不能高效地分析经位运算后的结果的取值区间。提出一种快速位运算方法,即根据变量取值区间范围,先将变量转化为不确定位形式再进行位运算;提出一种区间生成算法,即把不确定位形式转化为区间来实现字节运算。实验结果表明,该基于位运算的固件代码变量区间分析方法在程序变量取值范围较大时效率远远高于依次迭代法,而且在各种变量取值区间范围内所需时间稳定,并随着区间范围的增大,其有略微下降趋势。     

连接杆的冲锻连续成形工艺

为了解决滑撑组件连接杆采用连续模冲锻成形时,小凸模磨损严重、易折断或啃刃的问题,采用有限元方法分析了连接杆的冲锻连续成形工艺,发现成形锥形孔和台阶孔时多余的材料沿杆件长度方向流动使得杆件伸长,这种伸长变形使前序冲孔和后序修孔的小凸模承受较大的侧向力,导致小凸模寿命低、制件尺寸精度超差。提出了一种基于疏导法和隔离法的连接杆连续冲锻工艺,降低了压锥形孔和台阶孔工序的工序件伸长对成形的影响,使得新的连续模近似变成单工序模。实践结果表明,使用该方法可获得尺寸合格的零件,小凸模未再发生折断或啃刃现象,寿命大幅提升。     

改进窑口混凝土浇注技术延长使用周期

0引言 窑外分解窑窑口热力负荷加大,熟料对衬料的侵蚀磨损也加大,窑口衬料的使用周期往往也只有 1～ 3个月左右时间。许多兄弟厂家为了提高窑口衬料运转周期大多选用高档浇 注料,这未尝不可,但最关键的问题还在于施工,俗话说,“三分材料七分施工”,只有正确的浇注方法,严密细致的施工方案和精心地操作才是提高衬料运转周期的前提。以我厂 2号窑 (日产 2 000t,Φ 4m× 60m, RSP型分解炉 )窑口混凝土使用周期为例,用同一种中档低水泥浇 注料,由于改进了浇注技术,使用周期由 55d提高到 112d,延长使用时间 1倍以上。 1窑口护铁…     

执手多型腔压铸工艺优化

目的 研究适用于执手产品稳定生产的浇注方案及其工艺参数。方法 采用控制变量法,以模具型腔表面热集中区域的等效应力为指标,分别分析两种浇注方案在不同压射比压、压射速度和浇注温度下的型腔表面稳定性,通过正交试验优化工艺参数,并对执手产品进行生产验证。结果 当模具达到热平衡状态后,阶梯式浇注方案在各组工艺参数下的等效应力均小于分散式浇注,对阶梯式浇注方案的工艺参数进行正交试验优化,发现工艺参数对型腔表面稳定性的影响程度从大到小依次是压射比压、浇注温度、压射速度。正交试验优化后的结果为A1B1C1,即压射比压10 MPa、压射速度5 m/s、浇注温度640 ℃。选择优化后的工艺参数进行执手生产,得到的执手产品外形轮廓清晰,且无缩孔缺陷。结论 执手产品阶梯式浇注在各组工艺参数下的型腔表面稳定性均优于分散式浇注。阶梯式浇注工艺参数优化后试生产得到的产品质量良好,确定为执手产品最终的生产方案。