基于扩展有限状态机的定义-清除路径的生成方法

来源 :计算机工程与科学 | 被引量 : 0次 | 上传用户：A312685521

【摘要】

：

本文提出了一种面向对象测试中定义-清除路径（DC路径）生成方法,以扩展有限状态机EFSM作为测试模型,结合数据流分析方法,用图论中的结点间最短路径求解思想生成DC路径.这样产生

【作者】

：

卢炎生雷波谢晓东毛澄映

【机构】

：

华中科技大学计算机科学与技术学院

【出处】

：

计算机工程与科学

【发表日期】

：

2006年7期

【关键词】

：

类单元测试扩展有限状态机定义-使用路径定义-清除路径测试用例 class unit test extended state machinedefine-

【基金项目】

：

“十五”国防科技预研项目（41315.9.2）

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

本文提出了一种面向对象测试中定义-清除路径（DC路径）生成方法,以扩展有限状态机EFSM作为测试模型,结合数据流分析方法,用图论中的结点间最短路径求解思想生成DC路径.这样产生的路径考虑了对象状态迁移,能够发现类中方法与变量之间交互作用时发生的错误,并精简了定义-使用路径（DU路径）组成的测试用例集.

其他文献

简述振冲碎石桩复合地基施工的监理质量控制

随着我国建筑业的蓬勃发展，各类高层建筑在全国大量兴建。我国幅员辽阔，有着各式各样的地质条件。万丈高楼从地起，高层建筑的基础都有一定的埋深，而地基承载力更是整栋建筑物或构

期刊

振冲碎石桩施工监理质量

某电站大坝变形监测结果初步分析

以原型观测为基础,将理论分析与实际监测结果相结合,对某电站大坝蓄水期变形规律进行了分析和评价。结果表明:水平和垂直位移变化过程线变化规律基本一致,大坝蓄水初期水位的

期刊

水电站大坝变形监测水平位移垂直位移

基于USB的12导联同步心电采集系统

提出了基于USB芯片FT245BM、高速四通道12位同步A/D转换芯片AD7864和64管脚8位单片机AT89C51ED2的十二导联同步心电采集系统.此系统以15kHz,采样率同步采集和记录12导联同一

期刊

通用串行总线(USB)十二导联心电图同步采集USB 12-lead ECG (electrocardiogram) Synchronous samplin

某钢筋混凝土框架结构地震响应弹塑性时程分析

文章基于合理的杆系结构数值分析模型，针对一个采用减震控制技术的实际钢筋混凝土框架结构进行了罕遇地震下的弹塑性时程分析。利用有限元分析软件强大的计算能力和后处理功能

期刊

弹塑性时程分析钢筋混凝土框架结构粘滞流体阻尼器

海量文本数据库中的高效并行频繁项集挖掘方法

针对大规模文本数据库中频繁项集挖掘的特殊要求，本文提出了一种新的并行挖掘算法parFIM。parFIM以一种简单的数据结构H-Struct为基础，对数据进行纵向划分从而实现并行挖掘。算

期刊

文本挖掘海量文本数据库频繁项集并行text mining very large text databasefrequent itemset paral

条码传感技术在小型物流自控系统中的应用

本文介绍了在由传送辊道、分拣机械手、立体仓库和堆垛机组成小型物流自动控制系统中传感技术的应用,主要介绍了在控制系统中采用VS800条码传感器实现物料的自动分拣,并通过

期刊

条码传感器自动分拣物流Bar code sensorAutomatic sortingLogistics

不同浓度维替泊芬对鼻咽癌细胞株CNE1增殖、侵袭、凋亡的影响及其机制

目的观察不同浓度维替泊芬对鼻咽癌细胞株CNE1增殖、侵袭、凋亡、细胞周期的影响,并探讨及其机制。方法取对数生长期CNE1细胞分为实验组和对照组,实验组分别加入1、2、4μmol

期刊

维替泊芬鼻咽癌YAP1蛋白细胞增殖细胞侵袭细胞凋亡细胞周期veteporfinnasopharyngeal carcinomaYAP1 prote

基于扩展有限状态机的定义-清除路径的生成方法

其他学术论文