动水压力型滑坡不利因素组合及作用机制试验研究

1

作者 陈勇 叶润青 +1 位作者 申清峰 王力 《自然灾害学报》 北大核心 2025年第1期75-84,共10页

因库水位下降而变形失稳的动水压力型滑坡,是库区多见的一种滑坡类型,且不同滑坡对水位下降的响应存在巨大差异。为探索动水压力型滑坡的失稳特征和诱发机制,基于不同影响因素的作用特点分析,开展了多组模型试验,揭示了滑面形态、滑体... 因库水位下降而变形失稳的动水压力型滑坡,是库区多见的一种滑坡类型,且不同滑坡对水位下降的响应存在巨大差异。为探索动水压力型滑坡的失稳特征和诱发机制,基于不同影响因素的作用特点分析,开展了多组模型试验,揭示了滑面形态、滑体渗透系数和水位骤降速率对滑坡孔隙水压力、体积含水率及变形破坏全过程的影响规律。研究结果表明,多影响因素组合对动水压力型滑坡不利程度的排序,并总结了其变形失稳的主控因素、次生因素和诱发因素,发现了直线形滑面的滑坡失稳特征为浅层滑动诱发滑体逐层剥离的牵引式破坏、弧线形滑面的滑坡失稳特征为坡脚垮塌逐渐向后溯源的牵引式破坏,二者差异的内在机制是滑体厚度不同导致渗透压力的具体作用区域和持续时间显著不同。 展开更多

关键词 动水压力型滑坡 模型试验 水位下降 失稳特征 滑面形态

在线阅读 下载PDF 职称材料

基于建模与仿真的完备协议测试验证技术

2

作者 肖鹏 聂嘉浩 +2 位作者 吴博 杨丰玉 郑巍 《中国测试》 北大核心 2025年第7期154-163,共10页

针对复杂协议测试在形式化建模与测试完备性评估方面的不足,提出一种基于建模和仿真技术的完备协议测试验证技术。采用形式化模型规范建立协议测试对象模型的测试行为范式;以测试模型作为核心组件,通过模型驱动方法实现测试用例自动生成... 针对复杂协议测试在形式化建模与测试完备性评估方面的不足,提出一种基于建模和仿真技术的完备协议测试验证技术。采用形式化模型规范建立协议测试对象模型的测试行为范式;以测试模型作为核心组件,通过模型驱动方法实现测试用例自动生成;利用模型仿真实现测试过程的动态视图与测试结果动态验证;最后,基本测试流程模型实现协议测试的完备性评估。该技术为模型驱动的完备协议测试验证提供系统化理论支撑和完整方案,通过实验表明,使用该技术的测试方法相比传统基于脚本驱动测试方法,能够缩短30%测试时间,减少50%测试设计出错率,且在首轮测试覆盖中提升70%覆盖率。 展开更多

关键词 协议测试 完备性评估 建模与仿真 模型驱动

在线阅读 下载PDF 职称材料

复杂系统测试性设计与故障诊断策略研究进展 被引量：3

3

作者 陆宁云 李洋 +2 位作者 姜斌 黄守金 马坤 《系统工程与电子技术》 EI CSCD 北大核心 2024年第7期2359-2373,共15页

测试性设计是提高系统可靠性、安全性、维修性、保障性的重要前沿技术,决定了系统故障检测率和隔离率,直接影响系统的维护(测试)成本。系统测试性设计包含结构化设计、模型化设计、数据驱动设计等多种设计策略。其中,数据驱动设计于近... 测试性设计是提高系统可靠性、安全性、维修性、保障性的重要前沿技术,决定了系统故障检测率和隔离率,直接影响系统的维护(测试)成本。系统测试性设计包含结构化设计、模型化设计、数据驱动设计等多种设计策略。其中,数据驱动设计于近年逐渐兴起并成为重要发展方向之一,该类方法通过对系统测试与故障之间的关系进行建模,依据测试结果进行故障推理,形成故障诊断方案。首先,简要回顾了系统测试性设计的发展历程;其次,重点介绍了测试性设计的研究进展,分析总结了结构化、模型化、数据驱动3类测试方案;然后,介绍了测试性诊断策略构建,根据测试方案中的建模方法确定诊断策略的构建技术,并总结归纳了每类技术的研究特点和适用性;最后,探讨了当前复杂系统测试性设计面临的挑战性问题和可能的未来研究方向。 展开更多

关键词 测试性设计 模型化设计 数据驱动 测试性诊断策略

在线阅读 下载PDF 职称材料

动力打桩桩周泥岩损伤特性与损伤模型 被引量：1

4

作者 白晓宇 银吉超 +3 位作者 张亚妹 王永洪 闫楠 桑松魁 《土木工程学报》 EI CSCD 北大核心 2024年第8期58-71,共14页

针对泥岩地基同施工场地条件下动力打入桩的承载力差异性大且部分打入桩承载力不足等异常现象,文章开展了桩周0.2m处打桩前后的桩周泥岩单轴抗压强度对比试验,和打桩后的桩端中风化泥岩三轴压缩试验,明确打桩后桩周泥岩的损伤特性,基于... 针对泥岩地基同施工场地条件下动力打入桩的承载力差异性大且部分打入桩承载力不足等异常现象,文章开展了桩周0.2m处打桩前后的桩周泥岩单轴抗压强度对比试验,和打桩后的桩端中风化泥岩三轴压缩试验,明确打桩后桩周泥岩的损伤特性,基于统计损伤理论建立考虑受打桩影响的桩周泥岩损伤本构模型,并对泥岩地基打入桩的承载性能进行探讨。研究表明:打桩后桩周0.2m处泥岩强度平均损伤28.2%,弹性模量平均损伤41.4%;桩端中风化泥岩损伤后抗剪强度参数平均值为c=217.2kPa、φ=21.6°,φ仅是同场地原状强风化和全风化泥岩的49.1%和51.4%;打桩后桩周泥岩应力-应变曲线的损伤模型计算值的与实测值吻合较好,验证模型的合理性;泥岩地基打入桩承载力异常特征为桩端受力小,但桩端沉降显著,静载破坏时桩端阻力的平均占比为5.25%;动力打桩对桩周泥岩的损伤是泥岩地基打入桩承载力异常的重要原因;泥岩地基打入桩的设计计算与数值模拟采用原状泥岩力学参数不合理,泥岩损伤后不易恢复,建议按损伤特性赋予参数。研究结果对泥岩地基打入桩的设计、施工、承载力评价有较强的参考价值。 展开更多

关键词 动力打桩 泥岩 单轴压缩试验 三轴压缩试验 损伤模型 损伤变量 承载力异常

在线阅读 下载PDF 职称材料

基于自然语言需求的SCADE模型测试用例自动生成方法 被引量：3

5

作者 邵温欣 杨志斌 +1 位作者 李维 周勇 《计算机科学》 CSCD 北大核心 2024年第7期29-39,共11页

随着安全关键软件规模和复杂性不断增加,模型驱动开发方法在安全关键领域得到了广泛应用。SCADE作为一种重要的建模方法和工具,能够表达确定性并发行为且具有精确时间语义等特性,适用于安全关键软件的建模、测试与验证。目前,已有方法... 随着安全关键软件规模和复杂性不断增加,模型驱动开发方法在安全关键领域得到了广泛应用。SCADE作为一种重要的建模方法和工具,能够表达确定性并发行为且具有精确时间语义等特性,适用于安全关键软件的建模、测试与验证。目前,已有方法主要采用手工方式构造SCADE模型测试用例,存在需求与测试用例不一致、成本代价高且容易出错的问题。文中提出了一种基于自然语言需求的SCADE模型测试用例自动生成方法。首先,给出了基于模型检测的测试用例自动生成方法,通过自然语言需求处理生成原子命题,用于生成前提假设Assume和观察者模型,同时给出了陷阱性质(Trap Properties)生成规则来生成陷阱性质用于模型检测;其次,给出了基于覆盖分析和变异测试的测试用例质量评估方法,并在SCADE模型上进行变异测试;最后,设计和实现了原型工具,并基于一个工业界案例飞行员弹射座椅控制系统进行了案例分析,验证了所提方法的有效性。 展开更多

关键词 安全关键软件 模型驱动开发 SCADE 测试用例自动生成 模型检测

在线阅读 下载PDF 职称材料

基于孔隙结构分形维数的水驱气藏见水井产能预测模型 被引量：2

6

作者 孙双双 何勇明 +3 位作者 邓美洲 牛娜 蒋燕聪 冯英 《西安石油大学学报（自然科学版）》 CAS 北大核心 2024年第4期62-67,107,共7页

基于渗流理论和分形介质理论,利用分形维数与相渗曲线之间的幂函数关系,建立了气水两相流动条件下考虑孔隙结构分形维数与有效非达西系数的产能预测模型。研究表明:水驱气藏产水气井产能随着渗透率和有效厚度的增大而增大,但增大幅度随... 基于渗流理论和分形介质理论,利用分形维数与相渗曲线之间的幂函数关系,建立了气水两相流动条件下考虑孔隙结构分形维数与有效非达西系数的产能预测模型。研究表明:水驱气藏产水气井产能随着渗透率和有效厚度的增大而增大,但增大幅度随着参数值的增大逐渐变缓;随着分形维数、生产水气比、表皮系数、供给半径的增大,产水气井产能明显降低。在本文参数取值范围下,渗透率和有效厚度对产水气井产能影响最显著,是产能主控因素。模型可以准确预测水驱气藏产水气井产能,从而为调整气井生产制度、延缓气藏水侵、提高气藏开发效果提供理论指导与技术支持。 展开更多

关键词 产能模型 水驱气藏 分形维数 影响因素 产能试井

在线阅读 下载PDF 职称材料

轻量级嵌入式软件自动化测试框架设计 被引量：3

7

作者 陈建 沈亚峰 张谊 《计算机工程与设计》 北大核心 2024年第3期940-947,共8页

为满足嵌入式软件测试过程中测试数据的快速生成与输入,采用数据与关键字驱动的混合驱动方法对嵌入式软件自动化测试框架进行设计。通过对嵌入式软件自动化测试框架的研究,明确测试框架设计的难点;对软件测试数据的组成与结构进行分析,... 为满足嵌入式软件测试过程中测试数据的快速生成与输入,采用数据与关键字驱动的混合驱动方法对嵌入式软件自动化测试框架进行设计。通过对嵌入式软件自动化测试框架的研究,明确测试框架设计的难点;对软件测试数据的组成与结构进行分析,构建数据与关键字驱动模型并对其生成与输入算法进行设计,根据模型实现复杂多接口测试数据的快速生成与输入。采用模块化思想,利用多线程原理对该轻量级测试框架进行设计与实现,通过实例验证该框架能够实现测试数据的自动生成与快速输入,提升测试效率。 展开更多

关键词 数据模型 数据驱动 关键字驱动 数据生成 嵌入式软件 测试框架 自动化测试

在线阅读 下载PDF 职称材料

模型驱动的自动化测试架构 被引量：7

8

作者 周景才 杨家红 陈毅波 《计算机工程与应用》 CSCD 北大核心 2010年第2期66-68,131,共4页

如何在确保软件质量的前提下有效缩短上市周期的问题日益显得重要。在实际工作中基于MDT的思路研究出了一种基于模型驱动的自动化测试架构。该架构通过算法直接将UML系统设计模型转换成U2TP测试设计模型,然后由测试设计模型根据测试策... 如何在确保软件质量的前提下有效缩短上市周期的问题日益显得重要。在实际工作中基于MDT的思路研究出了一种基于模型驱动的自动化测试架构。该架构通过算法直接将UML系统设计模型转换成U2TP测试设计模型,然后由测试设计模型根据测试策略和测试工程方法自动生成测试用例,实现了测试资源重利用和测试活动的前移从而有效缩短了测试周期。 展开更多

关键词 统一建模语言 基于模型驱动测试 被测系统 测试用例 测试逻辑 系统设计模型 测试设计模型

在线阅读 下载PDF 职称材料

盾构隧道衬砌结构的壳–接头模型研究 被引量：30

9

作者 彭益成 丁文其 +2 位作者 朱合华 赵伟 金跃郎 《岩土工程学报》 EI CAS CSCD 北大核心 2013年第10期1823-1829,共7页

提出了一种新型的盾构隧道衬砌结构计算模型——壳–接头模型。该模型中采用壳单元模拟衬砌管片,管片和管片环之间通过接头联接单元相连。基于对盾构隧道衬砌结构接头力学特性的分析,建立了接头联接单元的刚度矩阵和计算流程,定义了弯... 提出了一种新型的盾构隧道衬砌结构计算模型——壳–接头模型。该模型中采用壳单元模拟衬砌管片,管片和管片环之间通过接头联接单元相连。基于对盾构隧道衬砌结构接头力学特性的分析,建立了接头联接单元的刚度矩阵和计算流程,定义了弯曲、剪切和拉压刚度的计算方法,使之能准确模拟接头的力学行为。最后利用壳–接头模型模拟盾构隧道接头原型试验,计算结果与试验较为吻合,验证了壳–接头模型模拟盾构隧道衬砌结构力学行为的准确性和适用性。 展开更多

关键词 盾构隧道 衬砌结构 管片 壳-接头模型 原型试验

在线阅读 下载PDF 职称材料

面向嵌入式软件测试的仿真建模 被引量：17

10

作者 蒋崇武 杨顺昆 刘斌 《计算机工程》 CAS CSCD 北大核心 2008年第4期87-89,共3页

论述了面向嵌入式软件测试的仿真建模相关理论、技术和方法,提出了基于接口的模型外特性建模、面向测试的模型内特性建模、模型驱动的测试过程。开发了自动化辅助建模工具EasyModel,提高建模效率,保证模型的正确性。该工具已成功地应用... 论述了面向嵌入式软件测试的仿真建模相关理论、技术和方法,提出了基于接口的模型外特性建模、面向测试的模型内特性建模、模型驱动的测试过程。开发了自动化辅助建模工具EasyModel,提高建模效率,保证模型的正确性。该工具已成功地应用于多个型号的软件系统测试中,实验结果证明了该仿真工具的有效性。 展开更多

关键词 嵌入式软件 软件测试 基于接口 模型驱动

在线阅读 下载PDF 职称材料

一种随机化的软件模型生成方法 被引量：3

11

作者 何啸 李文峰 +3 位作者 张天 麻志毅 邵维忠 胡长军 《软件学报》 EI CSCD 北大核心 2017年第4期907-924,共18页

模型转换是模型驱动开发的核心技术.当要把模型转换用于工业生产时,其性能成为影响这一技术成败的关键因素之一.为了测试模型转换程序的性能,需要能够快速地生成一组具有较大规模的模型数据用于作为测试的输入数据.提出一种随机化的模... 模型转换是模型驱动开发的核心技术.当要把模型转换用于工业生产时,其性能成为影响这一技术成败的关键因素之一.为了测试模型转换程序的性能,需要能够快速地生成一组具有较大规模的模型数据用于作为测试的输入数据.提出一种随机化的模型生成方法,该方法能够根据元模型的定义以及用户输入的约束条件随机且正确地生成模型文件.实验结果表明:该方法与其他方法相比,具有更好的生成效率,从而更适合支持模型转换的性能测试. 展开更多

关键词 模型生成 模型转换 性能测试 随机测试 模型驱动工程

在线阅读 下载PDF 职称材料

基于离心模型试验的斜坡软弱土地基路堤加固方案研究 被引量：24

12

作者 张良 魏永幸 罗强 《铁道工程学报》 EI 2004年第1期73-76,64,共5页

为研究路堤荷载作用下斜坡软弱土地基的变形特性 ,考察打入桩和抗滑桩加固斜坡软弱土地基的效果 ,结合典型工点土的物性指标 ,进行了三组 1∶ 10斜坡软弱土地基路堤的离心模型试验 (无加固措施、打入桩加固、抗滑桩加固 )。试验数据表... 为研究路堤荷载作用下斜坡软弱土地基的变形特性 ,考察打入桩和抗滑桩加固斜坡软弱土地基的效果 ,结合典型工点土的物性指标 ,进行了三组 1∶ 10斜坡软弱土地基路堤的离心模型试验 (无加固措施、打入桩加固、抗滑桩加固 )。试验数据表明 ,地基变形主要发生在路堤下侧边坡下 ;打入桩和抗滑桩能约束斜坡软弱土地基的变形 ,提高其稳定性 ;打入桩方案约束变形的效果优于抗滑桩方案。 展开更多

关键词 铁路工程 离心模型试验 斜坡软弱土地基 路堤加固 打入桩 抗滑桩 地基变形 试验设计

在线阅读 下载PDF 职称材料

面向TTCN-3性能测试的负载生成方法 被引量：4

13

作者 徐珞 吴际 刘超 《计算机学报》 EI CSCD 北大核心 2011年第6期985-1000,共16页

TTCN-3(Testing and Test Control Notation version 3)是一种面向黑盒测试的测试描述与实现语言.随着TTCN-3语言的广泛应用,用户对使用TTCN-3进行性能测试的需求日益强烈.然而,TTCN-3语言没有提供有效的负载描述和产生机制.目前,在使用... TTCN-3(Testing and Test Control Notation version 3)是一种面向黑盒测试的测试描述与实现语言.随着TTCN-3语言的广泛应用,用户对使用TTCN-3进行性能测试的需求日益强烈.然而,TTCN-3语言没有提供有效的负载描述和产生机制.目前,在使用TTCN-3产生性能测试的负载时,通常需要依靠大量的人工编码.该文提出了一种模型驱动方法以更加有效地支持面向TTCN-3的负载生成.在该方法中,负载指标模型用于刻画负载指标及约束关系;负载剖面模型则能够定义指标的取值及指标值随时间变化的情况.基于这些模型,该文提出的算法能够完成从模型到TTCN-3测试系统的自动转换.TTCN-3测试系统可在负载控制点的支持下得以执行,从而模拟出满足模型描述的负载场景.该文通过案例分析验证了上述方法的有效性和所模拟负载场景的准确性. 展开更多

关键词 TTCN-3 性能测试 模型驱动测试 负载建模 负载生成

在线阅读 下载PDF 职称材料

某手动档汽车离合器从动盘模态分析与优化 被引量：5

14

作者 程林 赵文杰 +4 位作者 刘涛 刘启华 姜耀全 张小虎 王晓波 《振动与冲击》 EI CSCD 北大核心 2018年第24期265-270,共6页

针对某手动档汽车起步离合器异响问题,通过NVH测试分析确定噪音频谱特征,结合模态试验分析了关联因素。建立离合器系统有限元仿真模型,着重进行了离合器动态过程模拟和从动盘模态匹配优化。随后基于分析结果研究异响产生深层次原因。最... 针对某手动档汽车起步离合器异响问题,通过NVH测试分析确定噪音频谱特征,结合模态试验分析了关联因素。建立离合器系统有限元仿真模型,着重进行了离合器动态过程模拟和从动盘模态匹配优化。随后基于分析结果研究异响产生深层次原因。最后提出结构优化方案,并实车验证优化后效果。提出结构优化方案,结果表明优化后车内异响消失,这对于手动挡离合器异响问题的分析和解决具有重要的参考价值。 展开更多

关键词 异响问题 NVH测试 离合器从动盘 模态试验 CAE模型 结构优化

在线阅读 下载PDF 职称材料

模型驱动的测试用例自动生成框架 被引量：6

15

作者 刘扬 李亚芬 王普 《计算机工程》 CAS CSCD 北大核心 2011年第1期39-40,44,共3页

提出一个基于模型驱动架构(MDA)的测试用例生成框架,其中,平台无关的系统模型通过水平转换成平台无关的测试模型,平台无关的测试模型通过竖直转换生成相应的测试用例。利用MDA转换工具ATL和MOFScript制定相应的转换规则作用于元模型,使... 提出一个基于模型驱动架构(MDA)的测试用例生成框架,其中,平台无关的系统模型通过水平转换成平台无关的测试模型,平台无关的测试模型通过竖直转换生成相应的测试用例。利用MDA转换工具ATL和MOFScript制定相应的转换规则作用于元模型,使测试者只须提供源模型和测试数据即可生成相应的测试用例。 展开更多

关键词 模型驱动架构 平台无关模型 平台无关测试模型 测试用例

在线阅读 下载PDF 职称材料

活动图模型驱动的Web应用程序测试方法 被引量：6

16

作者 何可 李晓红 冯志勇 《计算机应用》 CSCD 北大核心 2010年第9期2365-2369,共5页

提出了一种活动图(AD)模型驱动的Web应用程序测试方法,从活动图中生成满足往返路径覆盖准则的测试序列,基于测试输入语法生成驱动测试序列执行的测试数据,将测试数据整合到测试序列中生成测试用例,运行测试用例进行测试并生成测试结果... 提出了一种活动图(AD)模型驱动的Web应用程序测试方法,从活动图中生成满足往返路径覆盖准则的测试序列,基于测试输入语法生成驱动测试序列执行的测试数据,将测试数据整合到测试序列中生成测试用例,运行测试用例进行测试并生成测试结果的报告。实现了一个原型工具以支持活动图模型驱动的Web应用程序测试方法,设计并完成了一个实验,验证了该方法的可行性与有效性。 展开更多

关键词 统一建模语言 活动图 Web应用程序测试 模型驱动的测试

在线阅读 下载PDF 职称材料

基于JUnit和元模型的模型存储测试设计与实现 被引量：2

17

作者 黄陇 郭玉福 +1 位作者 吴际 金茂忠 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2007年第4期481-485,共5页

在模型驱动测试中,针对测试模型的存储测试问题,提出了单元素、单个测试元模型、组合测试元模型等测试覆盖准则,并通过实例化的方法生成了测试用例,讨论了测试结果的判定方法.在Eclipse平台上,借助于JUnit框架实现了模型存储测试.通过... 在模型驱动测试中,针对测试模型的存储测试问题,提出了单元素、单个测试元模型、组合测试元模型等测试覆盖准则,并通过实例化的方法生成了测试用例,讨论了测试结果的判定方法.在Eclipse平台上,借助于JUnit框架实现了模型存储测试.通过分析不同数量级的测试用例对执行效率的影响以及不同测试覆盖准则和相应的JUnit测试代码规模之间的关系,为测试元模型的设计与存储提供了实践指导,并表明JUnit框架可以用于基于元模型的测试.提出了一个基于JUnit和元模型的自动测试框架——JMetamodel,可以用于模型存储以及模型转换的测试. 展开更多

关键词 JUNIT 元模型 测试用例生成 模型驱动测试 模型存储

在线阅读 下载PDF 职称材料

离心场中风力电机桩基复杂加载测试设备的研制 被引量：6

18

作者 荣冰 张嘎 王富强 《岩土力学》 EI CAS CSCD 北大核心 2011年第5期1596-1600,共5页

桩基础是近海风力发电中经常采用的基础形式,承受着包括低频风循环荷载在内的复杂荷载组合。为了采用离心模型试验来研究风机桩基础特性,研制了离心场中风机桩基础复杂加载测试设备。该套设备除了可以施加水平向和竖向静力荷载外,还实... 桩基础是近海风力发电中经常采用的基础形式,承受着包括低频风循环荷载在内的复杂荷载组合。为了采用离心模型试验来研究风机桩基础特性,研制了离心场中风机桩基础复杂加载测试设备。该套设备除了可以施加水平向和竖向静力荷载外,还实现了离心场中长时间低频率的水平循环加载,并能够实现多种荷载同时或者先后施加。通过一系列测试试验,验证了该套设备的有效性,满足离心模型试验中对模拟风机桩基础的复杂荷载要求。初步试验结果表明,桩顶水平位移随着水平荷载循环周数的增加而增大,但增长速率逐渐减小,至一定周数后,桩顶位移趋于稳定,土体变形主要集中在桩周一定区域内。 展开更多

关键词 风力电机 桩基础 离心模型试验 复杂荷载

在线阅读 下载PDF 职称材料

Web应用测试模型研究 被引量：1

19

作者 李诺 吴际 +1 位作者 金茂忠 刘超 《电子学报》 EI CAS CSCD 北大核心 2005年第B12期2376-2380,共5页

本文基于模型驱动测试的思想，提出一种Web应用测试模型WANM（Web Application Navigation Model），用于支持测试用例的设计与自动执行．基于WANM设计的测试用例的描述参照U2TP（UML2．0 Testing Profile）标准，使得测试建模、测试用... 本文基于模型驱动测试的思想，提出一种Web应用测试模型WANM（Web Application Navigation Model），用于支持测试用例的设计与自动执行．基于WANM设计的测试用例的描述参照U2TP（UML2．0 Testing Profile）标准，使得测试建模、测试用例生成以及测试执行既紧密联系又相互独立，有助于提高测试的充分性与效室． 展开更多

关键词 WEB应用 mdt 测试模型 U2TP 测试用例

在线阅读 下载PDF 职称材料

基于EDPN的类测试框架及测试用例生成技术的研究 被引量：2

20

作者 龚红仿 李军义 +1 位作者 邹北骥 孙家广 《计算机科学》 CSCD 北大核心 2005年第5期224-229,共6页

针对基于状态的面向对象软件的类测试过程中存在的不可预测、不可达状态、状态组合“爆炸”和测试用例“爆炸”等问题,提出了基于EDPN模型的类测试、类的交互测试和类的层次测试框架,设计了相应的测试模型;提出了基于EDPN的有标记的唯... 针对基于状态的面向对象软件的类测试过程中存在的不可预测、不可达状态、状态组合“爆炸”和测试用例“爆炸”等问题,提出了基于EDPN模型的类测试、类的交互测试和类的层次测试框架,设计了相应的测试模型;提出了基于EDPN的有标记的唯一输入输出(UIO)测试用例的自动生成方法,生成状态转移路径序列,测试类的状态;提出了基于扩展的EDPN的状态组合的标记关联递推法,生成扩展的正交阵列表,测试类的交互;提出了基于扩展的EMDPN的协同路径(copaths)测试用例的生成方法,生成协同路径序列,测试类的层次。 展开更多

关键词 测试用例 测试框架 生成技术 面向对象软件 自动生成方法 测试过程 交互测试 测试模型 输入输出 状态转移 类测试 路径 递推法 扩展 正交阵 爆炸 组合 标记 序列 协同 列表

在线阅读 下载PDF 职称材料