基于UML Statecharts的测试用例生成

来源 :小型微型计算机系统 | 被引量 : 0次 | 上传用户：zhuantang88

【摘要】

：

直接从含有层次和并发结构的UML statecharts图产生类的测试用例是比较困难的.提出了一种从UML statecharts图产生测试用例的方法:先把UML statecharts图转换成FREE(Flattene

【作者】

：

缪淮扣占学德刘玲

【机构】

：

上海大学

【出处】

：

小型微型计算机系统

【发表日期】

：

2005年4期

【关键词】

：

UML STATECHARTS FREE模型基于规格说明的测试 UML statecharts FREE model specification-based

【基金项目】

：

国家自然科学基金，国家重点基础研究发展计划(973计划)，上海市重点学科建设项目

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

直接从含有层次和并发结构的UML statecharts图产生类的测试用例是比较困难的.提出了一种从UML statecharts图产生测试用例的方法:先把UML statecharts图转换成FREE(Flattened Regular Expression)[1]模型图,再以FREE模型图为基础生成类的测试用例.同时,提出了FREE模型的测试覆盖准则,并提出了由FREE模型产生有限的迁移序列的算法.

其他文献

基于至少连续满足弱硬实时限制的调度算法

对至少连续满足弱硬实时限制的性质进行了扩充，提出并证明了任务不满足子序列长度与任务连续满足的截止期限数之间的关系.在此基础上提出了改进的弱硬实时限制调度算法：MRA．MRA

期刊

弱硬实时特征序列不满足子序列weakly hard real-time k-sequence unsatisfied sub k-sequence

A Corpus-Based Comparative Study of Synonym Usage: Take accomplish, fulfill and Achieve as Examples

As the foundation of a language,vocabulary is an important object of learning and application.In the process of learningEnglish,vocabulary is a great challenge

期刊

CORPUSSYNONYMwordfrequencydistributionCOLLOCATIONCOLLIGATION

从湿毒论治雾霾环境下流感病毒感染临床体会

流感病毒感染属中医的时行感冒、温病、瘟疫等范畴。雾霾是一种空气污染现象,由水汽凝结物以及气溶胶系统组成,可在水汽充足、微风及大气层稳定,相对湿度达到100%的条件下形

期刊

湿毒雾霾流感病毒感染病因病机儿童Dampness and poisonHazeInfluenza virus infectionEtiology an

非线性混沌时序预测研究及应用

混沌是一种普遍存在的非线性动力学行为,针对混沌时间序列的难以预测和控制的问题,提出了基于趋势的混沌预测模型,利用混沌系统的初值、参数敏感性来微调和控制系统扰动, 并

期刊

混沌时序参数识别优化预测模型改进的变尺度法chaotic time series parameter identification optimal pr

时毓民教授应用滋阴补肾法治疗小儿感染性肌炎经验

小儿感染性肌炎以受累肌肌力弱、疼痛及继发肌萎缩为临床表现,根据临床表现属于中医痿证的范畴。《内经·痿论》提出“治痿独取阳明”,时毓民教授根据小儿生理病理特点,

期刊

感染性肌炎中医治疗滋阴补肾法儿童Infectious myositisTraditional Chinese medicine therapyNouri

基于人眼视觉特性的小波树量化水印

在分析图像小波分解系数的树结构关系以及人眼视觉系统 (HVS)模型的基础上 ,提出了一种基于人眼视觉特性的小波系数树量化水印 ,该方法在宿主图像的两棵小波系数树中嵌入一位水印信息 ,通过量化使它们呈现足够大的统计差别从而使水印检测时能提取水印信息 .实验结果和分析表明 :该方法水印有较好的不可视性和鲁棒性 ,检测水印的虚警概率很低

期刊

数字水印人眼视觉系统(HVS)小波变换量化digital watermarking human visual system(HVS)wavelet tr

IIE环境下数字民航的虚拟数据仓库研究

本文结合现代企业信息网的特点,通过研究数据仓库体系结构和数据仓库层次数据模型,将数据库中数据以XML的形式,通过虚拟网络视图完成局域数据的集成与共享.进而通过建立基于

期刊

XML虚拟网络视图虚拟数据仓库集成框架XMLvirtual net viewvirtual data warehouseintegration fram

品古今茶韵寻江南风光

宁波茶文化博物院坐落于宁波市月湖景区花屿上的清代官邸袁宅内,环境优美,庭院清幽,是宁波市文保单位。茶博院面积近2000平方米,是宁波对外宣传茶文化的窗口。主要功能为展示

期刊

玉成窑宁波市

4种大戟科植物Lhca基因家族的全基因组鉴定、分类与进化分析

LHCI是植物光系统I（PSI）中与色素分子结合的一系列膜蛋白，由Lhca基因家族编码，主要参与光能的捕获与传递。虽然Lhca基因家族已在拟南芥、水稻、杨树等模式植物中得到了系统鉴定，但

期刊

大戟科植物全基因组Lhca基因家族鉴定进化分析Euphorbiaceae plantgenome-wideLhca gene familyidenti

悠悠江南古韵路桥十里长街

说起水乡老街,大家第一反应也许是乌镇,也许是周庄,又或者是西塘……但也有一些老街,它们"养在深闺人未识",没有过重的商业味,只有历经岁月后沉淀下来的悠然恬淡。六月的一天

期刊

文物古迹西塘养在深闺人未识十里长街江南城镇历史街区古韵台州市路桥区

基于UML Statecharts的测试用例生成

与本文相关的学术论文