基于测试树模型的软件测试能力值优先级排序

为了有效提升软件测试用例排序的执行效率,保障软件运行安全,提出基于UML顺序图的软件测试用例优先级排序方法。根据UML顺序图场景概念,通过遍历顺序图中的时间序列获取全部场景,得到与之对应的场景测试树模型。设置约束条件,根据场景环境条件形成软件测试用例。计算各个软件测试用例的迁移重要度,通过反馈机制动态调整软件测试用例的总测试能力值,根据测试能力值展开优先级排序。实验结果表明,采用所提方法可以全面提升软件测试用例缺陷检测率,确保在最短的时间内获取最优的排序结果。

从Scenarios到状态图的算法分析

采用Scenarios进行需求建模能够反映从用户角度观察到的系统的行为,状态图是系统行为的精确描述。从Scenario到状态图的自动转换是指软件开发过程中从UML需求模型自动生成行为模型的过程,其研究对于细化系统行为,保持开发过程中模型间的一致性有重要意义。对其研究现状及进展进行了介绍,并对现有算法进行了总结和分类,进一步指出这些算法的不足和今后需要改进的方向。

情景图示的早期离床活动对骨科术后患者睡眠质量、生命质量的影响

目的:探究在对骨科手术患者术后护理时开展情景图示的早期离床活动康复护理对患者术后睡眠、生命质量的影响。方法:选取2022年4月至2023年10月福建医科大学附属南平第一医院骨科手术患者76例作为研究对象,按照随机数字表法分为对照组和观察组,每组38例。对照组开展常规护理支持,观察组开展情景图示的早期离床活动康复护理。针对2组患者术后睡眠、生命质量以及并发症等进行比较。结果:护理前2组PSQI睡眠评分,生命质量测定量表简表(WHOQOL-BREF)评分比较,差异无统计学意义(P>0.05),护理后观察组较对照组PSQI睡眠评分更低,WHOQOL-BREF量表评分更高,差异有统计学意义(P<0.05)。而在术后并发症发生率,观察组较对照组更低,差异有统计学意义(P<0.05)。结论:在对骨科手术患者实施术后护理支持时开展情景图示的早期离床活动康复护理,可以改善患者睡眠质量以及生命质量,有助于患者恢复。

CTCS-N等级转换场景形式化建模与验证

新型列车控制系统的车载设备承担更多地面设备的功能,其功能测试主要是以现场测试为主,费时费力,构建满足系统功能与性能需求的模型有助于保证列车在线路上安全、高效地运行,因此针对新型列控系统提出一种基于时间自动机的形式化建模与验证的方法。首先,选取等级转换场景为主要建模场景,提取规范中的功能与性能需求,梳理信息交互图,基于UPPAAL建立车载设备、应答器、临时限速服务器、无线闭塞中心的时间自动机模型;然后,使用模拟器进行模型的仿真,生成对应的消息顺序图;最后,以自动机语言为基础,验证正常模式和故障模式下车载设备转换是否满足要求。验证结果表明:所建立的模型满足等级转换场景的需求,其功能符合对应的技术规范,证明了该形式化建模的可行性,为新型列控系统测试、其他场景或功能的建模与验证提供了参考。

基于ROADS的面向场景业务架构建模方法

ROAD元架构通过业务架构指导整个企业架构体系开发过程,是一组简单明确且高效的模型表达。针对已有的元架构体系中业务活动模型所采用的IDEF0图存在对多组件系统之间丰富的活动触发序列和信息交互场景描述能力不足的问题,提出在ROAD元架构基础上引入场景模型,与原来基于IDEF0的活动模型融合成为面向场景的活动模型,同时具备层次化描述能力和场景化时序表达能力。扩展后的ROADS元架构保留原架构的整体性和灵活性,且补充面向场景的系统建模能力,实现业务架构设计中的场景管理。最后以一个情景化外语教学系统为例,使用ROADS元架构方法建立场景化业务架构模型组,并对其进行讨论,为现有架构体系提供一种面向场景的扩展思路。

基于情景推理的列车运行图调整方法

列车运行计划调整具有实效性强、调度人员要求高、调整策略优化指标多、动态性强、建模要求高等特点,因此,列车运行计划的快速优化存在一定难度。提出一种基于情景推理的列车运行计划调整方法,以较少的时间实现对一段时间内列车运行计划的快速优化调整。通过广铁武广三台高铁数据仿真结果说明该方法在对列车运行计划调整方面具有时效性和实用性。对于提高调度人员工作效率和减轻劳动强度方面有较大帮助。

均衡不同主体利益的电动汽车充电站选址定容

针对电动汽车充电站选址定容问题,提出了一种多场景下计及配电网、充电站和用户多主体经济利益模型。首先通过对比配电网在正常运行环境和极端天气条件下的运行经济性与负荷损失成本,对电动汽车充电站进行预选址;其次以充电站预选方案以及节假日、工作日交通流量分布差异为基础,综合考虑充电站与用户端经济性对充电站站址容量进行优化;采用粒子群算法以及Voronoi图联合增加局部寻优效果,进一步优化电动汽车充电站选址定容结果。最后利用某地区的实际算例进行仿真分析,结果验证了所提电动汽车充电站规划方案的可行性和有效性。

基于UML活动图模型生成测试场景的设计

文章旨在研究运用可视化面向对象建模技术UML中的活动图生成测试场景方法和依据场景进行测试用例自动生成的方法。这种方法不仅适合于软件系统的测试,同时也适用于软件设计阶段的对软件需求和设计模型的测试和验证。文中首先确定一系列覆盖准则,根据准则制定活动图的一般处理思路,然后针对活动图中并发结构、对象流、信号流提出相应处理方法,最后反推出作图的一些假定条件,以及在场景基础上生成测试用例的一些设计构想。

一个基于UML协作图的集成测试用例生成方法

UML协作图描述了系统的一个协作过程中参与对象之间的结构关系和交互行为 ,确认它们是否被正确实现是集成测试的工作 .本文提出了一个基于UML协作图生成集成测试用例的方法 ,将表示设计的协作图作为测试模型 ,首先通过遍历每条消息的直接后继识别协作图中的表示用例实现的所有可能的场景路径 ,然后在遍历每条场景路径的过程中获取相应协作执行的路径条件、参数变量和预期方法调用序列 ,最后使用范畴 划分方法确定场景路径上的输入、输出、环境条件的合理组合作为覆盖该场景路径的测试用例 ,用于测试一个协作场景路径上的交互行为 .该方法 ,集成了白盒方法和黑盒方法 ,在覆盖所有的测试需求的前提下 ,生成的测试用例较少 .

间歇与半间歇反应热失控危险性评估方法

针对间歇、半间歇反应器中频繁更换物系和/或反应工艺,受时间和经济条件限制往往不可能对发生在其中的反应动力学进行深入研究的特点,建立适用于它们的热失控危险评估方法具有重要意义。本文对此做了简要的综述并且认为,尽管迄今还没有普适性的方法,但是对于某些类型的重要反应,安全界限图方法和反应失控情景分析方法还是较为适用的。前者虽然涉及参数较多,且没有考虑高温下物料二次分解的可能性,但能按照反应结果将量纲1操作参数平面划分为无积累、反应失控、未充分引发及无害4个子区域,从而可以先验地获取更多的信息;后者虽然忽略了均相与非均相反应的不同,但该方法可对一定工艺条件下目标反应失控和二次分解反应进行分析评估,简单易行,考虑更全面。

多态性在UML顺序图测试场景生成中的影响及对策

多态性是面向对象软件的一个重要特征。它在增强程序开发的灵活性和代码的复用性的同时,也对软件测试提出了新的挑战。首先提出了基于UML顺序图的测试场景生成算法,然后分析了多态性在测试场景生成过程中的影响,最后给出了针对多态性影响的解决方案。

基于场景的联锁软件形式化模型生成方法

为保证列车运行安全和旅客生命财产安全,对车站联锁控制系统进行有效的分析、验证和测试是必不可少的,而形式化模型是联锁系统分析、验证和测试的基础。以计算机联锁软件的UML半形式化模型为基础,以事件确定有限自动机模型作为描述系统的形式化模型,研究UML2.0顺序图转换为事件确定有限自动机模型的方法。首先选取一组与交互行为相关的全局变量作为状态向量来分析和消解顺序图各个场景的消息以及不同场景间的同一消息的前后置状态向量值是否存在矛盾,从而得到一致性的需求场景;然后提取各对象的事件序列生成对应的事件确定有限自动机;最后通过组合系统中对象的自动机模型得到系统的事件确定有限自动机模型。该方法改善了安全苛求软件的设计与开发,为软件质量评估提供了技术支撑。

利用对象Petri网验证场景

序列图表示的场景常被用于系统开发早期的需求获取与描述,但因其弱语义性而难以被验证。将序列图表示的场景转换为语义精细的对象Petri网模型OPDL,并通过其仿真环境OPMSE对其进行仿真,将场景描述的系统行为"展示"给需求开发者和用户,以此进行行为需求的验证。

基于UML活动图的测试用例自动生成方法研究

基于UML活动图对系统测试的方法进行研究。针对活动图半形式化特性,给出了活动图的形式化描述及测试覆盖准则的定义。重点分析并发活动的顺序及排列,引入人机动态交互的方法在测试场景生成算法上加以约束,避免了测试场景集数量爆炸,使自动化生成测试用例可行性有一定提高。最后,讨论了从测试场景到测试用例的方法,从而为UML活动图的自动化测试提供了系统的、有效的、可行的方法。

从时序图描述推导目标描述的方法研究

面向场景的需求建模方法自面世以来,在需求分析过程中被越来越广泛的使用.但是面向场景的需求分析方法在保证需求的一致性和完整性上存在着很大的困难.面向目标的需求分析方法,以目标需求为研究内容,目前已经成功的解决了需求完整性和一致性的判定问题.本文希望将场景描述转化为目标描述,然后通过保证目标的完整性和一致性来保证场景描述的完整性和一致性.因此,本文从场景的时序图描述出发,通过时序图的语义描述提出了一种时序图向操作目标集合的推导方法,并提供了判定推导等价的判定定理.

基于UML顺序图的测试场景自动生成研究

UML顺序图直观地展现了对象之间的消息动态交互过程,适合于作为面向对象软件交互测试用例生成的依据。本文针对测试用例中的测试场景生成问题进行了研究,在将顺序图转化为消息交互流程图的基础上,根据对象覆盖、消息对覆盖、消息覆盖和逻辑路径覆盖等准则,分别给出了不同的测试场景生成算法,最后探讨了测试场景的健壮性。

基于CMIP5全球气候模式的21世纪贵州省极端降水事件预估

利用国家气候中心收集和整理的8个CMIP5全球气候模式在RCP8.5、RCP4.5和RCP2.6温室气体排放情景下的逐日降水资料,使用泰勒图对2006-2016年数据进行检验,采用模拟效果最好的CCSM4和IPSL-CM5A-MR模式在等权重系数条件下的平均值,计算并分析贵州省2018-2044年、2045-2071年、2072-2098年3个阶段与降水有关的极端天气气候事件指数,即连续干旱日数(CDD)、大于20mm的降水日数(R20mm)、连续5d最大降水量(Rx5day)和简单日降水强度指数(SDII)相对于参照期(1986-2005年)的变化特征。结果表明:在3种情景下,21世纪各个阶段省东部CDD均多于参照期,且排放情景越高,偏多幅度越大,因此,贵州省东部地区未来可能发展的旱情值得关注。在21世纪不同阶段不同情景下,贵州省R20mm、Rx5day和SDII普遍多于参照期,且越到后期,高排放情景下(RCP8.5)增幅越大,中低排放情景下(RCP4.5和RCP2.6)增幅放缓甚至减小。总的来说,全球变暖背景下尤其是高排放情景下贵州省极端降水事件有增加的趋势。

基于UML活动图测试场景的优先级判断

由于UML模型在设计过程中产生,作为测试模型不需要额外的开支,因此以UML作为测试模型的研究很多。目前的研究方法大多数采用灰盒测试方法[1]对各种模型的条件、节点、方法等进行遍历,得到测试场景。然而在实际中,通过这些方法从UML模型中会得到很多的测试场景,目的就是要对找出的灰盒测试用例进行优先级判断,找出较为重要的测试用例,这些测试用例能为实际的测试过程提供着重测试的依据。

贵州省未来气候变化(2018—2050年)预估分析

针对贵州省年平均降水量,年平均气温,年平均最高气温和年平均最低气温四个特征量,从空间分布上的定性比较,从年际、年代际的时间演变比较以及从泰勒图的定量比较来看,RegCM4模式的模拟效果优于CMIP5模式,因此本研究在RCP4.5排放情景下利用RegCM4模式数据预估未来2018—2050年贵州省年平均降水量,年平均气温,年平均最高气温和年平均最低气温。结果表明:21世纪Ⅰ阶段(2018—2028年)相对于基准期年平均降水在全省大部地区均是偏少的,偏少幅度在8.5%以内,其中贵州省北部地区偏少幅度最大;21世纪Ⅱ阶段(2029—2039年)相对于基准期贵州省中西部降水偏少东部降水偏多,变化幅度基本上在7%以内;21世纪Ⅲ阶段(2040—2050年)相对于基准期贵州省南部和东部降水偏少西北部降水偏多,变化幅度基本上在7.5%以内。贵州省21世纪Ⅰ阶段、Ⅱ阶段、Ⅲ阶段年平均气温、年平均最高气温和年平均最低气温相对于基准期均是偏暖的,偏暖幅度在0.6～1.3℃之间,越到后期,偏暖幅度越大,且空间差异不大。

合成状态图中非预期状态转换路径的确认

利用Scenario进行需求建模能够反映从用户角度观察到的系统行为,而利用状态图能够从对象角度对系统行为进行精确描述。从Scenario到状态图的自动转换指软件开发过程中,从UML需求模型自动生成行为模型的过程。在分析已有的自动转换算法存在的不足的基础上,提出了从语法角度出发,对用例进行分析,提取合适的状态向量;利用在算法中增加Scenario的相关信息,确定非预期状态转换路径。