模型驱动的移动应用测试方法研究
结题报告
批准号:
61472179
项目类别:
面上项目
资助金额:
80.0 万元
负责人:
王林章
依托单位:
学科分类:
F0203.软件理论、软件工程与服务
结题年份:
2018
批准年份:
2014
项目状态:
已结题
项目参与者:
刘阳、李游、王寒非、曹婉琼、孙家旭、陈园军、李永超、鲍铁匀、王铮然
国基评审专家1V1指导 中标率高出同行96.8%
结合最新热点,提供专业选题建议
深度指导申报书撰写,确保创新可行
指导项目中标800+,快速提高中标率
客服二维码
微信扫码咨询
中文摘要
在移动互联网时代,移动智能终端在众多领域已通过移动应用提供服务。然而,移动应用的测试通常因为开发者追求快速迭代和发布而不够充分,难以确保移动应用能否提供可信服务。而且,平台依赖特性使得针对多平台移动应用的测试因复用度低而浪费了大量资源。本课题研究模型驱动的移动应用测试方法,面向多移动平台实现测试生成与复用,主要研究内容包括:研究面向测试的移动应用与平台的解耦方法、移动应用平台无关行为模型的自动重构方法;研究模型驱动的移动应用测试方法、基于平台无关测试自动构造平台相关测试的测试转换方法;研究针对移动应用特定缺陷的平台无关测试生成方法与跨平台测试执行方法;研制兼容各类移动应用硬件设备、具有跨主流移动平台能力的模型驱动的移动应用测试支撑工具原型,并开展实例研究。本课题的主要创新点在于面向测试自动重构移动应用的行为模型,使得模型与模型驱动的测试方法能够支持解决多平台移动应用的测试生成与复用问题。
英文摘要
In the era of mobile internet, mobile devices provide service via mobile apps in many application area. However, the testing of mobile apps is always not enough because of the rapid develop and release. In a result, it is difficult to ensure that the mobile apps can provide dependable service. In addition, platform specific testing of mobile apps reuses little and wastes a lot, raises new challenges. The project focuses on model-driven testing of platform-specific mobile apps on multi-platforms. In order to test platform-specific mobile apps, we will come up with decouple approaches for separating mobile apps from its platforms, and reconstruct behavior models by extracting platform-specific models from implementations of mobile apps, and then transforming to platform-independent models. We generate platform-specific tests based on the platform-independent tests based on the models of mobile apps. We will work out defect-specific platform-independent model-driven testing approaches for mobile apps. Based on the above research, we will develop model-driven testing framework for mobile apps, which can support multi-platform and multi-device. The main contributions of the project include test-oriented model reconstruction approaches, and the model-driven testing approaches by improving the reuse of tests for mobile apps on multi-platform.
本课题研究模型驱动的移动应用功能性和安全性测试技术,主要研究内容包括:移动应用行为建模技术、面向自动化测试的移动应用行为模型的自动重构方法、模型驱动的移动应用测试方法、基于模型的移动应用变更获取方法、基于模型的测试脚本自动维护方法,恶意移动应用检测技术、移动应用中SQL injection漏洞检测技术,以及面向移动终端系统软件的操作系统实现程序语言(如C/C++等)的安全性,针对缓冲区溢出、内存泄漏、空指针引用、数据竞争、数组下标越界等典型漏洞的检测方法,在移动应用行为模型重建、模型驱动测试、面向测试复用的测试脚本维护技术等方面提出了原创性方法,在上述方法的基础上,研制移动应用测试支撑工具原型,并开展实例研究。.本项目研究工作取得了较好的成果, 截止2018年12月底,项目研发期内累计已发表高质量学术论文24篇,包括期刊论文10篇(其中,国际期刊3篇、国内一级学报5篇)、国际会议论文14篇;在上述方法的基础上,课题组研发了一批工具原型,累计获得授权中国发明专利4件,受理发明专利7件(其中美国发明专利1件),部分工具已开始在具体项目中进行实验,初见成效。
期刊论文列表
专著列表
科研奖励列表
会议论文列表
专利列表
DOI:10.19363/j.cnki.cn10-1380/tn.2016.02.005
发表时间:2016
期刊:信息安全学报
影响因子:--
作者:鲍铁匀;高凤娟;周严;李游;王林章;李宣东
通讯作者:李宣东
Systematically Ensuring the Confidence of Real-Time Home Automation IoT Systems
系统地确保实时家庭自动化物联网系统的可信度
DOI:10.1145/3185501
发表时间:2018-06
期刊:ACM Trans. Cyber-Phys. Syst
影响因子:--
作者:Lei Bu;Wen Xiong;Mike Liang;Shi Han;Dongmei Zhang;SHan Lin;Xu;ong Li
通讯作者:ong Li
DOI:10.1007/s11390-016-1621-y
发表时间:2016-01
期刊:Journal of Computer Science and Technology
影响因子:0.7
作者:Yang Liu;Xu;ong Li;Yan Ma
通讯作者:Yan Ma
Deriving Unbounded Reachability Proof of Linear Hybrid Automata during Bounded Checking Procedure
在有界检查过程中推导线性混合自动机的无界可达性证明
DOI:10.1109/tc.2016.2604308
发表时间:2017-03-01
期刊:IEEE TRANSACTIONS ON COMPUTERS
影响因子:3.7
作者:Xie, Dingbao;Xiong, Wen;Li, Xuandong
通讯作者:Li, Xuandong
DOI:10.13328/j.cnki.jos.005189
发表时间:2017-04
期刊:软件学报
影响因子:--
作者:李筱;周严;李孟宸;陈园军;XU Guo-Qing;王林章;李宣东
通讯作者:李宣东
基于模糊测试的物联网设备固件漏洞检测技术研究
  • 批准号:
    --
  • 项目类别:
    重点项目
  • 资助金额:
    292万元
  • 批准年份:
    2020
  • 负责人:
    王林章
  • 依托单位:
交织场景驱动的信息物理融合系统行为建模与测试技术研究
  • 批准号:
    61170066
  • 项目类别:
    面上项目
  • 资助金额:
    59.0万元
  • 批准年份:
    2011
  • 负责人:
    王林章
  • 依托单位:
基于模型的嵌入式软件测试与验证技术及针对国产列车控制系统的实例研究
  • 批准号:
    91018006
  • 项目类别:
    重大研究计划
  • 资助金额:
    50.0万元
  • 批准年份:
    2010
  • 负责人:
    王林章
  • 依托单位:
基于Aspect的软件非功能性规约建模、测试和验证研究
  • 批准号:
    60603036
  • 项目类别:
    青年科学基金项目
  • 资助金额:
    25.0万元
  • 批准年份:
    2006
  • 负责人:
    王林章
  • 依托单位:
国内基金
海外基金