【摘 要】
：
软件运行时验证是一种近年来逐步兴起的通过监控程序运行来检验其是否满足给定性质的轻量级验证技术。由于复杂性质的运行时验证中常产生高额的时间开销,阻碍了该技术在部署
【机 构】
：
中国电子科技集团公司第十三研究所,中国人民解放军军械工程学院
【基金项目】
：
河北省自然科学基金项目“多目标约束下的软件运行时验证加速技术研究”（F2014506017）
论文部分内容阅读
软件运行时验证是一种近年来逐步兴起的通过监控程序运行来检验其是否满足给定性质的轻量级验证技术。由于复杂性质的运行时验证中常产生高额的时间开销,阻碍了该技术在部署后系统中的应用。在深入剖析国内外研究现状及存在问题基础上,从改善部署后软件运行时验证效率的角度出发,综合考虑性质违背检测能力、诊断支持能力等潜在开销优化制约因素,提出多目标约束下的软件运行时验证加速技术框架。该框架包括构建多目标约束模型、可加速监控器判定、加速控制技术研究以及原型工具开发等内容,并具体阐述了框架所涉及的关键技术方案。本研究将为解决运
其他文献
一、呼叫中心应用概述1.基本概念呼叫中心(Call Center),是基于CTI(Computer Telecommunication Integration)技术的一种新的综合信息服务系统.具体地说,是指拨打一个电话号
近年来,银行科技部门出于开发大型金融应用系统的需要,与软件企业的合作日益增多.在大型金融应用系统的可行性分析、企划立项和开发初期常常涉及到系统工程量的预算问题.掌握
海洋药物和海洋生物制品的研究与产业化现已成为国际竞争的热点领域.近年来,我国海洋生物医药产业呈现出快速发展态势,对实施海洋强国战略具有重要意义.据调研,我国海洋生物
摘要：反潜作战是现代海战的重要作战样式之一，建立了对潜直线往返巡逻搜索发现潜艇概率计算模型，计算了3种典型搜潜方案下的发现目标概率，对指挥员拟制搜潜方案提供了一定的理论
针对PSO算法全局收敛性差、搜索精度不高,SA算法收敛速度慢,求解时间随着问题规模的增大和复杂急剧增加的问题,提出一种PSO和SA多子群分层并行的智能分布式算法。算法底层是
目的了解安徽省市级结核病定点医院收治的耐多药肺结核(Muti-drug Resistant Tuberculosis,MDR-TB)患者治疗和管理服务的现状。方法选择合肥市、阜阳市、蚌埠市和马鞍山市作
2004年11月20日，民生银行(600016)发布了“关于获准吸收新加坡亚洲金融控股私人有限公司投资入股的公告”。公告称，日前，公司接到中国银监会《关于中国民生银行吸收新加坡亚洲金
根据税收征管改革的要求,为充分发挥银行、财税、国库之间的网络优势,工行台州分行在原有网络基础上与地方税务部门实现了银税联网,达到了纳税人在征税大厅开票扣款,资金实时
广东山区经济的发展有自身的特点,多数学者是从政治、经济、地理位置等角度来论证的,而忽略了人和文化的因素.本文从人和文化的角度来探讨广东山区经济发展,重新审视了山区的
本文介绍在喷丸工艺中弹丸材料和尺寸，空气压力，喷咀结构等参数选择对喷丸强度的影响。着重论述了喷丸参数选择的局限性，探讨了喷咀结构在喷丸参数选择中的重要作用。