期刊文献+
共找到52篇文章
< 1 2 3 >
每页显示 20 50 100
可信平台模块的形式化分析和测试 被引量:25
1
作者 陈小峰 《计算机学报》 EI CSCD 北大核心 2009年第4期646-653,共8页
可信平台模块(Trusted Platform Module,TPM)是可信计算平台的核心和基础,可信平台模块的功能测试和验证是保证可信平台模块的实现正确性以及规范一致性的重要手段,但是目前尚不存在一种有效严格的可信平台模块测试和功能验证方法,同时... 可信平台模块(Trusted Platform Module,TPM)是可信计算平台的核心和基础,可信平台模块的功能测试和验证是保证可信平台模块的实现正确性以及规范一致性的重要手段,但是目前尚不存在一种有效严格的可信平台模块测试和功能验证方法,同时可信计算组织给出的TPM规范是描述性的,不利于产品的开发和测试.文中在分析可信平台模块目前存在的一些问题的基础上,以TPM密码子系统为例给出了该子系统的形式化规格说明,并且基于该规格说明,给出了扩展有限状态机模型,最后,将该有限状态机模型应用于测试用例的自动生成,并通过实验验证了形式化测试的有效性. 展开更多
关键词 可信计算平台 可信平台模块 一致性测试 形式化分析
下载PDF
联邦接口规范测试方法研究 被引量:5
2
作者 马萍 杨明 +1 位作者 马宁 王子才 《系统仿真学报》 CAS CSCD 2002年第3期304-306,共3页
高层体系结构(HLA: High Level Architecture)可以支持各种类型仿真之间的互操作,同时便于建模与仿真部件的可重用。开发HLA应用必须根据联邦开发与执行过程模型进行,其中联邦测试是FEDEP模型的重要组成部分,主要包括三级测试,即:一致... 高层体系结构(HLA: High Level Architecture)可以支持各种类型仿真之间的互操作,同时便于建模与仿真部件的可重用。开发HLA应用必须根据联邦开发与执行过程模型进行,其中联邦测试是FEDEP模型的重要组成部分,主要包括三级测试,即:一致性测试,集成测试,联邦测试。一致性测试主要包括接口规范测试,OMT测试,RTI测试等内容,本文对联邦接口规范测试的方法进行了研究,根据接口规范的测试标准,制定了测试顺序,给出了联邦接口规范的测试顺序模型,使接口规范测试更加系统、清晰。 展开更多
关键词 高层体系结构 联邦接口规范 一致性测试 信息顺序图 计算机仿真
下载PDF
基于近红外光谱技术对建三江大米快速检测分析研究 被引量:7
3
作者 宋雪健 钱丽丽 +1 位作者 于金池 张东杰 《食品研究与开发》 CAS 北大核心 2017年第14期138-143,共6页
为实现建三江大米的真假快速鉴别,应用近红外光谱仪测定来自建三江及非建三江地区的150份大米样品,对原始光谱进行预处理后,采用因子化法进行鉴别分析,最大合格性索引法进行合格性检测分析,偏最小二乘法(partial least squares,PLS)法... 为实现建三江大米的真假快速鉴别,应用近红外光谱仪测定来自建三江及非建三江地区的150份大米样品,对原始光谱进行预处理后,采用因子化法进行鉴别分析,最大合格性索引法进行合格性检测分析,偏最小二乘法(partial least squares,PLS)法进行定量分析。结果表明,3种模式识别方法对建三江地区的大米正确判别率均在90.00%以上。因此,应用近红外光谱技术在建三江大米真假鉴别研究中具有可行性。 展开更多
关键词 大米 近红外光谱(NIR) 鉴别分析 合格性测试 偏最小二乘法(PLS)
下载PDF
自动驾驶合规性虚拟测试场景构建方法研究进展 被引量:1
4
作者 徐家正 陈星 +1 位作者 王景升 晏松 《江汉大学学报(自然科学版)》 2024年第2期87-96,共10页
基于场景的测试推动了自动驾驶技术的开发与应用,如何构建合规性虚拟测试场景已成为自动驾驶技术领域的关键问题。首先针对不同主体对于合规性的需求进行了详细分析,基于场景交互性对测试场景构建方法进行分类,回顾了一系列虚拟测试场... 基于场景的测试推动了自动驾驶技术的开发与应用,如何构建合规性虚拟测试场景已成为自动驾驶技术领域的关键问题。首先针对不同主体对于合规性的需求进行了详细分析,基于场景交互性对测试场景构建方法进行分类,回顾了一系列虚拟测试场景构建方法,对各类场景构建方法从研究进展、应用情况和优缺点等方面进行归纳总结。此外,为解决不同主体差异化测试需求的场景构建方法适用问题,提出了覆盖度、边缘性、真实性三类测试场景构建方法评价指标,并用三类指标对各类场景方法的优势和局限性进行了综合评估。最后,基于评估结果详细分析了各类测试方法对差异化测试需求的适用性,并对当前存在的不足和未来研究趋势进行了总结和分析,以期为自动驾驶测试场景构建研究提供有益参考。 展开更多
关键词 自动驾驶测试 虚拟场景构建 覆盖度 边缘性 真实性 合规性测试
下载PDF
合规视阈下预重整的建构
5
作者 陶志超 《南海学刊》 2024年第4期113-123,共11页
合规治理总是与企业发展相伴,是企业健康持续发展的必要条件,不仅为企业在正常存续期间的发展保驾护航,在预重整等非正常存续期间也能提供强大的助力。首先,借助合规测试能够为预重整企业提供“诚实且不幸”的品格证明,柔化预重整企业... 合规治理总是与企业发展相伴,是企业健康持续发展的必要条件,不仅为企业在正常存续期间的发展保驾护航,在预重整等非正常存续期间也能提供强大的助力。首先,借助合规测试能够为预重整企业提供“诚实且不幸”的品格证明,柔化预重整企业的形象,降低与各利益相关者之间发生冲突的可能性和激烈程度。其次,通过有效的合规计划可以明确预重整的各参与方并细化各方的权利(力)边界,实现必要且恰当干预下最大限度的私权自救,以保证预重整更灵活、高效地进行。最后,在预重整中建立正向的合规激励,不仅可以引导企业通过自检自查在困境早期就进入预重整程序,以提高预重整的成功率,而且还可以在预重整过程中借助行政权、司法权等为企业注入脱困的动力。 展开更多
关键词 预重整 合规测试 合规计划 合规激励
下载PDF
基于特征选择算法的电网基线配置合规性检测方法 被引量:5
6
作者 王金贺 彭伯庄 陈佳捷 《电子设计工程》 2020年第15期15-18,共4页
针对目前电网中缺乏有效的安全检测机制和方法的问题,根据电网终端基线的特点,提出一种完整的配置合规性检测方法。首先依据电网的运行稳定性要求,构建基线配置合规性检测标准体系,该体系为配置合规性的检测对比标准。改装配置状态收集... 针对目前电网中缺乏有效的安全检测机制和方法的问题,根据电网终端基线的特点,提出一种完整的配置合规性检测方法。首先依据电网的运行稳定性要求,构建基线配置合规性检测标准体系,该体系为配置合规性的检测对比标准。改装配置状态收集器,并利用配置检测工具扫描获取当前电网基线的配置数据。以扫描的数据为基础,并利用特征选择算法,确定基线合规性检测的相关指标。最后从口令配置、对象访问安全配置等多个方面,实现对电网基线配置合规性的检测,并生成最终的检测报告结果。通过实验分析得出结论:将设计的合规性检测方法应用到电网的实际工作当中,可以有效的防御终端异常攻击,进而保证电网的运行安全。 展开更多
关键词 特征选择算法 电网基线 基线配置 合规性检测
下载PDF
盟员集成测试工具的设计和实现
7
作者 薛守富 姚益平 《计算机仿真》 CSCD 2006年第7期139-141,149,共4页
高层体系结构(H igh Level Arch itecture,HLA)能支持不同仿真类型之间的互操作,同时便于仿真建模和仿真部件的可重用。联盟开发必须根据联盟开发和执行过程模型进行,集成和测试联盟是联盟开发和执行过程模型的重要组成部分,在实际工作... 高层体系结构(H igh Level Arch itecture,HLA)能支持不同仿真类型之间的互操作,同时便于仿真建模和仿真部件的可重用。联盟开发必须根据联盟开发和执行过程模型进行,集成和测试联盟是联盟开发和执行过程模型的重要组成部分,在实际工作过程中它耗费了大量的人力和物力。为此,开发有效的盟员集成测试工具,具有十分重要的意义。文章首先分析了基于HLA的盟员一致性测试工具和集成测试工具应具备的功能,然后在此基础上提出了一个能集盟员一致性测试和集成测试功能为一体的盟员集成测试工具的体系结构,给出了该测试工具各功能部件的设计和实现方法,最后给出了对该工具的测试结果。 展开更多
关键词 高层体系结构 联盟开发和执行过程 一致性测试 集成测试 测试工具
下载PDF
点播院线计费系统规范符合性检测解析 被引量:3
8
作者 王文强 《现代电影技术》 2020年第2期4-10,共7页
为有效实施点播院线计费系统的《点播影院暂行技术规范》符合性检测,本文通过多次检测实践所得的经验和心得,介绍了点播院线计费系统进行规范符合性检测的概要情况,阐述了点播院线计费系统在进行规范符合性检测时应重点关注的上报、下... 为有效实施点播院线计费系统的《点播影院暂行技术规范》符合性检测,本文通过多次检测实践所得的经验和心得,介绍了点播院线计费系统进行规范符合性检测的概要情况,阐述了点播院线计费系统在进行规范符合性检测时应重点关注的上报、下载、营业状态、营业日期归属等内容及相应的检测方法,并详细说明了目前点播院线计费系统在检测过程中存在的问题,希望能够为点播院线计费系统的研发与送检提供有益参考。 展开更多
关键词 点播 计费系统 技术规范 符合性检测 数据接口
下载PDF
基于扩展有限状态机的SCA符合性测试方法研究 被引量:3
9
作者 伍旭东 唐麒 +3 位作者 张伟 张健 魏急波 王一军 《计算机工程与应用》 CSCD 北大核心 2021年第16期263-268,共6页
软件通信体系结构(Software Communication Architecture,SCA)标准是针对软件无线电设备缺乏互操作性而制定的标准,通过定义设备组件对底层的硬件进行屏蔽,实现上层应用与底层硬件相互分离,SCA符合性测试通过验证实际的应用是否符合SCA... 软件通信体系结构(Software Communication Architecture,SCA)标准是针对软件无线电设备缺乏互操作性而制定的标准,通过定义设备组件对底层的硬件进行屏蔽,实现上层应用与底层硬件相互分离,SCA符合性测试通过验证实际的应用是否符合SCA标准中的定义,从而保证应用的跨平台性与通用性。当前国内外对SCA符合性测试的研究较少,测试过程中存在诸多问题,如各需求的测试之间存在依赖关系,某些需求测试的进行可能造成后续需求测试无法执行等,导致目前缺乏自动化的测试方法。针对这些问题,提出了一种测试序列自动生成方法,并基于扩展有限状态机的基本原理构造了SCA符合性测试模型。该模型能够直观地反映测试过程,分析测试中软件无线电系统存在的各种状态,判断测试用例执行序列的可行性,指导测试序列的构建,再结合基于集合的贪心算法对测试序列集进行优化。实验结果表明该方法能有效地保证测试覆盖度,并且提升测试效率。 展开更多
关键词 软件无线电 软件通信体系结构(SCA) 符合性测试 扩展有限状态机 测试自动化
下载PDF
智能网联汽车OTA测试案例分析及对策研究 被引量:1
10
作者 唐波 赖怡聪 李乐言 《汽车实用技术》 2023年第17期49-54,共6页
智能网联汽车的规模与日俱增,软件更新的需求也日益迅速,远程升级(OTA)技术为智能网联汽车的大规模更新提供了解决办法。文章从OTA的技术框架、安全技术和相关法规三个方面对OTA技术进行了概述,然后基于R156和《汽车软件升级通用技术要... 智能网联汽车的规模与日俱增,软件更新的需求也日益迅速,远程升级(OTA)技术为智能网联汽车的大规模更新提供了解决办法。文章从OTA的技术框架、安全技术和相关法规三个方面对OTA技术进行了概述,然后基于R156和《汽车软件升级通用技术要求》介绍了测试方法和测试案例。通过对测试案例进行分析,提出了存在的问题并给出了合理的对策。最后从智能网联汽车生产企业、OTA升级管理体系和第三方检测机构三个角度对网联汽车OTA升级安全技术提出了合理的建议。 展开更多
关键词 远程升级技术 软件升级 法规政策 合规测试 安全测试
下载PDF
网络配置及核查系统的设计与开发 被引量:1
11
作者 程立雪 陈志文 《电脑与信息技术》 2023年第1期58-60,85,共4页
网络配置及核查系统以构建数字网络模型为核心,一方面,通过基线核查的方式,实现了变更审计、安全风险评估、性能缺陷识别等功能;通过逻辑运算实现了安全策略冗余与冲突识别、合规矩阵与合规依据的检测。另一方面,支持第三方系统调用的... 网络配置及核查系统以构建数字网络模型为核心,一方面,通过基线核查的方式,实现了变更审计、安全风险评估、性能缺陷识别等功能;通过逻辑运算实现了安全策略冗余与冲突识别、合规矩阵与合规依据的检测。另一方面,支持第三方系统调用的应用接口,根据传递的用户需求自动生成部分网络安全访问策略的配置并监控执行,防止人工操作的漏洞。自动化的配置及核查为标准合规的运维管理、安全可靠的网络服务提供了支撑。 展开更多
关键词 配置核查 安全基线 合规检测 自动化配置
下载PDF
网络安全漏洞检测与合规性管理系统 被引量:1
12
作者 黄桂妲 《信息与电脑》 2018年第13期109-112,共4页
针对企业实时监控网络资产和发现漏洞的安全管理需求,在扫描引擎及其漏洞特征库的基础上,采用Web应用漏洞检测、系统漏洞检测、端口检测等多项安全扫描服务、合规扫描服务,分析和发现应用、主机、网络设备中的安全漏洞和安全薄弱点,给... 针对企业实时监控网络资产和发现漏洞的安全管理需求,在扫描引擎及其漏洞特征库的基础上,采用Web应用漏洞检测、系统漏洞检测、端口检测等多项安全扫描服务、合规扫描服务,分析和发现应用、主机、网络设备中的安全漏洞和安全薄弱点,给出详细漏洞报告,同时,针对这些信息安全隐患给出详尽的处理措施和建议。 展开更多
关键词 网络安全 漏洞检测 合规检测 系统漏洞扫描 Web应用漏洞扫描 合规性基线扫描
下载PDF
UOF文档标准测试方法研究
13
作者 郭盈 周润松 《电子设计工程》 2012年第21期1-3,6,共4页
UOF文档格式的诞生,摆脱了我国长期对国外办公软件格式的依赖性,从而有效掌握在国内市场的主动权,因此国产办公软件对UOF格式的支持性就显得尤为重要。文中针对UOF文档格式的结构进行研究,提出了国产办公软件对UOF格式支持程度的测试方... UOF文档格式的诞生,摆脱了我国长期对国外办公软件格式的依赖性,从而有效掌握在国内市场的主动权,因此国产办公软件对UOF格式的支持性就显得尤为重要。文中针对UOF文档格式的结构进行研究,提出了国产办公软件对UOF格式支持程度的测试方法,同时给出了相关的自动化测试技术。 展开更多
关键词 UOF文档格式 符合性测试 兼容性测试 支持性测试
下载PDF
嵌入式系统可信软件栈自动化测试研究 被引量:1
14
作者 姜忠龙 《计算机与数字工程》 2013年第2期315-317,共3页
嵌入式系统可信软件栈是可信嵌入式系统的重要组成部分,对嵌入式系统可信软件栈的一致性测试是确保上层应用可靠、有效运行的基础条件。论文讨论了对嵌入式系统可信软件栈的一致性测试框架和方法,实验结果表明现有的开源可信软件栈存在... 嵌入式系统可信软件栈是可信嵌入式系统的重要组成部分,对嵌入式系统可信软件栈的一致性测试是确保上层应用可靠、有效运行的基础条件。论文讨论了对嵌入式系统可信软件栈的一致性测试框架和方法,实验结果表明现有的开源可信软件栈存在着不符合标准规范的问题。 展开更多
关键词 嵌入式系统 可信软件栈 一致性测试
下载PDF
关于数字版权管理系统的测试与评估
15
作者 郭晓霞 王磊 《电视技术》 北大核心 2016年第5期141-143,共3页
2014年5月国家新闻出版广电总局发布GY/T 277—2014《互联网电视数字版权管理技术规范》为媒体融合内容保护提供了技术基础,如何对基于该标准研发的数字版权管理系统进行互操作测试,如何确保系统研发与部署实施层面的安全成为当前亟需... 2014年5月国家新闻出版广电总局发布GY/T 277—2014《互联网电视数字版权管理技术规范》为媒体融合内容保护提供了技术基础,如何对基于该标准研发的数字版权管理系统进行互操作测试,如何确保系统研发与部署实施层面的安全成为当前亟需解决的问题。从标准符合性和系统安全性两个方面探讨了数字版权管理系统的技术要求和测试评估方法,以支撑符合行业标准的数字版权管理系统的实施。 展开更多
关键词 媒体融合 数字版权管理 标准符合性测试 安全性评估
下载PDF
智能密码钥匙合规性检测系统的实现
16
作者 汪圣莅 潘理 周志洪 《信息安全与通信保密》 2013年第12期117-119,123,共4页
智能密码钥匙作为一种身份认证工具,在电子商务等领域中得到广泛的应用,而智能密码钥匙本身需要一定的检测机制来保障其使用时的安全性。基于微软提出的通用CryptoAPI接口,通过对固定会话密钥信息的导入,可以实现智能密码钥匙合规性的... 智能密码钥匙作为一种身份认证工具,在电子商务等领域中得到广泛的应用,而智能密码钥匙本身需要一定的检测机制来保障其使用时的安全性。基于微软提出的通用CryptoAPI接口,通过对固定会话密钥信息的导入,可以实现智能密码钥匙合规性的检测系统,其核心为根据题库检验智能密码钥匙的加解密算法的正确性。实际的运行结果表明,该系统能够满足对于智能密码钥匙质量检验的需求。 展开更多
关键词 CRYPTOAPI 合规性检测 智能密码钥匙
原文传递
面向标准符合性测试的接口标准建模方案
17
作者 崔艳婷 《中国传媒大学学报(自然科学版)》 2015年第6期44-49,共6页
为了减少标准符合性测试工作中标准文档编写以及自然描述语言转化的人工工作量,对自然描述语言向结构化的数据格式的转换进行了研究,提出了对标准进行建模的解决方案,该方案建立了接口类标准的可扩展的公共标签库,基于该标签库可以自动... 为了减少标准符合性测试工作中标准文档编写以及自然描述语言转化的人工工作量,对自然描述语言向结构化的数据格式的转换进行了研究,提出了对标准进行建模的解决方案,该方案建立了接口类标准的可扩展的公共标签库,基于该标签库可以自动生成接口描述文档及标准文档的接口描述部分,提高标准符合性测试的效率。 展开更多
关键词 符合性测试 建模 标签库
下载PDF
交通信息基础数据元层次结构模型及其应用 被引量:8
18
作者 张绍阳 高航 +1 位作者 关胜超 曹金山 《长安大学学报(自然科学版)》 EI CAS CSCD 北大核心 2013年第6期79-83,共5页
为了改进现有交通信息基础数据元基于业务领域的分类组织造成的冗余问题,提出并建立了交通信息基础数据元层次结构模型。该层次结构模型将交通信息基础数据元划分为基础数据元、抽象数据元及标准规定数据类型3个层次。对已经颁布的JT/T ... 为了改进现有交通信息基础数据元基于业务领域的分类组织造成的冗余问题,提出并建立了交通信息基础数据元层次结构模型。该层次结构模型将交通信息基础数据元划分为基础数据元、抽象数据元及标准规定数据类型3个层次。对已经颁布的JT/T 697标准进行了层次结构的建立,抽取的73个抽象数据元覆盖了JT/T 697标准中55.35%的交通信息基础数据元。将该结构在交通运输信息数据标准符合性检测中进行了应用。试点工程应用表明:基于层次结构的数据元将标准符合性检测的数据名称的对应率提高了17.38%;在交通信息基础数据元标准的修订中,采纳了该层次结构模型,有效地规范了数据元的编制工作,该模型在数据元标准的建立和应用方面都具有明显的作用。 展开更多
关键词 交通工程 交通信息基础数据元 层次结构模型 标准符合性检测
原文传递
论合规缓诉 被引量:1
19
作者 刘品新 《政法论坛》 CSSCI 北大核心 2024年第1期91-101,共11页
涉案企业合规包括基于刑事诉讼终结与中止的两种范式,后者在当前我国相关试点中普遍被无意识地弃用。而无论是从法条教义分析还是从实践案例解析来看,现行法律存在以“审理中止”方式开展涉案企业合规的制度基础,蕴含着“提起公诉、建... 涉案企业合规包括基于刑事诉讼终结与中止的两种范式,后者在当前我国相关试点中普遍被无意识地弃用。而无论是从法条教义分析还是从实践案例解析来看,现行法律存在以“审理中止”方式开展涉案企业合规的制度基础,蕴含着“提起公诉、建议审理中止→监督合规整改”模型的适用空间。据此,可以抽象出以企业合规整改不能在短期内完成为由、从而启动审理中止的“合规缓诉”方案。此方案在中国现阶段实施虽存在一定限制,但已具有同国外流行的各种合规暂缓起诉做法可比肩的联系、共性与个性。面向未来,我国还应当拓展出囊括“审查起诉中止→监督合规整改”“(补充)侦查中止→监督合规整改”在内的完全方案,并借助修法契机打造高级版的合规缓诉。 展开更多
关键词 企业合规 合规缓诉 暂缓起诉协议 审理中止 合规考验期
原文传递
基于决策级数据融合的可靠性综合验证方法 被引量:6
20
作者 李进 赵宇 黄敏 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2010年第5期576-579,共4页
可靠性验证试验是检验产品的可靠性水平是否达到要求而进行的试验,是一项重要的可靠性活动.价格昂贵或者可靠性水平较高的设备,按照经典的抽样方案进行试验,时间和费用几乎是不能承受的.为了解决上述实际问题,针对成功率的抽样检验方案... 可靠性验证试验是检验产品的可靠性水平是否达到要求而进行的试验,是一项重要的可靠性活动.价格昂贵或者可靠性水平较高的设备,按照经典的抽样方案进行试验,时间和费用几乎是不能承受的.为了解决上述实际问题,针对成功率的抽样检验方案,利用证据理论方法,研究了基于研制试验数据、可靠性评估结果和专家信息的基本可信度分配函数的构建方法,并给出了基于决策级数据融合的可靠性综合验证试验模型.同时,对可靠性综合验证模型的性质进行了讨论,确定了可靠性综合验证试验方案的存在性,并提出了方案的选取原则.模型可以广泛地利用研制信息,并可以统一给出基于不同分布类型和不同信息的可靠性综合验证试验方案.通过示例表明该方法可以利用各种研制信息,达到减少可靠性验证试验样本的目的. 展开更多
关键词 可靠性验证试验 数据融合 决策级 二项分布
下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部