【摘 要】
：
测试用例的自动生成是软件测试研究的主要方向之一，针对软件开发过程中测试数据生成存在低效、无目的、冗余等问题，提出了基于UML状态模型图的面向对象类级测试用例生成方法，将U
【机 构】
：
安徽建筑大学电子与信息工程学院计算机系
【基金项目】
：
国家科技支撑计划(2012BAJ08B00);安徽高校省级自然科学研究重点项目(KJ2009A018Z);校青年科研专项经费(201183-14)
论文部分内容阅读
测试用例的自动生成是软件测试研究的主要方向之一，针对软件开发过程中测试数据生成存在低效、无目的、冗余等问题，提出了基于UML状态模型图的面向对象类级测试用例生成方法，将UML状态图转换成相应的事件确定有限状态机，通过线性时序逻辑的模型检测技术，验证有限状态机模型的正确性，实验结果表明，该方法能够在不降低迁移覆盖准则的情况下，生成数量少、针对性强的测试用例集。
其他文献
基建项目对国民经济结构和产业结构有着很大的影响。中央对地方专项转移及补助支出中，基建支出占据了很大的份额。目前，在现阶段公共支出需求较大而财政资金供应相对比较紧张的
根据协同学原理和共生原理,城市设计应寻找一种最优的动态协调方法,以达到社会、经济和环境效益的动态综合平衡.这种动态协调不仅指系统内部,更包括系统本身与外部环境在时间
2015年以来,连续上涨14年的牛羊肉价格呈现＂降温＂趋势,牛羊价格触及天花板后出现拐点,活羊价格更是较大幅度下降。总体看,牛羊肉价格下行,既是因为社会总需求不足导致的消费能
立辊机架是轧机设备中的关键受力部件，形状复杂，机体承受负荷大，质量要求高，轧辊轴承座及轧辊调整装置等都需安装在机架上，铸件不得存在缩孔、夹杂、裂纹和疏松等铸造缺陷。
笔者肯定教师资格认证制度的实施对我国教师职业专业化起到了一定的推动作用，但由于该制度的不完善，在一定程度上又阻碍了教师职业专业化的发展，笔者分析了存在的问题并就如何使
本文考察了写成于两汉时期的西北屯戍简牍中一组同义词＂矢＂、＂箭＂,确定汉代＂箭＂开始常用为＂矢＂义,而像《史记》等传世文献中用例还很少。而＂箭＂能迅速取代＂矢＂,可能跟＂矢＂常借用为＂屎＂义有关
当今企业之间的竞争日益激烈,尤其是铸造行业,利润率进入微利时代,同时对铸件的质量要求又不断提高,原材料不断涨价,成本日逐提高,企业的发展举步维艰,在这种形势下,只有加强
目的对跟骨骨折累及关节的患者在临床中进行内固定的应用和治疗效果上的分析。方法选取该院52例累及关节的跟骨骨折的患者在2017年3月—2019年3月收治的研究对象,将随机分为
＂十一五＂期间,四川各级档案部门坚持以科学发展观为统领,全面贯彻国家档案局加快＂三个体系＂建设和实现档案馆＂五位一体＂功能的发展战略,主动融入党委、政府中心工作,＂以服务促业务、
医患关系是社会关系的组成部分,和谐的社会需要和谐的医患关系.随着市场经济体制的不断完善,政府的责任意识、人们的权利意识、参与意识以及医方对利益的追求等等诸多因素使