摘要:随着互联网、物联网、云计算等新计算平台、新应用模式、及智能化等新软件模式的广泛运用,软件系统内外各种来源的非确定性不断增强.从软件系统内部的不确定性看,并发程序是一类典型的非确定性软件系统.并发程序由于其随机性高的特点,容易导致并发缺陷且难以调试.从软件系统外部的不确定性看,软件所处的网络环境和所服务的用户需求变得更加动态多变,这就要求软件系统能够主动应对这些动态变化.具有自适应和持续演化能力的软件系统需要在环境和需求的自动感知与理解、适应行为的自主决策、以及适应行为的精准实施等环节处理各种不确定性,以保障系统能够持续稳定地提供服务.从软件构造途径的不确定性看,包含深度神经网络部件的数据驱动智能化软件系统是另一类非确定性软件系统,其非确定性来自于机器学习模型的归纳本质.此类系统日益应用于一些安全相关的领域,这就对其软件质量提出了更高的要求.本专题关注软件质量保障中非确定性问题所面临的挑战以及相关软件质量保障技术. 本专题采取自由投稿的方式,共收到24篇投稿.特约编辑邀请了近20位领域专家参与审稿,每篇稿件至少邀请2位专家进行评审,每篇稿件均经过至少两轮审稿.共计16篇稿件通过评审,并在中国软件大会上进行了报告,最终该16篇论文入选本专题.
Abstract:
PDF全文下载地址:
http://jos.org.cn/jos/article/pdf/6273
删除或更新信息，请邮件至freekaoyan#163.com(#换成@)
面向非确定性的软件质量保障方法与技术专题前言
本站小编 Free考研考试/2022-01-02
相关话题/软件 质量 计算 环境 程序
领限时大额优惠券,享本站正版考研考试资料!
优惠券领取后72小时内有效，10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材，产品类型包含电子书、题库、全套资料以及视频，无论您是考研复习、考证刷题，还是考前冲刺等，不同类型的产品可满足您学习上的不同需求。 ...考试优惠券 本站小编 Free壹佰分学习网 2022-09-19复杂软件系统的不确定性
摘要:复杂软件系统（如信息物理系统CPS、物联网IoT以及自适应软件系统等）在其开发和运行过程中会遇到各种类型的不确定性问题.针对这些不确定性问题，研究人员开展了大量的研究工作，提出了一系列的方法，取得了诸多成果.然而，由于此类系统本身固有的复杂性和其内在与外在不确定性的共同作用，截止目前研究人员针 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02不确定环境下hCPS系统的形式化建模与动态验证
摘要:随着科技的进步，新型复杂系统，例如人机物融合系统（humancyber-physicalsystems，简称hCPS），已与人类社会生活越来越密不可分.软件系统所处的信息空间与人们日常生活所处的物理空间日渐融合.物理空间内环境的复杂多变、时空数据的爆发增长以及难以预料的人类行为等不确定因素威胁 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02基于事件关系保障识别质量的自适应分析方法
摘要:目前自适应软件正在为众多领域系统提供着对运行环境的适应能力.如何建立一种能够保障识别质量的自适应分析方法，使之可从运行环境中快速且准确地识别出异常事件，是确保自适应软件长期稳定运行所必须考虑的研究问题之一.当前运行环境的不确定性给该问题的攻关带来两方面的挑战：其一，现有分析方法一般通过预先建立 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02高精度的大规模程序数据竞争检测方法
摘要:随着技术的不断发展，软件系统的非确定性（uncertainty）不断增强，数据竞争是并发系统这一类典型的非确定性软件系统中常见的缺陷.尽管数据竞争静态检测近年来取得了巨大进展，但其面临的重要问题仍然存在.先前的静态技术要么以分析精度为代价达到高扩展性，要么由于高精度分析而导致可扩展性问题.提出 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02面向分布式图计算作业的容错技术研究综述
摘要:随着图数据规模的日益庞大和图计算作业的日益复杂，图计算的分布化成为必然趋势.然而图计算作业在运行过程中面临着分布式图计算系统内外各种来源的非确定性所带来的严峻的可靠性问题.首先分析了分布式图计算框架中不确定性因素和不同类型图计算作业的鲁棒性，并提出了基于成本、效率和质量3个维度的面向分布式图计 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02针对复杂用户评论的代码质量属性判断
摘要:随着开发者社区和代码托管平台成为程序员获取代码的主要途径，针对代码的用户评论数量急剧增加.用户在使用代码后给出的评论中包含多种静态和动态的代码质量属性信息，但是由于用户评论多为复杂句，使得评论中包含的代码质量属性难以判断.针对复杂用户评论的代码质量属性判断将有助于分析用户评论中的代码质量信息， ...中科院软件研究所 本站小编 Free考研考试 2022-01-02Petri网的反向展开及其在程序数据竞争检测的应用
摘要:展开技术借助分支进程可在一定程度上缓解Petri网性质分析中的状态爆炸问题.但展开网中仍然包含了系统的所有状态信息.某些应用问题仅需对系统特定状态的可覆盖性进行判定，以此为目标，有望缩减网系统展开的规模.为此，针对安全Petri网的可覆盖性判定问题提出了一种目标导向的反向展开算法，结合启发式技 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02基于锁增广分段图的多线程程序死锁检测
摘要:死锁是并行程序常见的缺陷之一，动态死锁分析方法根据程序运行轨迹构建锁图、分段图等模型来检测死锁.然而，锁图及其现有的各种变型无法区分同一循环中锁授权语句的多次执行，扩展锁图中记录的锁集无法捕捉线程曾经持有而又随后释放的锁信息，分段图无法刻画锁的获取和释放操作与线程启动操作耦合而导致的段间依赖关 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02面向持续软件工程的微服务架构技术专题前言
摘要:随着软件互联网化和服务化的高度发展,持续性(continuity)成为现代软件系统的基本特性之一,覆盖从商业策划、软件开发、运维、演化的所有环节,使得软件系统在持续稳定提供功能和服务的同时,软件系统的边界和内部结构始终处于不断变化、持续更新和适应之中,持续软件工程(continuoussoft ...中科院软件研究所 本站小编 Free考研考试 2022-01-02基于理性信任模型的理性委托计算协议
摘要:传统的委托计算需要额外开销验证计算结果的正确性，导致委托计算效率较低、开销较大.针对此问题，结合博弈论与理性信任建模（rationaltrustmodeling，简称RTM）的思想，提出了基于理性信任模型的理性委托计算协议.通过设置恰当的效用函数，激励计算方诚实执行协议，以此来保证计算结果的可 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02
