面向环境非确定性的信息物理融合系统测试技术研究

作     者：秦逸 许畅 陈紫琦 吕建 Yi QIN;Chang XU;Ziqi CHEN;Jian LU

作者机构：南京大学计算机科学与技术系计算机软件新技术国家重点实验室 

出 版 物：《中国科学：信息科学》 (Scientia Sinica(Informationis))

年 卷 期：2019年第49卷第11期

页      面：1428-1450页

核心收录：

学科分类：08[工学] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：国家重点研发计划(批准号:2017YFB1001801) 国家自然科学基金(批准号:61932021,61902173) 软件新技术与产业化协同创新中心(江苏)资助项目 

主　　题：信息物理融合系统 软件测试 环境非确定性 测试输入生成 测试预言生成 环境适应性 评估 

摘      要：信息物理融合系统(cyber-physical system,CPS)是“人-机-物三元融合模式背景下新型软件基础设施的重要一环.为了处理不断涌现的新环境、新模式和新平台,CPS软件必须具备一定质量保障水平的可成长和可持续演化能力.然而CPS软件在与环境交互过程中所必然面对的环境非确定性给CPS软件的质量保障带来了新的挑战.本文深入分析了环境非确定性中的感知非确定性和规约非确定性分别给软件测试研究带来的挑战.为了应对这些挑战,提出了一个迭代式的研究框架,用于有效测试受环境非确定性影响的CPS软件.基于该研究框架,介绍了现有CPS软件测试技术研究进展,并重点介绍了3种考虑环境非确定性的软件测试技术,分别解决CPS软件测试中的测试输入生成、测试预言生成和环境适应性评估问题.本文基于一个自适应自控小车的CPS软件实例,初步验证了所介绍方法测试CPS软件的有效性.