面向非确定性的软件质量保障方法与技术专题前言

作者：陈俊洁^*; 汤恩义^*; 何啸^*; 马晓星^*

来源：软件学报, 2021, 32(07): 1923-1925.

DOI：10.13328/j.cnki.jos.006273

• 非确定性
• 代码质量
• 并发程序
• 方法与技术

<正>随着互联网、物联网、云计算等新计算平台、新应用模式及智能化等新软件模式的广泛运用,软件系统内外各种来源的非确定性不断增强.从软件系统内部的不确定性来看,并发程序是一类典型的非确定性软件系统.并发程序由于其随机性高的特点,容易导致并发缺陷且难以调试.从软件系统外部的不确定性来看,软件所处的网络环境和所服务的用户需求变得更加动态多变,这就要求软件系统能够主动应对这些动态变化.具有自适应和持续演化能力的软件系统需要在环境和需求的自动感知与理解、适应行为的自主决策以及适应行为的精准实施等环节处理各种不确定性,以保障系统能够持续、稳定地提供服务.从软件构造途径的不确定性来看,包含深度神经网络部件的数据驱动智能化软件系统是另一类非确定性软件系统,其非确定性来自于机器学习模型的归纳本质.此类系统日益应用于一些安全相关的领域,这就对其软件质量提出了更高的要求.本专题关注软件质量保障中非确定性问题所面临的挑战以及相关软件质量保障技术.

• 单位
  北京科技大学; 南京大学; 天津大学