SDT：一个面向场景规约的运行时测试工具

来源 :计算机科学 | 被引量 : 3次 | 上传用户：zsq789456

【摘要】

：

利用设计模型信息,提高测试自动化程度是测试领域的重要课题。UML 顺序图是广泛使用的场景规约语言。本文研究了面向场景规约的运行时测试方法,并应用该方法实现了一个基于 UML 顺序图场景规约的测试工具SDT;它从 Ration Rose 的规约文件中提取顺序图信息,生成表示预期行为属性的事件有向无环图,对代码进行插装,并利用随机测试用例执行代码,最后将反向工程得到的运行时轨迹与有向无环图进行比较,对

【作者】

：

雷斌王林章李宣东郑国梁

【机构】

：

南京大学计算机软件新技术国家重点实验室

【出处】

：

计算机科学

【发表日期】

：

2006年01期

【关键词】

：

UML顺序图测试场荣有向无环图运行时轨迹测试工具 SDT 规约运行场景自动化程度 UML sequence diagram Test scena

【基金项目】

：

本文的研究工作受到国家自然科学基金（批准号60203009.60233020）江苏省自然科学基金（批准号BK2003408）和国家973项目（批准号2002CB31200I）的资助.

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

其他文献

基于EKF与UKF的利率期限结构模型估计及对比

在CKLS广义模型框架下,引入基于扩展卡尔曼滤波（EKF）和无损卡尔曼滤波（UKF）的利率期限结构均衡模型的估计方法,并使用加拿大国债数据对EKF和UKF的模型估计效果进行了对比实证研究

期刊

利率期限结构模型参数估计扩展卡尔曼滤波无损卡尔曼滤波遗传算法models of term structure of interest rates p

多源密度集结算子及其性质分析

对已有密度加权平均（DWA）中间算子进行拓展，给出了新的密度加权几何平均（DWGA）中间算子。在密度（DM）中间算子的结构上，系统地定义了若干密度合成算子，从而拓展了密度信息集结算子的可

期刊

密度中间算子密度加权几何平均中间算子元素聚类密度加权向量集结density middle operator density weighted geo

考虑尾时间的同类机调度问题可变邻域搜索算法

研究了目标函数是最小化最大完工时间的同类机调度问题,其中作业具有尾时间。此问题等价于最小化最大延迟时间的同类机问题,并被证明是NP-hard问题。为此问题构造了一种启发

期刊

同类机最大延迟时间尾时间可变邻域搜索uniform parallel machine maximum lateness delivery time/

跳跃出价情形下多物品增价拍卖收益

针对拍卖中存在的跳跃投标现象，且跳跃投标对可能改变拍卖双方期望收益情况，以基于跳跃出价的两物品增价拍卖为例，研究了跳跃出价对投标方收益效应，计算了跳跃出价均衡下的投标方

期刊

拍卖独立私人价值跳跃出价均衡期望收益auction independent private value jump bidding equilib

关于教育程度的“就业挤出效应”研究

在近几年我国高校连续扩招、劳动力市场供大于求的背景下，用人单位的人才高消费产生了高学历工人对低学历工人的挤出效应。通过一个搜寻者与岗位空缺的匹配模型来分析挤出效应

期刊

教育程度匹配挤出效应education degree matching extrusion effect

开放标准动态竞争

技术改进潜力成为标准竞争的一种竞争优势。在消费者理性预期的环境中,技术升级和市场增长加剧了具有更大技术潜力的个体标准提前进入市场的激励。先发标准的安装基数、消费

期刊

标准竞争技术进步技术升级市场竞争

基于混沌时间序列的误差纠错预测模型

提出了一种新型的非常实用的非线性时间序列的预测模型，即误差纠错预测模型（EAM），并从概率统计的角度严格证明了该方法的可靠性，同时分析了受噪声扰动的时间序列的预测。先按一般

期刊

非线性系统混沌时间序列白噪声预测相空间nonlinear system chaotic time-series white noise pred

关于Scheduling中文译名的注记

Scheduling是运筹学和组合最优化的一个分支。国际上,Scheduling发展已经有50年。1960年,越民义编写国内第1本排序理论讲义至今也有半个世纪。Scheduling的理论和应用涉及到

期刊

运筹学译名注记排序调度operations research translation review scheduling

美克尔憩室炎治疗体会

外科急腹症中美克尔憩室炎是一种较为少见而症状、体征与阑尾炎相似的疾病，临床上很难与阑尾炎相鉴别，多在手术中证实而明确诊断。我院20年来临床诊断为阑尾炎进行手术治疗者16

期刊

美克尔憩室炎临床资料急腹症先天性肠道畸型

一种基于最近邻决策的点集分类方法的确定与实现

最近邻分类方法是识别中的重要方法。本文在最近邻理论的基础上，通过应用Voronoi图表和Delaunay三角剖分的特性，较好地将点集进行分类，运用一种新的方法进行实现。

期刊

最近邻VORONOI图DELAUNAY三角剖分Nearest-Neighbour Voronoi diagramDelaunay triangulat

SDT：一个面向场景规约的运行时测试工具

与本文相关的学术论文