基于事件标记的多粒度结合安卓测试序列约减

下载全文  

针对安卓自动化测试工具生成的崩溃测试序列包含过多冗余事件,造成测试回放、缺陷理解与修复困难的现状,很多测试序列约减工作被提出.但目前工作仅关注应用界面状态变化而忽略了程序执行过程中内部状态变化,此外,目前工作仅在单一抽象粒度上对应用状态进行建模,例如控件粒度或活动粒度,导致约减后… …   相似文献

郝蕊  冯洋  李玉莹  陈振宇 《软件学报》2025,36(5):2006-2025

基于回指与逻辑推理的文档级关系抽取模型

  

在文档级关系抽取（DocRE）任务中,现有模型主要侧重于学习文档中实体间的交互,忽略了对实体内部结构的学习,并很少关注到文档中的代词指代识别问题以及对逻辑规则的应用,这导致模型对文档中实体间关系的建模不够准确。因此,基于Transformer的架构融合关系回指图,建模实体间交互和… …   相似文献

胡婕;吴翠;孙军;张龑 《计算机应用》2025,(5):1496-1503

代理辅助多任务进化优化引导的MPI程序路径覆盖测试用例生成

下载全文  

基于进化优化的消息传递接口(message-passing interface, MPI)程序路径覆盖测试中,进化个体适应值的评价需要反复执行MPI程序,而程序的重复执行往往需要高昂的计算成本.鉴于此,提出一种代理辅助多任务进化优化引导的MPI程序路径覆盖测试用例生成方法,该方法… …   相似文献

孙百才  巩敦卫  姚香娟 《软件学报》2025,36(5):2026-2042

SM2数字签名算法的两方门限计算方案框架

下载全文  

近年来,已有多种SM2数字签名算法的两方门限计算方案被提出,这些方案能够有效地增强SM2数字签名算法的私钥安全性.根据不同的密钥拆分方法,已有公开方案可以分为两类,分别基于乘法和加法拆分,再根据不同的签名随机数构造方法,衍生出多种两方门限计算方案.提出SM2数字签名算法的两方门限… …   相似文献

刘振亚  林璟锵 《软件学报》2025,36(5):2188-2211

基于局部加密网格的LBM程序负载均衡方法研究

  

基于局部加密网格的格子玻尔兹曼方法(LBM),在大规模的非稳态计算流体力学问题中有着越来越广泛的使用。局部网格加密方法虽然可以有效减少计算量,但是也带来了严重的负载均衡问题。尤其是在大规模并行计算中,负载均衡算法的选择对整体的计算效率有重要的影响。使用自研的LBM程序,简单对比了… …   相似文献

黄晨希;李家辉;颜辉;钟英;卢宇彤 《计算机科学》2025,52(5):101-108

一种无人机冲突探测与避让系统决策方法

下载全文  

针对无人机探测与避让(DAA)系统中无人机飞行碰撞避免的决策问题,该文提出一种将无人机系统检测和避免警报逻辑(DAIDALUS)和马尔可夫决策过程(MDP)相结合的方法。DAIDALUS算法的引导逻辑可以根据当前状态空间计算无人机避撞策略,将这些策略作为MDP的动作空间,并设置合… …   相似文献

汤新民  李帅  顾俊伟  管祥民 《电子与信息学报》2025,47(5):1301-1309

一种基于小波变换的两阶段低照度图像增强方法

  

低照度环境下采集的图像普遍存在亮度衰减、对比度弱化及细节模糊等退化现象,导致视觉质量显著降低,严重制约计算机视觉系统在目标检测、语义分割等高级视觉任务中的性能表现。针对上述问题,本文提出了一种基于小波变换的两阶段低照度图像增强网络TSUNet(Two-Stage Wavelet … …   相似文献

孙静;孙福奇;郝世杰;孙福明 《计算机学报》2025,(5):1188-1211

结合主动学习和半监督学习的软件可追踪性恢复框架

下载全文  

软件可追踪性被认为是软件开发过程可信的一个重要因素,确保对软件开发过程的可见性并进行全面追踪,从而提高软件的可信度和可靠性.近年来,自动化的软件可追踪性恢复方法取得了显著进展,但在企业项目中的应用仍面临挑战.通过调研研究和实验案例分析,发现工业界场景中可追踪性模型表现不佳的3个关… …   相似文献

董黎明  张贺  孟庆龙  匡宏宇 《软件学报》2025,36(5):1924-1948

两阶段填充采样的半监督昂贵多目标优化算法

  

利用计算成本低廉的代理模型替换昂贵目标函数评价;以辅助进化算法对昂贵黑盒多目标优化问题的求解;近年来受到广泛关注。模型的准确度在代理模型辅助的多目标进化算法（MOEA）中发挥着重要作用;特别是当目标函数数量较多时;不准确的模型很容易引导算法朝错误的方向搜索;但目标函数评价昂贵;很难获得充裕的样本训练高质量的代理模型。因此;提出一种两阶段填充采样的半监督昂贵多目标优化算法（TISS-EMOA）。该算法引入半监督技术;选择部分无标签数据扩充训练数据集;从而提升模型的准确性;同时;提出两阶段选点的填充采样准则;以期在评价次数有限的情况下获得昂贵多目标优化问题的较优解集。为验证TISS-EMOA的有效性;在DTLZ1~DTLZ7基准测试问题以及车辆正面结构优化设计上进行了实验。与当前具有代表性的5种代理模型辅助进化多目标算法的对比结果显示;TISS-EMOA在28个基准测试问题中获得了25、28、28、24、23个更好或相当的改进的反转世代近距离（IGD⁺）。… …   相似文献

谭瑛;任新宇;孙超利;王思思 《计算机应用》2025,45(5):1605-1612

基于改进粒子群优化和Stackelberg博弈的武器部署

下载全文  

为应对来袭目标的机动调整对防区防御能力的影响, 针对性设计全新的部署优化模型和求解算法. 首先, 从战术层面出发, 提出一种考虑攻防信息变化的新型武器部署模型, 该模型能够动态调整部署策略以提高防御系统的整体效能; 其次, 设计基于混沌映射机制和K均值聚类与重心法的算法初始化方案… …   相似文献

刘富樯  刘中阳  周伦  皮阳军  蒲华燕  罗均 《自动化学报》2025,51(5):1080-1091