西北工业大学基础研究基金(2012JC2016)
- 作品数：3 被引量：3H指数：1
- 相关作者：成静张涛朱怡安罗文波屈华敏更多>>
- 相关机构：西北工业大学陕西师范大学更多>>
- 发文基金：中国航空科学基金西北工业大学基础研究基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于模型的移动应用兼容性测试方法研究被引量：1
- 2015年
- 在分析研究移动应用测试验证技术机理的基础上,提出一种基于测试价值权重语义树模型的移动应用兼容性测试方法。该方法的主要特点是能够生成所有移动应用兼容性测试环境,并可根据其测试价值进行排序和选择,从而能提高测试效率,降低测试成本,减少测试时间。
- 成静朱怡安张涛周文强李坤王海鹏
- 一种基于AADL错误模型的软件安全性分析技术研究被引量：2
- 2014年
- 针对软件安全性问题,提出一种新的软件安全性分析方法。首先探索将软件组件AADL错误模型转化为马尔科夫链模型,计算组件处于不同危害级别状态概率,分析组件安全性。并且进一步,根据AADL错误模型组合实现定义,由其内部组件安全状态概率计算分析软件系统的安全性,避免状态爆炸问题。最后,以飞控系统软件为例,对算法进行实例验证。
- 成静朱怡安屈华敏罗文波江叶春张涛
- 关键词：马尔科夫链
- 状态分布对象模型研究与改进
- 2014年
- 虚拟试验验证支撑框架是快速集成各个靶场任务,快速构造逻辑靶场的重要支撑平台,状态分布对象是实现基于分布式对象的新一代虚拟实验验证支撑框架的核心。通过给出虚拟实验验证支撑框架的分布式对象元模型,详细描述了状态分布对象的运行机制,重点研究了状态分布对象的订阅/发布机制,并提出了一种新的多实时事件通道单兴趣通道多缓冲队列的传输策略。该传输策略既充分利用多实时事件通道的传输效率,又有效规避了对其管理、调度和订阅匹配的开销问题,保障了大数据量传输时的服务质量。
- 张涛马冲李蜀瑜成静娄阳
- 关键词：分布式对象
