模型驱动的移动应用测试方法研究
项目介绍
AI项目解读
基本信息
- 批准号:61472179
- 项目类别:面上项目
- 资助金额:80.0万
- 负责人:
- 依托单位:
- 学科分类:F0203.软件理论、软件工程与服务
- 结题年份:2018
- 批准年份:2014
- 项目状态:已结题
- 起止时间:2015-01-01 至2018-12-31
- 项目参与者:刘阳; 李游; 王寒非; 曹婉琼; 孙家旭; 陈园军; 李永超; 鲍铁匀; 王铮然;
- 关键词:
项目摘要
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件),部分工具已开始在具体项目中进行实验,初见成效。
项目成果
期刊论文数量(10)
专著数量(0)
科研奖励数量(0)
会议论文数量(14)
专利数量(11)
基于目标制导符号执行的静态缓冲区溢出警报自动确认技术
- 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
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:--
- 发表时间:2015
- 期刊:计算机科学与探索
- 影响因子:--
- 作者:陈园军;石浚菁;王林章;李宣东
- 通讯作者:李宣东
C/C++程序静态内存泄漏警报自动确认方法
- DOI:10.13328/j.cnki.jos.005189
- 发表时间:2017-04
- 期刊:软件学报
- 影响因子:--
- 作者:李筱;周严;李孟宸;陈园军;XU Guo-Qing;王林章;李宣东
- 通讯作者:李宣东
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:{{ item.doi || "--"}}
- 发表时间:{{ item.publish_year || "--" }}
- 期刊:{{ item.journal_name }}
- 影响因子:{{ item.factor || "--"}}
- 作者:{{ item.authors }}
- 通讯作者:{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:{{ item.authors }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:{{ item.authors }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:{{ item.authors }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:{{ item.authors }}
数据更新时间:{{ patent.updateTime }}
其他文献
UMLTGF:一个基于灰盒方法从UML
- DOI:--
- 发表时间:--
- 期刊:《计算机研究与发展》,Vol.43,No.1,2006
- 影响因子:--
- 作者:袁洁松;王林章;李宣东;郑国梁
- 通讯作者:郑国梁
基于状态机模型的构件健壮性测试
- DOI:--
- 发表时间:--
- 期刊:《软件学报》
- 影响因子:--
- 作者:雷斌;王林章;卜磊;李宣东
- 通讯作者:李宣东
一种手绘制导的移动应用界面测试方法
- DOI:10.13328/j.cnki.jos.005873
- 发表时间:2020
- 期刊:软件学报
- 影响因子:--
- 作者:成浩亮;汤恩义;玉淳舟;张初成;陈鑫;王林章;卜磊;李宣东
- 通讯作者:李宣东
静态程序分析并行化研究进展
- DOI:10.13328/j.cnki.jos.005950
- 发表时间:2020
- 期刊:软件学报
- 影响因子:--
- 作者:陆申明;左志强;王林章
- 通讯作者:王林章
面向方面的计算误差处理技术:实例研究与评估
- DOI:--
- 发表时间:--
- 期刊:软件学报
- 影响因子:--
- 作者:崔展齐;王林章;刘慧根;李宣东
- 通讯作者:李宣东
其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:{{ item.doi || "--" }}
- 发表时间:{{ item.publish_year || "--"}}
- 期刊:{{ item.journal_name }}
- 影响因子:{{ item.factor || "--" }}
- 作者:{{ item.authors }}
- 通讯作者:{{ item.author }}

内容获取失败,请点击重试

查看分析示例
此项目为已结题,我已根据课题信息分析并撰写以下内容,帮您拓宽课题思路:
AI项目摘要
AI项目思路
AI技术路线图

请为本次AI项目解读的内容对您的实用性打分
非常不实用
非常实用
1
2
3
4
5
6
7
8
9
10
您认为此功能如何分析更能满足您的需求,请填写您的反馈:
王林章的其他基金
基于模糊测试的物联网设备固件漏洞检测技术研究
- 批准号:
- 批准年份:2020
- 资助金额:292 万元
- 项目类别:重点项目
交织场景驱动的信息物理融合系统行为建模与测试技术研究
- 批准号:61170066
- 批准年份:2011
- 资助金额:59.0 万元
- 项目类别:面上项目
基于模型的嵌入式软件测试与验证技术及针对国产列车控制系统的实例研究
- 批准号:91018006
- 批准年份:2010
- 资助金额:50.0 万元
- 项目类别:重大研究计划
基于Aspect的软件非功能性规约建模、测试和验证研究
- 批准号:60603036
- 批准年份:2006
- 资助金额:25.0 万元
- 项目类别:青年科学基金项目
相似国自然基金
{{ item.name }}
- 批准号:{{ item.ratify_no }}
- 批准年份:{{ item.approval_year }}
- 资助金额:{{ item.support_num }}
- 项目类别:{{ item.project_type }}
相似海外基金
{{
item.name }}
{{ item.translate_name }}
- 批准号:{{ item.ratify_no }}
- 财政年份:{{ item.approval_year }}
- 资助金额:{{ item.support_num }}
- 项目类别:{{ item.project_type }}