软件验证相关论文
随着软件的发展,软件的安全问题已经受到了工业界的关注和担忧。软件验证正是其中一种可以检查软件安全的方法。近年来,由于对软件......
随着嫦娥三号、暗物质粒子探测卫星以及世界首颗量子科学实验卫星“墨子号”的成功发射,我国的空间探测技术取得了巨大进步。与此......
随着计算机软硬件系统规模的日益复杂化，如何保证计算机系统的正确性和可靠性，逐渐成为当前理论界和产业界共同关心的重要问题。而当......
软件已经成为国防建设与国计民生的重要组成部分,如何提高软件的正确性、可靠性和安全性是计算机软件领域面临的重要挑战。Clarke......
随着在航空器和发动机上所用的机载系统和设备对软件的使用迅速增加，为满足适航性要求，航空无线电技术委员会(RTCA)制定了DO-178B标......
在国民经济与国防现代化建设中,计算机软件在日常生活中的应用越来越普及,软件可靠性问题日趋受到人们的重视,尤其对于一些安全关......
功耗侧信道攻击,通过使用统计分析技术推断出加密算法中的密钥,已成为物理网络设备的一个巨大威胁。随机掩码是一种被广泛使用的用......
期刊
美国暖通工程师协会发布的ASHRAE-140标准通过一套标准测试案例,对建筑能耗模拟软件的计算性能进行认证.目前国际主流的建筑能耗模......
本文在研究卡尔曼滤波算法的基础上，将扩展卡尔曼滤波算法应用于永磁电机闭环矢量控制系统中，对电机的转速和转角进行实时在线估计。......
据统计由血栓引起的疾病已经成为全球总死亡人数第一位的疾病,在中国,患者总数已经达到一千万人以上,且血栓疾病有高致残、高复发......
基于美国暖通工程师协会ASHRAE-140国际建筑能耗模拟软件对比标准,采用对比测试法,对建筑能耗模拟软件计算内核的准确性进行全面检......
期刊
现代复杂嵌入式软件系统的高可靠性需要有效的基于模型的设计与分析技术.传统的嵌入式软件可靠性保障技术主要关注于系统开发后期.......
为了确保并证明列车网络控制系统软件符合软件需求规范对软件产品在功能、安全、性能、规范等各方面的要求.需对列车网络控制系统......
设计了导航卫星数管仿真系统,实现对数管软件功能的验证、可靠性测试、并能注入异常检验程序用于测试系统的鲁棒性。基于指令解释......
主要讲述软件的耦合性分析,并介绍了耦合性度量的方法。在民用飞机简图页软件的开发工作中,为了确保软件运行的可靠性以及根据DO-1......
以一款视频图像定标器为研究对象,提出了一种适用于大规模数字集成电路的软件功能性验证平台,详细阐述了平台的结构、平台中测试向......
软件功能安全验证活动对提高安全关键系统的安全性具有重要作用,它贯穿于软件安全生命周期的各个阶段。通过对各阶段输出文档的审......
0引言计量管理中,已经习惯对仪器、标准、样品、人员和环境要素进行控制,以保证测量的有效性,但往往忽略了软件这一看不见的要素对......
在基于可满足性模理论（SMT）的限界模型检测中，限界深度对于程序验证结果的可信性和程序验证效率具有重要影响。传统串行检测方法由于......
从嵌入式软件设计模型层对构件化实时嵌入式软件系统中能耗相关性质进行研究，包括：扩展了实时接口自动机在能耗语义方面的描述能力，通......
软件加密是保护软件开发者利益的必要手段，是软件开发过程中的重要组成部分．如何保护软件开发者的利益，一直是软件加密领域的焦点问题......
软件不变量是软件的重要属性,在软件验证、软件调试和软件测试等领域有重要作用.自20世纪末以来,基于动态分析的不变量综合技术成......
为了有效进行目标码分析与验证,提出了通过扩展CPU模块获取目标码控制流图及结构覆盖率的方法。采用CPU分支指令功能扩展,并新增动......
在计算机软件领域的各个方面，逆编译一直默默的发挥着重要的作用，但一直以来，由于研究的难度、合法性的存疑、技术的更新速度慢等原因......
软件再工程通过逆向工程、重构和正向工程几个环节,将现存系统开发成新的系统,是有效利用原有系统的现实可行的方法.本文研究了软......
RTCA的DO-178B标准是国际认可的开发准则，将DO-178B与我国的国标进行了对照分析，给出了异同。......
在计算机辅助设计软件中,光学设计自动化软件是随着微光子学、光电子学和深亚微米集成电路的发展而逐渐产业化的,相对于电子设计自......
针对主流的基于规则的静态分析工具，提出了一种快速的规则检查方法。由于一个代码文件通常只包含有限类型的程序缺陷，根据规则的特征......
当前,无人实时系统决策模块大都是以规则的设计作为核心,而规则是由大量的条件组合语句构成的,导致决策系统的开发面临开发规模大......
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们......
从当前软件设计存在的问题出发，以IEC62278和IEC62279为基础，提出相关产品的软件安全完整性的等级，各软件开发人员的职责分工。根据当......
软件验证是提升软件产品可靠性、使软件满足用户需求的重要方法。按照CMD系统地面综合应用软件的高可靠性要求，阐述了软件验证执行......
江门中微子实验(JUNO)是我国的重大基础科学研究项目,其探测器位于中国广东省,距离阳江和台山核电站大约53千米处,目前正处于建设......
模型检测是一种重要的自动化验证技术,使用该技术来保证软件安全性和可靠性已成为近年来的一个研究热点。提出的软件模型检测方法......
针对当前本科院校《数值计算方法》课程教学中存在的问题,文章在教学内容、教学模式以及考核方式等方面提出了相应的改革措施。首......
RTCA/DO-178以软件质量为核心目标,严格规定了民用飞机软件设计的各个保障等级的目标和活动.然而由于标准本身的定位,DO-178对目标......
依据DO-178B对于评审的要求，分析研究同行评审的内容和方法，建立同行评审流程模型。同时介绍了同行评审工具软件的设计与开发过程，阐......
飞行监界系统的复杂性和容错要求正在急速增长。因此，必须开发新的技术和方法而且要与已有的方法相结合，以使飞行临界系统在合理开发......
核电站的安全特性要求数字化仪控系统软件必须具备极高的可靠性,但由于计算机软件的特殊性,要及时发现某些设计缺陷和逻辑错误,必......
布尔公式的最小纠正集MCS是子句的集合。对于一个不可满足公式,移除MCS后,所得到的新公式可满足。任一MCS中的子句保留在公式中,所......
不同的相关系数应用的场景不同,皮尔逊相关系数(PPMCC)适用于计算具有满足二元高斯分部特性的数据,而斯皮尔曼相关系数(SR)和肯德......
一般检定规程或校准规范只是对探索便携式坐标测量类仪器的综合误差或硬件指标进行检定、校准,而没有对其软件功能和算法的正确性......
小型无人机自被发明以来就一直吸引着社会各个领域的眼球,几十年的发展历史更是证明了其具有无限的发展潜力。在当今社会中,小型无......
