Page 19 - 《软件学报》2021年第7期

檀超 等:复杂软件系统的不确定性 1937

Table 6 The top 10 keywords appearing in the provided keywords lists of the primary studies
表 6 不确定性研究出现频次不少于 4 次的前 10 个关键词
排名 关键词 频次
1 uncertainty 30
2 cyber-physical systems 26
3 Internet of Things 25
4 decision making 6
5 self-adaptation 6
6 model-based testing 5
7 industry 4.0 5
8 probabilistic model checking 4
9 cluster 4
10 complex event process 4

Fig.4 The keywords co-occurrence relations and clustering results in the primary studies
图 4 不确定性相关文献中的关键词共现关系及聚类结果

另外,图 4 中的不同颜色代表不同的聚类结果.从图中可以看出,我们共得到了 6 个关键词的聚类结果.
红色代表的聚类:主要内容为运用相关的技术保证复杂系统的性能和可靠性,如输出反馈(output feedback)
和贝叶斯(Bayesian)模型;绿色代表的聚类:主要内容为运用概率模型检查(probabilistic model checking)技术、形
式化验证(formal verification)以及机器学习(machine learning)等支持软件自适应;蓝色代表的聚类:主要内容为
利用大数据(big data)、深度学习(deep leaning)以及模糊逻辑(fuzzy logic)等技术来保障系统安全;紫色代表的聚
类:主要关注不确定性发生在信息物理系统(cyber-physical systems)运行时的不确定性(run time uncertainty)、自
适应策略(self-adaptation strategy)、自我修复(self-healing)以及故障检测(fault detection);黄色代表的聚类:主要
内容是通过诸如聚类(clusters)、贝叶斯网络(Bayesian network)等技术和方法支持不确定性决策;青色代表的聚
类:主要内容是利用相关测试技术对不确定性系统进行建模和测试,如不确定性测试(uncertainty-wise testing)、
基于模型的测试(model-based testing)和信念测试就绪模型(belief test ready model).
调研结果表明:通过对关键词词频进行统计,复杂系统不确定性主要针对信息物理系统和物联网等系统,主
要关注自适应和复杂事件过程中的不确定性,以及基于模型的测试、决策制定和概率模型检测等处理不确定性
的相关技术.