基于概率模型检测的移动应用缺陷评估

为研究移动应用缺陷发生概率对应用缺陷的修复选择、应用程序质量评估的影响,提出一种基于概率模型检测的移动应用程序缺陷评估研究方法。生成移动应用程序的回调序列概率模型,将该模型转换为离散时间链的Markov模型,采用概率模型检测器PRISM计算移动应用缺陷的发生概率,通过统计分析和对比实验分析研究方法的可行性和有效性。

服务接口测试自动化工具的研究

在面向服务的架构中,软件功能通常被封装为服务,并以开放可编程接口的方式提供应用.因此,服务接口的正确性和可靠性对于服务理解、重用和集成至关重要.随着软件即服务的思想被广为认可,互联网上越来越多的软件应用以服务接口方式提供开放式访问.面对众多的服务接口,如何进行高效且有效的测试是一个亟待解决的问题.为此,提出了一种基于模型驱动的自动化测试方法,首先采用接口语义契约模型对被测服务接口建模,然后基于接口模型和测试覆盖率需求为单个服务和组合服务生成测试数据和测试用例.在此基础上,设计并实现了AutoTest自动化测试工具,该工具采用多种算法用于优化测试用例生成,且支持图形化测试计划编排和跨语言测试代码生成.实验结果表明,AutoTest能够有效支持大批量测试用例的设计和生成,根据OED(正交实验设计)算法生成的测试用例与IPO组合算法得到的用例相比,具有更为理想的测试覆盖率.

安卓应用的回调序列与模型检测应用

为分析安卓应用回调函数的时序调用关系,提出一种全局、细粒度的回调函数建模方法,涵盖对生命周期、非生命周期及不同类型组件间的回调函数处理,关注回调序列上的注册对象定义及操作。利用模型检测语言NuSMV表征生成的回调序列,LTL (linear temporal logic)表示目标验证属性,得以自动化地验证应用缺陷。通过设计一个移动应用回调排序原型系统SQDroid,并将该系统应用在数据竞争缺陷检测上,验证了该方法的有效性。