马竹根
- 作品数：16 被引量：32H指数：3
- 供职机构：怀化学院更多>>
- 相关领域：自动化与计算机技术文化科学交通运输工程经济管理更多>>
- 存储过程自动化测试的实现
- 2009年
- 存储过程的测试是一项非常繁琐的工作,一些数据库产品虽然提供了一些工具能够统计出存储过程的执行时间、返回记录数等信息,但是这些工具不能进行批量的重复的测试,而且测试结果的显示也不直观。针对这些问题,介绍了在Junit测试框架下实现存储过程自动化测试的方法,利用JUnit的自动化和生成的测试代码的复用,可实现存储过程的回归测试,利用XML技术存储测试用例和测试结果,实现测试用例和测试代码分离,提高了测试效率,为开发人员提供了直观的测试结果。
- 马竹根
- 关键词：自动化测试测试用例XML
- 基于智能水滴算法的软件路径测试用例生成方法
- 2016年
- 提出基于智能水滴算法的测试用例生成方法,描述了如何把测试用例的生成问题转换成智能水滴在控制流图的各边之间寻找最优路径的问题,讨论了利用智能水滴算法发现控制流图中的测试路径的算法。该方法利用控制流图的圈复杂度和自然界水滴的基本属性,使用动态参数来发现控制流图中的独立路径,能通过自动生成测试路径保证完全的代码覆盖。
- 马竹根
- 关键词：控制流图圈复杂度测试用例生成
- 一种自然语言理解中语法分析的算法设计和实现被引量：10
- 2005年
- 自然语言的理解是计算机研究的重要分支,主要体现在语法、语义和语音三方面。文章介绍了语法分析的各种方法,剖析了语言组成的结构关系,利用DELPHI语言编写了一种自顶向下的语法分析程序,并通过具体的实例验证了算法的正确性。
- 马竹根
- 关键词：自然语言语法分析文法自顶向下自然语言理解DELPHI语言计算机研究自顶向下
- 计算机专业跨学科协同教学应用研究——以《计算机操作系统》为例被引量：1
- 2016年
- 针对计算机专业各课程之间知识相互支撑和关联性强的特点,单课程教学模式导致学生对知识掌握不系统,教学、实践环节效果差,不利于培养大学生的应用能力。因此论文以操作系统课程为例,提出了跨学科内容的协同教学模式。克服了单学科教学产生的知识不系统的弊端,提高了学生学习的积极性、主动性和应用实践能力,为进一步促进高等教育教学开辟了新的思路。
- 李森林彭小宁马竹根
- 关键词：跨学科协同教学操作系统计算机专业
- 利用ANTLR生成C++描述的分析程序被引量：1
- 2006年
- ANTLR是一种基于LL(k)文法的语法分析程序生成工具,其生成的分析器默认使用Java描述,而不是更高效的C++。本文介绍了在Windows平台下,借助Visua1 C++6.0组织工程,使用ANTLR生成C++描述的分析器的方法,并给出了一个实例。最后,本文对ANTLR本身做出了一点改进。
- 马竹根
- 关键词：ANTLR语法分析器
- 形式化技术在逆向工程中的应用研究
- 随着计算机技术的飞速发展，产生了越来越多的遗产系统，对这些系统进行维护和升级是软件工程师们经常要面对的问题。要对遗产系统进行维护和再工程，就需要用逆向工程技术对当前系统的结构和行为进行理解。作为软件工程中的一种新技术，逆...
- 马竹根
- 关键词：逆向工程形式化方法PAD图形式规约源代码
- 文献传递
- 基于遗传规划寻找循环不变式的方法
- 2009年
- 描述了一种产生循环不变式主要部分的方法。该方法的基本思想是在每一次循环条件变化时记录下程序变量的值,生成相应的跟踪表,从跟踪表中获得程序变量之间的函数关系构成循环不变式的主要部分。程序变量之间的函数关系则利用遗传规划对跟踪表中数据执行符号回归得到。
- 马竹根刘槐德
- 关键词：循环不变式HOARE逻辑
- 智能水滴算法在代码覆盖测试中的应用被引量：1
- 2017年
- 代码覆盖在软件测试中得到了广泛应用,表示了代码被测试的程度。论文提出了一种利用智能水滴算法优化代码覆盖的算法,描述了如何把独立路径生成问题转换成智能水滴在控制依赖图的各边之间寻找最优路径的问题,通过生成带有权值的独立路径来自动生成测试序列,使得测试人员可以最优地安排测试顺序,保证充分的代码覆盖。
- 马竹根舒少华
- 关键词：软件测试代码覆盖
- 利用基因表达式编程自动生成循环不变式被引量：1
- 2009年
- 描述了利用基因表达式编程自动生成循环不变式的方法。该方法的基本思想是在每一次循环条件变化时记录下程序变量的值,产生相应的跟踪表,然后从跟踪表中获得程序变量之间的函数依赖关系,这种变量之间的依赖关系构成了循环不变式的主要部分。程序变量之间的函数依赖关系的获得是利用基因表达式编程对跟踪表中数据执行符号回归得到。利用VC++实现了基因表达式编程的函数挖掘,并通过一个实例说明了该方法的有效性。
- 马竹根王灿明
- 关键词：循环不变式HOARE逻辑基因表达式编程
- 求解多背包问题的混合蛙跳算法被引量：2
- 2011年
- 针对多背包问题,提出一种改进的离散混合蛙跳算法。算法中对青蛙个体采用十进制整数编码方式,应用遗传算法中的交叉操作来对个体进行更新,扩展了传统混合蛙跳算法模型。将改进的算法用于多背包问题求解,仿真实验表明了所提算法的有效性。
- 马竹根舒少华
- 关键词：混合蛙跳算法组合优化交叉算子
