【摘 要】
：
可扩展有限状态机EFSM（Extended Finite State Machine）是目前常用的一种描述软件状态和行为的模型，研究EFSM模型的测试数据自动生成方法具有重要的意义。针对EFSM模型，本文提出
论文部分内容阅读
可扩展有限状态机EFSM（Extended Finite State Machine）是目前常用的一种描述软件状态和行为的模型，研究EFSM模型的测试数据自动生成方法具有重要的意义。针对EFSM模型，本文提出一种面向EFSM路径的测试数据自动生成方法，利用多种群遗传算法MPGA（Multi-Population Genetic Algorithm）实现了EFSM测试数据的自动生成。实验结果表明，基于MPGA的EFSM模型测试数据自动生成是确实可行的，并且其测试数据生成效率优于遗传算法（GA）的测试数据生成
其他文献
本文结合《企业内部控制基本规范》分析了中小企业采购流程及主要控制内容,提出纵向上完善采购流程与采购流程控制,横向上健全采购控制制度进行全面控制;抓住流程中关键控制
成本费用是企业资金的消耗、占用和价值的转移,是企业获得收益所付出的代价。中小企业因其规模有限,提高竞争力的关键就在于将成本费用降到最低。本文首先分析了中小企业成本
我国地处季风气候区,暴雨洪水频发。受季风气候影响,我国大部分地区夏季湿热多雨、雨热同期,不仅短历时、高强度的局地暴雨频繁发生,而且长历时、大范围的全流域降雨也时有发
自工业革命以来,众多学者对企业库存管理进行深入的研究,形成了较成熟的理论体系。本文主要总结了存货管理的发展历程,评价了存货管理方法的适用性,展望了存货管理的研究方向
本文以重庆啤酒"罢董事件"为焦点,探讨了大成基金在参与公司治理中遇到的股权结构问题、自身行为短期化和自利化问题以及信息披露制度问题。通过与成功案例的对比,进一步阐述
高校学生干部是高校中的突出群体,是高校建设的先进骨干分子,高校学生干部的培养是高校人才培养和高校建设的重要部分,具有重大的意义。加强高校学生干部队伍的培养,是高校精
本文根据节能减排与低碳发展对企业环境会计信息披露提出的新要求,通过对企业环境会计信息披露的理论依据与动因分析,明确了企业环境会计信息披露的目标,并在企业环境会计信
本论文研究的主要对象是废轮胎胶粉(GTRP),从胶粉的应用加工工艺方面综合考察了胶粉种类、炭黑用量、硫黄用量以及生胶门尼黏度和混炼加料顺序对GTRP-天然橡胶(NR)共混胶料性
创业板的推出适应了世界经济发展的潮流,反映了中国经济结构调整、产业转型、新经济崛起的内在需要。本文以净利润增长率作为成长性指标的替代变量研究发现,上市三年以来,部
复合材料是一种比较典型的非匀质各向异性的材料,具有高比强度、高比模量、加工成型工艺简单、可设计性强等特点,利用这些特点可以设计出不同性能的复合材料结构。多管火箭炮