检索结果-内蒙古大学图书馆

计算机与现代化 2012年第2期 168-170,179页

作者：曹淑琴郑成龙北方工业大学信息工程学院北京100144

静态反汇编是对程序进行逆向工程的第一步,它将程序的可执行机器码以汇编指令代码的形式表示,给盗用软件知识产权和发掘软件漏洞提供了可能。为了混淆静态反汇编过程,增加对程序进行反汇编的难度,本文深入研究基于分支函数的静态反汇编... 详细信息

静态反汇编是对程序进行逆向工程的第一步,它将程序的可执行机器码以汇编指令代码的形式表示,给盗用软件知识产权和发掘软件漏洞提供了可能。为了混淆静态反汇编过程,增加对程序进行反汇编的难度,本文深入研究基于分支函数的静态反汇编混淆技术,针对其隐蔽性较差和代码执行效率低下的缺点,提出一种改进的分支函数静态反汇编混淆技术。改进后的混淆技术不仅能够有效地隐藏程序中的跳转指令,提高了代码的执行效率,同时增加了软件逆向工程分析的难度。

关键词：逆向工程混淆技术静态反汇编分支函数

来源：评论

学校读者我要写书评

暂无评论

高维系统周期解的共振分支

引用

应用数学学报 1998年第1期21卷 1-8页

作者：韩茂安上海交通大学应用数学系上海200030

本文利用Liapunov－Schmidt方法获得了高维自治系统在共振情况下决定周期解个数的分支函数，并通过计算分支函数的主项，分析分支函数的零点，研究了具两对共轭特征根的四维系统多个周期解的共振分支问题．

关键词：周期解共振高维系统自治系统分支函数

来源：评论

学校读者我要写书评

暂无评论

基于谓词动态切片技术的AOP测试用例生成方法研究

引用

小型微型计算机系统 2013年第6期34卷 1321-1327页

作者：王波柴玉梅王黎明郑州大学信息工程学院郑州450052

面向方面程序设计是面向对象程序设计技术的补充和完善,高效的面向方面程序测试方法是面向方面程序的质量保证.提出一个基于谓词动态切片技术的测试方法.首先,构造完整的AOP语句控制流图,它包含AOP的方面、切入点、连接点、建议等因素.... 详细信息

面向方面程序设计是面向对象程序设计技术的补充和完善,高效的面向方面程序测试方法是面向方面程序的质量保证.提出一个基于谓词动态切片技术的测试方法.首先,构造完整的AOP语句控制流图,它包含AOP的方面、切入点、连接点、建议等因素.然后,根据完整的AOP语句控制流图生成所有路径,针对每条路径,构造其分支函数,计算得到相应的测试数据,若路径不可执行,则不再计算其测试数据.在这个过程中,通过构建简化动态依赖图来生成谓词动态切片,再用谓词动态切片来帮助调整测试数据.最后,将各路径的实际输出数据与期望输出数据相比较,即可判断该程序是否有错误.经实例分析和实验验证,此方法可以系统地测试一个完整的面向方面程序,提高了测试数据的生成效率,并产生有效的测试用例.

关键词：面向方面程序设计语句控制流图谓词动态切片分支函数

来源：评论

学校读者我要写书评

暂无评论

高维系统极限环的分支

引用

数学学报（中文版） 1993年第6期36卷 805-807页

作者：韩茂安山东矿业学院数学系泰安271019

本文利用分支函数方法,讨论高维系统极限环的局部分支及一类全局分支,推广了 Hopf 分支定理.

关键词：分支函数极限环高维系统

来源：评论

学校读者我要写书评

暂无评论

软件测试中评价函数的构造以及插装方法的研究

引用

计算机工程与设计 2013年第5期34卷 1673-1680页

作者：王者思叶东升张建伟中国航天科工集团第二研究院研究生院北京100854 中国航天科工集团第二研究院三室北京100854

为了提高现在测试用例自动生成技术的自动化程度以及效率,构造了新的评价函数并且提出了一种全新的插装方式。研究了词语法分析技术,将其应用到了程序预处理的过程中,提出了一种全新的自动插装方法。对评价函数的构造进行了研究,将数据... 详细信息

为了提高现在测试用例自动生成技术的自动化程度以及效率,构造了新的评价函数并且提出了一种全新的插装方式。研究了词语法分析技术,将其应用到了程序预处理的过程中,提出了一种全新的自动插装方法。对评价函数的构造进行了研究,将数据依赖、控制依赖和分支函数结合组成新的评价函数,同时采用自动插装方式将所构造的评价函数自动插装到被测程序中。采用遗传算法作为搜索算法,以MC/DC(即修正条件/判定覆盖)准则为覆盖准则,验证了改进后的评价函数,实验结果表明,该方法具有更高的覆盖率和更快的收敛速度。

关键词：软件测试自动插装评价函数遗传算法数据依赖控制依赖分支函数

来源：评论

学校读者我要写书评

暂无评论

3类余维为2的同宿分支

引用

华东师范大学学报（自然科学版） 1995年第3期 1-12页

作者：朱德明华东师范大学数学系

本文考虑３类余维为２的同宿分支问题，证明了半稳定环分支曲线的存在唯一性，并给出了分支图和分支函数的渐近展开式。

关键词：同宿环极限环分支函数同缩分支

来源：评论

学校读者我要写书评

暂无评论

字符串谓词边界的ON—OFF测试点自动生成算法

引用

计算机应用 2000年第S1期20卷 173-176页

作者：赵瑞莲闵应骅中国科学院计算技术研究所北京100080

针对字符串谓词边界 ,提出了一个ON—OFF测试点自动生成算法。通过对字符串输入变量的每一字符 ,构造其线性分支函数 ,进行Korel的分支函数极小化 ,动态生成给定字符串谓词边界的ON—OFF测试点。实验表明 :该算法是行之有效的。

关键词：谓词边界谓词切片分支函数 ON—OFF测试点

来源：评论

学校读者我要写书评

暂无评论

基于谓词动态切片技术的AOP测试用例生成方法研究

基于谓词动态切片技术的AOP测试用例生成方法研究

引用

作者：王波郑州大学

学位级别：硕士

面向方面的软件开发是一种新出现的软件开发方法,面向方面程序设计是面向对象程序设计技术的补充和完善,它引入方面实现对横切关注点的封装,解决了代码混乱和代码分散的问题,提高了软件开发效率。高效的面向方面程序(Aspect-oriented pr... 详细信息

面向方面的软件开发是一种新出现的软件开发方法,面向方面程序设计是面向对象程序设计技术的补充和完善,它引入方面实现对横切关注点的封装,解决了代码混乱和代码分散的问题,提高了软件开发效率。高效的面向方面程序(Aspect-oriented programming, AOP)则试方法是面向方面程序的质量保证。目前,对于面向方面程序测试主要有四种方法：①由Zhao Jian-jun提出的基于数据流的单元测试方法。此方法主要关注程序中每个变量的赋值分配情况,根据控制流图构造方面、类的定义-使用(def-use)对,选取适当的测试策略,它存在的主要问题是环绕建议(around advice)可能改变定义-使用对的构造结果；②由Xu Dian-xiang等人提出的基于状态的测试方法。此方法是将面向方面的状态模型(ASM)变换成树的结构,由此得到的所有测试用例可对对象行为、方面以及类间的交互进行完备的测试,但没有解决状态组合爆炸的问题；③Xu Wei-feng等人利用方面流图(AFG)和迁移树基于AFG进行测试,该方法依据覆盖准则产生可执行的测试用例,它主要检测的是由控制流依赖改变导致的错误,可以表示静态应用的建议(advice),但无法表示动态应用的建议；④方面的独立测试。这种测试只针对特定的AOP语言,其重点在于对方面实现的测试,而对方面与类的交互没有涉及。本文提出一种引入谓词动态切片技术协助生成AOP测试用例的测试方法。首先,构造完整AOP语句控制流图,它包含AOP的方面、切入点、连接点、建议等因素。然后,将完整AOP语句控制流图存储在邻接表中,通过对邻接表的遍历,得到AOP的所有路径,针对每条路径,构造其分支函数,计算得到相应的测试数据,在测试数据调整时,若判定路径是不可执行路径,则不再为其生成测试数据。在这个过程中,引入谓词动态切片来协助调整测试数据,谓词动态切片是依据AOP简化动态依赖图得到的,本文提出了构造AOP简化动态依赖图的算法和生成谓词动态切片算法。最后,将各路径的实际输出数据与期望输出数据相比较,即可判断该程序是否有错误。经实例分析和实验验证,此方法可以系统地测试一个完整的面向方而程序,通过引入谓词动态切片技术,提高了测试数据的生成效率,并产生有效、完备的测试用例。

关键词：面向方面程序设计语句控制流图谓词动态切片分支函数

来源：评论

学校读者我要写书评

暂无评论

L－S方法在周期系统的应用

引用

山东矿业学院学报 1996年第3期15卷 105-110页

作者：卓相来宋子兴滨州师专数学系

本文用分支函数法，通过几个较为一般的实例进一步说明了Ｌ－Ｓ方法在局部分支理论中的广泛应用，从而将确定局部周期解的个数转化成易懂的代数运算。

关键词： L-S方法分支函数周期解周期系统分支理论

来源：评论

学校读者我要写书评

暂无评论

用抓拍法解动态问题

引用

语数外学习(初中版中旬) 2012年第6期 35-37页

作者：周文美章瑛湖南省长沙市长郡中学

动态问题是中考中的重点与热点问题。此类问题包含的知识点比较广泛,蕴藏了丰富的思想方法,解题的思维容量非常大,可以很好地考查了学生的数学素质和学习潜力,因此受到了很多命题者的青睐。对于学生而言,由于知识综合度高,过程复杂,思... 详细信息

动态问题是中考中的重点与热点问题。此类问题包含的知识点比较广泛,蕴藏了丰富的思想方法,解题的思维容量非常大,可以很好地考查了学生的数学素质和学习潜力,因此受到了很多命题者的青睐。对于学生而言,由于知识综合度高,过程复杂,思维难度高,因此学生普遍感觉解题困难,针对此类问题有无恰当的方法技巧解决呢?笔者经过自己的教学实践总结归纳出解答方法——电影抓拍法,尽供大家参考。

关键词：分段函数自变量运动过程分段点分支函数动直线最大值动态问题

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：