期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到401篇文章
< 1 2 … 21 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
一种软件自适应UML建模及其形式化验证方法 被引量：34
1
作者 韩德帅 杨启亮 邢建春 《软件学报》 EI CSCD 北大核心 2015年第4期730-746,共17页
软件自适应的建模和形式化验证是提高自适应软件开发效率、保证自适应软件可靠性的基础,现有研究中软件自适应可视化建模与形式化建模相隔离,一定程度上阻碍了自适应软件的开发.为此,提出MV4SAS的方法,将可视化的UML与严格化的时间自动... 软件自适应的建模和形式化验证是提高自适应软件开发效率、保证自适应软件可靠性的基础,现有研究中软件自适应可视化建模与形式化建模相隔离,一定程度上阻碍了自适应软件的开发.为此,提出MV4SAS的方法,将可视化的UML与严格化的时间自动机相结合,用于软件自适应的建模和形式化验证.首先,应用UML扩展机制引入新的构造型、标记值和约束条件,定义软件自适应建模设施,在此基础上构造软件自适应结构模型和行为模型;然后,根据定义好的转换算法将软件自适应行为模型转换为时间自动机网络,建立软件自适应形式化模型;最后,定义一组软件自适应形式化验证性质,并利用模型检测工具UPPAAL验证软件自适应模型的可靠性.案例研究表明,该方法可有效降低软件自适应建模和验证的复杂度,提高软件自适应的建模效率和模型可靠性. 展开更多
关键词 软件自适应 自适应软件 软件建模 形式化验证
下载PDF
车辆—轨道耦合动力学仿真软件TTISIM及其试验验证 被引量：23
2
作者 王开云 翟婉明 《中国铁道科学》 EI CAS CSCD 北大核心 2004年第6期48-53,共6页
TTISIM仿真软件采用现代车辆—轨道耦合动力学理论,全面考虑轨道结构参振影响及动态轮轨空间接触几何关系。结合近年来国内有关提速、脱轨、新型机车车辆动力学现场试验,对TTISIM软件进行了系统的分析验证。结果表明,用该仿真软件计算... TTISIM仿真软件采用现代车辆—轨道耦合动力学理论,全面考虑轨道结构参振影响及动态轮轨空间接触几何关系。结合近年来国内有关提速、脱轨、新型机车车辆动力学现场试验,对TTISIM软件进行了系统的分析验证。结果表明,用该仿真软件计算的结果与试验测量结果吻合良好,说明该仿真软件可以用来分析研究各种铁道机车车辆在不同状态线路上运行时的动力学性能。 展开更多
关键词 车辆一轨道耦合动力学 仿真软件 TTISIM 验证
下载PDF
系统软件可靠性验证测试方法研究 被引量：27
3
作者 张磊 周继锋 张强 《计算机与数字工程》 2010年第6期86-88,94,共4页
文章提出了一种系统软件的可靠性验证试验测试方法,介绍了软件可靠性度量指标、试验参数的选取原则,详细阐述了系统软件的可靠性验证测试方案的制定方法,同时还给出了系统软件无失效考核交付测试方案的制定方法。
关键词 系统 软件 可靠性 验证测试
下载PDF
软件防篡改技术综述 被引量：25
4
作者 王朝坤 付军宁 +1 位作者 王建民 余志伟 《计算机研究与发展》 EI CSCD 北大核心 2011年第6期923-933,共11页
随着计算机软件的广泛使用,软件安全性问题日益突出.如何设计切实可行的软件保护方案已成为必须直面的挑战,具有重要的现实意义.近年来,软件防篡改技术作为软件保护的重要手段之一受到国内外研究者的重视.软件防篡改的目标在于阻止程序... 随着计算机软件的广泛使用,软件安全性问题日益突出.如何设计切实可行的软件保护方案已成为必须直面的挑战,具有重要的现实意义.近年来,软件防篡改技术作为软件保护的重要手段之一受到国内外研究者的重视.软件防篡改的目标在于阻止程序中的关键信息被非法修改或使用;检测篡改并作出适当的响应.针对这两个目标,重点介绍了基于代码混淆的静态防篡改技术和基于检测-响应的动态防篡改技术,对现有主流的软件防篡改技术进行分类,并分析和讨论了各类方法的优劣和局限性.最后,总结软件防篡改领域存在的问题,并对其未来可能的发展与研究方向提出建议. 展开更多
关键词 防篡改 软件保护 静态防篡改技术 动态防篡改技术 检测-响应 代码混淆
下载PDF
模型检测中状态爆炸问题研究综述 被引量：25
5
作者 侯刚 周宽久 +2 位作者 勇嘉伟 任龙涛 王小龙 《计算机科学》 CSCD 北大核心 2013年第06A期77-86,111,共11页
模型检测已成为保证软件系统正确性和可靠性的重要手段,但随着软件功能日益强大,其规模和复杂度也越来越大,在模型检测过程中容易产生状态爆炸问题。如何解决模型检测中的状态爆炸,已成为工业界和理论界无法回避的重要课题。系统地综述... 模型检测已成为保证软件系统正确性和可靠性的重要手段,但随着软件功能日益强大,其规模和复杂度也越来越大,在模型检测过程中容易产生状态爆炸问题。如何解决模型检测中的状态爆炸,已成为工业界和理论界无法回避的重要课题。系统地综述模型检测领域解决状态爆炸问题的关键技术和主要方法,并提出该领域的最新研究进展与方向。 展开更多
关键词 软件系统 模型检测 状态空间爆炸 形式化验证
下载PDF
嵌入式软件自动化测试系统研究 被引量：20
6
作者 夏佳佳 邹毅军 +2 位作者 周江伟 王天民 曹胜莉 《计算机测量与控制》 2016年第4期22-25,共4页
嵌入式软件系统的测试通常需要对其被控对象或者环境进行仿真,以进行硬件在环的闭环验证,在软件测试中很有必要将被控对象的实时仿真模型与被测系统连接起来进行闭环测试;在总结分析嵌入式测试领域新需求的基础上,提出了一种基于分布式... 嵌入式软件系统的测试通常需要对其被控对象或者环境进行仿真,以进行硬件在环的闭环验证,在软件测试中很有必要将被控对象的实时仿真模型与被测系统连接起来进行闭环测试;在总结分析嵌入式测试领域新需求的基础上,提出了一种基于分布式仿真测试环境的嵌入式软件自动化测试系统;该系统具有较强的测试管理能力,以实时仿真机为核心,以及接口的模块化定制,实现了对系统动态特性的半实物仿真软硬件环境,很好地解决了嵌入式系统内存资源较少,与硬件紧密相关等问题。 展开更多
关键词 嵌入式软件 闭环测试 自动化测试 实时仿真机
下载PDF
车辆－轨道相互作用统一模型及软件的试验验证 被引量：6
7
作者 翟婉明 蔡成标 +1 位作者 史炎 王其昌 《铁道学报》 EI CSCD 北大核心 1996年第4期42-46,共5页
理论模型与模拟软件是研究机车车辆与轨道动态相互作用的必要工具。本文以历次主要的轮轨动力学现场试验为基础，对所建立的车辆－轨道相互作用统一模型及其计算机仿真分析软件ＶＩＣＴ，进行了全面系统的试验验证。结果表明，该模型及... 理论模型与模拟软件是研究机车车辆与轨道动态相互作用的必要工具。本文以历次主要的轮轨动力学现场试验为基础，对所建立的车辆－轨道相互作用统一模型及其计算机仿真分析软件ＶＩＣＴ，进行了全面系统的试验验证。结果表明，该模型及ＶＩＣＴ软件正确可靠。 展开更多
关键词 铁道 车辆 轨道 轮轨相互作用 模型 软件 验证
下载PDF
复杂地质条件下高精度三维地质建模研究 被引量：16
8
作者 刘顺昌 李黎 +1 位作者 徐德馨 曹厚臻 《人民长江》 北大核心 2021年第8期127-132,共6页
三维地质模型不仅可以直观地展示地质状况,还能够辅助和支持地质行业的技术决策,对地质工作研究提供三维数据支撑。针对复杂地质条件,提出了一种地层建模和岩性建模的混合三维地质建模解决方案。以武汉市长江新城起步区为例,基于EVS建... 三维地质模型不仅可以直观地展示地质状况,还能够辅助和支持地质行业的技术决策,对地质工作研究提供三维数据支撑。针对复杂地质条件,提出了一种地层建模和岩性建模的混合三维地质建模解决方案。以武汉市长江新城起步区为例,基于EVS建模软件,以地质剖面和钻孔数据为基础,开展复杂地质条件下三维地质高精度网格化模型的建设研究,并采用剖面对比和岩性概率模型对三维模型进行验证和质量评估。在此基础上,开展三维模型可视化表达及应用研究。结果表明:用地层建模和岩性建模的混合建模方式可以适应复杂地质条件下的三维建模,模型结果科学、可靠,有重要的实际应用价值。 展开更多
关键词 地层建模 岩性建模 EVS软件 模型验证 复杂地质条件 武汉市长江新城
下载PDF
通用导弹气动力计算软件DATCOM的开发与校验 被引量：16
9
作者 杨维维 陈小前 +1 位作者 李晓斌 王振国 《固体火箭技术》 EI CAS CSCD 北大核心 2006年第3期161-164,共4页
M issile Datcom是由美国空军研发的一套用于导弹气动力估算的软件,在飞行器方案设计阶段具有较高的实用价值。在深入分析M issile Datcom软件源代码的基础上,结合研究成果对软件进行了开发,利用VC++编制了便于用户使用的图形界面,并利... M issile Datcom是由美国空军研发的一套用于导弹气动力估算的软件,在飞行器方案设计阶段具有较高的实用价值。在深入分析M issile Datcom软件源代码的基础上,结合研究成果对软件进行了开发,利用VC++编制了便于用户使用的图形界面,并利用某型导弹的风洞试验数据对软件进行了校验。结果表明,该软件在一定范围内能提供较高精度的气动力系数估算结果,对不同导弹气动力外形具有较强的适用性,为国内气动力工程估算提供了一套通用工具。 展开更多
关键词 导弹 气动力 工程估算 软件开发 校验
下载PDF
基于函数调用路径的软件实现与设计一致性验证 被引量：11
10
作者 牟永敏 杨志嘉 《中国科学：信息科学》 CSCD 2014年第10期1290-1304,共15页
软件系统开发完成后,验证其是否完成了软件设计说明书的所有功能并且与设计算法一致,是软件测试的一项重要工作.通过人工遍历分析源代码来完成实现与设计的一致性验证是复杂费力的,并且需要测试人员具备丰富的编程经验和较强的算法分析... 软件系统开发完成后,验证其是否完成了软件设计说明书的所有功能并且与设计算法一致,是软件测试的一项重要工作.通过人工遍历分析源代码来完成实现与设计的一致性验证是复杂费力的,并且需要测试人员具备丰富的编程经验和较强的算法分析能力.论文提出了一种基于函数调用路径的软件实现自动验证方法.从设计文档和源代码两个方面出发,分别分析其函数调用关系,提取函数调用路径,生成功能簇模型.其中文档方面通过人工理解设计文档,确定函数调用关系,然后自动生成标准功能簇模型;源代码方面通过静态分析,自动获取函数调用关系,提取功能点特征,利用这些特征提取功能点的具体实现算法,自动生成软件的实际功能簇模型.对比两个功能簇模型,验证软件实现与设计的一致性.实验结果表明:算法能够准确获得软件系统的功能结构及实现算法特征,对软件实现与设计的一致性做出有效判定,为软件实现与设计的一致性自动化测试提出一种新的思路. 展开更多
关键词 软件设计 软件实现 一致性 验证 函数调用路径 功能提取 程序理解
原文传递
安全软件验证与确认中的单元模块测试技术 被引量：10
11
作者 李铎 张良驹 冯俊婷 《原子能科学技术》 EI CAS CSCD 北大核心 2008年第6期551-556,共6页
核动力厂保护系统实现数字化必须解决的一项关键技术是如何完成安全软件的验证与确认(V&V),以证明和确认执行安全功能的软件自身的安全性和可靠性。软件单元测试是V&V过程中的重要环节,主要目的是验证和确认软件代码开发过程中... 核动力厂保护系统实现数字化必须解决的一项关键技术是如何完成安全软件的验证与确认(V&V),以证明和确认执行安全功能的软件自身的安全性和可靠性。软件单元测试是V&V过程中的重要环节,主要目的是验证和确认软件代码开发过程中,软件的设计转变为软件代码是适当、正确和完整的。本工作初步研究了安全软件的单元模块测试技术,着重讨论如何保证测试的完整性、建立测试环境、建立测试用例及实施单元模块测试等方面,并以某数字化保护系统安全软件单元模块测试实例说明单元模块测试的具体过程。 展开更多
关键词 安全软件 单元测试 验证与确认
下载PDF
基于可编程逻辑控制器的变频调速系统研究 被引量：10
12
作者 郑田娟 《现代电子技术》 北大核心 2019年第19期164-167,共4页
以电机测速为设计目标,构建基于可编程逻辑控制器(PLC),结合传感器、变频器、触摸屏、组态软件等对电动机进行变频调速、测速的试验系统研究。根据实际情况建立速度-时间曲线模型,利用模拟量输出模块FX0N-3A把模拟信号输出给变频器控制... 以电机测速为设计目标,构建基于可编程逻辑控制器(PLC),结合传感器、变频器、触摸屏、组态软件等对电动机进行变频调速、测速的试验系统研究。根据实际情况建立速度-时间曲线模型,利用模拟量输出模块FX0N-3A把模拟信号输出给变频器控制电机的实时转速,触摸屏实现远程控制实际转速。通过该系统的设计,实现变频测速远程控制,并对故障进行报警,保证电机按照实际要求运行。 展开更多
关键词 PLC 变频器 调速 组态软件 远程控制 测试验证
下载PDF
深空探测器精密定轨与重力场解算系统(WUDOGS)及其应用分析 被引量：10
13
作者 叶茂 李斐 +4 位作者 鄢建国 郝卫峰 杨轩 金炜桐 曲春凯 《测绘学报》 EI CSCD 北大核心 2017年第3期288-296,共9页
WUDOGS是武汉大学自主研发的深空探测器精密定轨与重力场解算软件系统。该软件目前已经具备月球、火星探测器的高精度定轨能力。本文首先简要介绍了WUDOGS设计思路及其主要功能,然后重点介绍了WUDOGS与国际上领先水平的行星探测器精密... WUDOGS是武汉大学自主研发的深空探测器精密定轨与重力场解算软件系统。该软件目前已经具备月球、火星探测器的高精度定轨能力。本文首先简要介绍了WUDOGS设计思路及其主要功能,然后重点介绍了WUDOGS与国际上领先水平的行星探测器精密定轨软件系统GEODYN-Ⅱ的交叉验证测试过程。结果表明:对于探测器的轨道预报,WUDOGS与GEODYN-Ⅱ的1个月位置差异小于0.3mm,2d位置差值小于5×10-3 mm;双程测距、双程测速的理论计算值和GEODYN-Ⅱ的差值分别在0.06 mm、0.002 mm/s的水平;对月球探测器"嫦娥一号"的精密定轨显示WUDOGS和GEODYN-Ⅱ符合在2cm水平,对火星探测器MEX的精密定轨显示WUDOGS和欧空局精密轨道符合在25m水平。该软件目前的研发情况及其与国外研究水平的对比表明WUDOGS具有良好的应用前景,对满足我国后续深空探测发展的需求以及深空探测器精密定轨软件的研发具有重要意义。 展开更多
关键词 深空探测 精密定轨 行星重力场 WUDOGS
下载PDF
可信软件分析与测试研究进展 被引量：8
14
作者 王环环 詹永照 陈锦富 《计算机应用研究》 CSCD 北大核心 2011年第7期2401-2406,2423,共7页
以软件可信性问题为主攻目标,首先阐述了可信软件的五大主要特征,给出了可信软件分析方法、测试方法和步骤,并总结了各个方法的缺点,重点对可信软件测试方法进行了分类总结和对比分析,同时给出了相应方法的测试工具;其次论述了可信软件... 以软件可信性问题为主攻目标,首先阐述了可信软件的五大主要特征,给出了可信软件分析方法、测试方法和步骤,并总结了各个方法的缺点,重点对可信软件测试方法进行了分类总结和对比分析,同时给出了相应方法的测试工具;其次论述了可信软件的验证方法;最后进行了总结,并对今后可信软件分析和测试研究作出了展望。 展开更多
关键词 可信软件 可信软件特征 软件分析 软件测试 验证
下载PDF
RTCA DO-178B标准与相关国军标的对照分析 被引量：8
15
作者 陈绍宇 赵建军 《航空电子技术》 2009年第1期48-52,共5页
RTCA的DO-178B标准是国际认可的开发准则,将DO-178B与我国的国标进行了对照分析,给出了异同。
关键词 航电软件 适航当局 软件验证 可靠性 安全性 软件编码标准
下载PDF
基于SCADE的嵌入式软件开发方法研究 被引量：9
16
作者 高玉娜 《电子设计工程》 2015年第21期103-105,109,共4页
安全和可靠性是嵌入式软件质量的关键要素,软件的设计模式直接决定了软件的安全和可靠性。本文研究了高安全性应用程序开发环境-SCADE的特点和应用,介绍了一种基于该开发环境的软件开发平台方案。大量的工程的应用也表明该方案有助于提... 安全和可靠性是嵌入式软件质量的关键要素,软件的设计模式直接决定了软件的安全和可靠性。本文研究了高安全性应用程序开发环境-SCADE的特点和应用,介绍了一种基于该开发环境的软件开发平台方案。大量的工程的应用也表明该方案有助于提高嵌入式软件的开发质量,缩短研制周期,满足软件研制需求。 展开更多
关键词 SCADE 嵌入式软件 建模 模拟仿真 形式验证
下载PDF
软件再工程理论应用研究 被引量：3
17
作者 陈岚 《航空电子技术》 2005年第3期38-43,共6页
软件再工程通过逆向工程、重构和正向工程几个环节,将现存系统开发成新的系统,是有效利用原有系统的现实可行的方法。本文研究了软件再工程的基本概念和目标、再工程的基本框架等理论;介绍了对某显控计算机软件的分析、重构和验证等内容。
关键词 再工程 逆向工程 软件验证
下载PDF
基于九天EDA系统的集成电路版图设计 被引量：8
18
作者 施敏 徐晨 《南通工学院学报（自然科学版）》 2004年第4期101-103,107,共4页
文章介绍了基于中国华大九天EDA系统平台的集成电路版图设计流程,并给出了集成电路版图布局、单 元配置和布线的一些原则,实践证明九天EDA系统是教学、科研和商业用芯片理想的版图设计工具。
关键词 版图设计 集成电路 EDA 单元配置 芯片 布线 中国 商业 系统 流程
下载PDF
软件体系结构的属性图文法描述及其约束验证 被引量：7
19
作者 石兵 冉平 +2 位作者 马晓星 陶先平 吕建 《计算机应用研究》 CSCD 北大核心 2007年第3期163-168,共6页
在前人工作的基础上,使用了一种利于约束检查和属性刻画的属性图文法,该方法形式地描述了体系结构及其演化;接着给出了一个算法检查演化动作是否会破坏体系结构约束。在对属性图文法系统AGG的图形解析器进行定制和改进的基础上,设计并... 在前人工作的基础上,使用了一种利于约束检查和属性刻画的属性图文法,该方法形式地描述了体系结构及其演化;接着给出了一个算法检查演化动作是否会破坏体系结构约束。在对属性图文法系统AGG的图形解析器进行定制和改进的基础上,设计并实现了体系结构自动检查器。该检查器已应用于面向体系结构的服务集成开发平台Artemis-ARC系统中。 展开更多
关键词 软件体系结构 动态演化 属性图文法 验证
下载PDF
基于本体的软件安全性需求建模和验证 被引量：8
20
作者 李震 刘斌 +1 位作者 苗虹 殷永峰 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2012年第11期1445-1449,共5页
由软件引起的灾难性事故原因往往源于安全性需求,目前主观的人工评审方法并不能满足软件安全性需求严格的验证要求.因此,讨论了软件安全性需求的定义,遴选了国内外公认的相关标准和手册作为需求验证的知识基础,根据"七步法"... 由软件引起的灾难性事故原因往往源于安全性需求,目前主观的人工评审方法并不能满足软件安全性需求严格的验证要求.因此,讨论了软件安全性需求的定义,遴选了国内外公认的相关标准和手册作为需求验证的知识基础,根据"七步法"建立了本体模型,利用本体模型中的概念和关联来形式化地描述规则以支持验证;同时基于以上研究内容设计和实现了软件安全性需求形式化建模和验证的工具原型,并对使用工具实施验证和使用人工评审实施验证进行了对比分析实验.实验结果表明形式化工具原型在验证时间和验证次数上都大大优于人工验证方法,同时工具原型具有良好的易用性. 展开更多
关键词 软件安全性 本体 形式化验证
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 21 下一页 到第 页
使用帮助 返回顶部