面向Android平台的GUI测试输入自动生成研究综述

Android移动操作系统自2007年推出以来,Android的移动应用发展迅猛.Android应用程序在发布前必须对其进行充分的测试,以确保其行为正确.由于Android应用快速迭代的开发模式,其对于自动化协助应用开发,尤其是自动化测试,有很高的需求.因此,近年来,研究人员和从业人员都已开始研究Android应用程序测试自动化的方法.GUI(图形用户界面)自动化测试是Android自动化测试中最常用的方法,在GUI自动化测试流程中,测试输入自动生成是最为关键和资源消耗最大的步骤之一,能够极大地影响自动化测试的有效性.对当前面向Android平台的GUI测试输入自动生成的研究进行综述,并提出当前研究面临的挑战.

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

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