一种手绘制导的移动应用界面测试方法

软件测试在提高移动应用的安全性和可靠性方面扮演着重要角色.然而,目前主流的移动应用界面测试技术存在着许多不足:人工编写脚本和录制回放技术需要消耗大量的人力成本,自动化测试在移动应用界面测试的应用场景上受到了诸多限制.针对这些问题,提出一种基于手绘制导的移动应用界面测试方法.该方法通过设计一种简单直观且具有较强表达能力的手绘语言来帮助测试者轻松表达其测试意图,测试者仅需在待测应用的界面图像上做简单绘制,就能生成对应的测试模型,并以此为基础生成界面测试所需的测试用例.以近年来在相关文献中已经用作移动应用界面测试的评估用例集为基准来评估该方法的测试效果.评估结果表明:在提供很少人力成本的条件下,手绘图形所表达的用户测试意图在制导移动应用界面测试上能起到非常关键的作用.     

稠油热采注汽系统模拟计算与能耗分析研究进展

以油田注汽系统为讨论对象,主要回顾了稠油热采注汽过程的模拟和能耗分析研究进展.注汽锅炉方面,阐述了锅炉系统能耗分析和?分析方法,介绍了锅炉干度预测方法.蒸汽管网方面,介绍了不同结构形式管网的模拟研究进展,讨论了管网运行影响因素以及运行参数优化、管网结构优化方法.注汽井筒方面,介绍了注汽井筒建模方法、影响因素等方面研究进...     

基于ICEEMDAN-LSTM的地铁盾构隧道管片形变数据分析预测

地铁隧道安全监测以及监测数据的分析处理与预测是保障地铁隧道安全的重要手段。由于施工环境的影响,监测数据不可避免会含有噪声。本文以盾构地铁隧道管片变形自动监测数据为研究对象,提出基于ICEEMDAN-LSTM的变形监测数据分析预测方法。首先采用ICEEMDAN对监测数据进行分解处理,获得监测数据的IMF和残差分量;构建LSTM网络模型,应用LSTM模型对监测数据的IMF和残余分量进行预测,再对IMF和残余分量预测值进行叠加重构获得变形预测值。实验分析结果表明,ICEEMDAN-LSTM模型的预测精度明显高于BP、LSTM模型。     

高海拔寒区岩质边坡变形破坏机制研究现状及趋势

高海拔寒区矿山岩质边坡变形破坏机制研究已取得一定的研究成果,但基于现行理论与技术还难以全面解决未来高寒边坡失稳机理和灾害防控的所有问题,至今尚未建立起完善的高寒边坡开采研究体系和边坡稳定性判别标准. 本文对高寒岩质边坡变形破坏的室内岩石力学试验、边坡物理相似模拟、多场多相耦合数值模拟、变形破坏原位监测、高海拔寒区岩质边坡失稳机理五个方面开展了大量的文献调研,总结高寒岩体变形破坏有关的研究成果,继而对存在的问题进行探讨并分析当前研究的不足,总结出高寒岩质边坡变形破坏研究领域亟待解决的关键问题:一是开采扰动条件下高海拔寒区矿山边坡岩体结构损伤劣化机制,二是冻融循环条件下流?固?气多相多场耦合边坡失稳时效特征与评价方法;并就未来高寒边坡变形和破坏研究方向及发展趋势予以分析,指出开展不同应力路径冻融循环耦合作用下岩体结构损伤劣化机理研究,开展爆破采动条件下高海拔寒区岩质边坡结构面致溃机制及边坡失稳破坏研究,开展地震荷载作用下高海拔寒区节理岩质边坡地震动力响应及致灾规律研究,研究多场多相耦合条件下节理岩体损伤劣化机理,开展高海拔寒区矿山边坡抗寒多参量实时安全监测及失稳预警技术研究五个方面是未来研究的趋势.      

基于Revit与ANSYS的模型转换自动化研究

ANSYS是一款功能强大的有限元分析软件.有限元分析是以模型为基础,ANSYS并不专注于模型建立,在智能化建模方面Revit是一款很常用的软件.对于建立一个模型并进行有限元分析,目前市面上没有很好的应用,而且这两个软件也没有很好的接口方式.文章提出一种解决方案,提取Revit模型几何信息,属性信息生成ANSYS ACT...     

极限平衡法与强度折减法分析尾矿坝稳定性比较

传统的刚体极限平衡法是尾矿坝稳定性分析中普遍使用的方法。然而,近年来,有限元法逐渐成为一种强有力的尾矿坝边坡稳定性分析工具,其中以强度折减法为典型代表。尽管强度折减有限元法有很多优势,但是它并没有被广泛应用于坝体日常稳定性分析中。为了探索出较为合理的分析途径,深入剖析两种理论的异同点,结合某尾矿坝实际工程,比较分析正常、洪水运行下有限元强度折减法与极限平衡法在安全系数大小及滑动面形状和位置上的差异,分析产生差异的原因,并在安全系数的选用上提出建议,以期为尾矿坝的安全设计施工提供可靠依据和技术支撑。     

DDoop: 基于差分式Datalog求解的增量指针分析框架

指针分析是对软件进行编译优化、错误检测的核心基础技术之一.现有经典指针分析框架,如Doop,会将待分析程序和分析算法转化成Datalog评估问题并进行求解,如程序规模较大,单次求解分析时间开销较大.在程序频繁变更发布的情况下,相关程序分析的开销更是难以负担.近年来,增量分析作为一种在代码频繁变更场景下有效复用已有分析结果提升分析效率的技术受到了越来越多的关注.然而,目前的增量指针分析技术通常针对特定算法设计,支持的指针分析选项有限,其可用性也受到较大限制.针对上述问题,本文设计并实现了一种基于差分式Datalog求解的增量指针分析框架DDoop(Differential Doop). DDoop实现了增量输入事实生成技术与增量分析规则自动化重写技术,将多版本程序增量分析问题表达为差分Datalog评估问题,从而可以充分利用成熟的差分式Datalog求解引擎,如DDlog,来实现端到端的增量指针分析,并最大化兼容复用Doop中已有的指针分析实现,提供透明的增量化支持.我们在广泛应用的真实世界程序上对DDoop进行了实验评估,实验结果显示DDoop相较于非增量的Doop框架具有显著的性能优势,同时高度兼容Doop中已有的各种指针分析规则.     

软件开发方法发展回顾与展望

软件是信息化社会的基础设施,而构造并运用软件的能力成为一种核心竞争力.软件开发方法凝结了系统化的软件构造过程和技术.简要回顾了50年来软件开发方法发展历程中具有重要影响的里程碑,包括基于结构化程序设计和模块化开发的基本方法、面向对象方法、软件复用与构件化方法、面向方面的方法、模型驱动的方法,以及服务化的方法.而后针对Internet的发展普及以及人机物融合应用对软件开发方法提出的挑战,介绍了网构软件的研究和探索,并展望未来人机物融合的软件方法和技术.     

Preface

As a continuation of previous years’special section on software systems,this special section encourages and promotes research to address challenges from the perspective of software systems.The goal of this special section is to present state-of-the-art and high-quality original research in the area of software systems.This special section is split in two parts,with the first part published earlier in the last issue in November 2021 and the second part published in this current issue.     

基于状态机模型的构件健壮性测试

基于形式化的构件语义定义了健壮性,并提出一种基于状态机的构件健壮性测试方法.基于该方法实现了原型工具RoTesCo.首先遍历状态机生成一组覆盖所有转换的路径,基于这些路径的测试用例驱动构件发生状态转换;然后用无效输入和不当调用在构件的不同状态来测试其健壮性.通过区分测试中捕获异常的类别,自动报告健壮性错误.以通用的开源项目构件组成评测平台,实验数据显示,RoTesCo的测试效率比已有的算法表现得更优越.