【摘 要】
：
UML协作图能够描述对象之间动态的交互关系及对象之间消息传递的过程,根据协作图中的消息流和控制流可以获取有用的场景模型并生成测试用例。本文在研究UML协作图和确定有穷
【机 构】
：
江西省教育考试院,南昌航空大学软件学院
【基金项目】
：
江西省教育科研基金资助项目（GJJ08232）
论文部分内容阅读
UML协作图能够描述对象之间动态的交互关系及对象之间消息传递的过程,根据协作图中的消息流和控制流可以获取有用的场景模型并生成测试用例。本文在研究UML协作图和确定有穷自动机（DFA）之间对应关系的基础上,提出一种将UML协作图转换为DFA,再从DFA中提取测试场景生成测试用例的方法,并将该方法应用于实际项目的测试用例生成。最后,通过对结果进行数据对比和分析,说明该测试用例生成方法的有效性。
其他文献
目的 探讨腹膜透析与血液透析对慢性肾脏病5期患者钙磷代谢、生存质量、并发症的影响。方法 选取我院收治的慢性肾脏病5期患者100例,随机分为两组各50例。对照组采取血液透析
目的探讨循证护理对老年带状疱疹患者疼痛程度及生活质量的影响。方法选取2017年9月至2018年10月我院收治的139例老年带状疱疹患者作为研究对象,随机分为观察组(n=69)与对照
目的 探讨两点法腰硬联合麻醉用于经皮肾镜钬激光碎石术的临床效果。方法 选取2016年1月至2018年1月于我院行经皮肾镜钬激光碎石术治疗的400例患者,随机分为对照组与观察组各
目的比较止血带结合局部缝扎与传统疗法在剖宫产术中出血的应用效果。方法选取40例剖宫产术中出血的产妇作为研究对象,随机分为两组各20例。观察组给予止血带结合局部缝扎疗
目的 探讨采用经阴道彩色多普勒超声诊断剖宫产切口瘢痕妊娠（CSP）的应用价值。方法 选取我院收治的60例CSP患者,分为两组各30例。研究组采用经阴道彩色多普勒超声检查,对照组采
目的 建立人单个核细胞培养的体外扩增gamma-delta T细胞体系,为肿瘤免疫细胞治疗奠定基础。方法 采集体检健康人外周血,分离出单个核细胞,接种于含IL-2、唑来膦酸、 IL-18以
数据中心节能问题越来越被重视,本文根据数据中心节能方面目前的发展情况,提出一些技术使企业数据中心实现节能。使用这些技术,不仅可节约大量电费支出和延长设备寿命,同时减
在地震勘探中,随机噪声是一种频带较宽、严重影响有效波的干扰波,因此随机噪声的有效去除在地震信号处理中显得尤为重要。傅里叶变换是信号处理传统的随机噪声去除方法。它能
现有的交通信息系统都是基于最短路径等单一目标而建设的,这种单一目标已经不足以满足新时代下用户的交通需求。本文利用蚁群算法求解交通诱导模型的非劣解,同时针对交通空间
为消除语音信号中噪声,改善语音质量,本文提出一种改进的减谱法。首先根据每帧的功率谱动态调整谱减系数,然后通过维纳滤波法把各种噪声变换为类似白噪声的噪声,最后用原减谱