共查询到10条相似文献,搜索用时 15 毫秒
1.
构件集成到应用环境中实施集成测试时,会与其它构件产生相应的依赖关系.本文在对这些依赖关系进行概述的基础上,给出了构件直接依赖图、构件间接依赖图和构件依赖图的定义,并依据这些定义,提出了构件依赖矩阵(CmDM)的概念,用以描述构件Cm与构件系统中其它构件之间的依赖关系,接着进一步定义了复杂依赖关系矩阵(CmDDM),用以对依赖关系矩阵(CmDM)进行更为详细的描述.对依赖矩阵方法在回归测试、构件变更处理和软件重用的应用方法进行了形式化的描述,进一步将基于依赖关系矩阵的方法应用于学校内部开发的构件RegisterStuGrade 中,并另外选取了三个与之有关的构件,对其依赖关系进行分析,建立相应的构件依赖关系矩阵和复杂依赖关系矩阵,并与Orso方法、Spec方法(基于规范说明的方法)所生成的测试用例对于构件RegisterStuGrade源代码的覆盖情况进行了对比,从而证明了本方法的有效性. 相似文献
2.
3.
在安全操作系统中,通常采用了多种访问控制模型来保证静态客体的内容的机密性和完整性.但是,传统的访问控制政策不能保证静态客体内容的真实性.因此,安全操作系统中的客体并不可信.本文首先分析了操作系统中客体的类型,总结了安全操作系统中对静态客体的处理存在的问题,提出可信静态客体的概念并分析其特点.为了保证可信静态客体内容的真实性,提出了基于TPM的静态客体可信验证系统.该系统将生成可信静态客体的映像文件,映像文件记录某可信静态客体的来源、各次处理行为和内容变化的签名并存于TPM中.最后对该可信验证系统进行了安全和性能分析.分析表明,该可信验证系统可以保证可信静态客体内容的真实性,为进一步建立可信计算环境提供了基础. 相似文献
4.
5.
开端协议(Open-ended Protocol)的分析是安全协议领域中一个待解决的重要问题,而IKE则是一个有代表性的具有"开端"结构的安全协议.本文基于串空间的Athena方法,针对IKEv2协议中的"开端"结构涉及的DH(Diffie-Hellman)问题,增加了群、散列函数等原语,给出并证明了一个新的消减规则;针对"开端"结构,引入了集合的数学概念,建立了新的消息类型,重新定义了串空间中的消息项、替换、入侵者模型,以及Athena相应的内在项、目标和目标绑定,给出了一个新的替代关系.应用扩展后的方法,分析了协议,发现一个新的认证性缺陷,给出了解决该缺陷的方法. 相似文献
6.
目的:建立测定头孢克肟片含量的近红外光谱(NIR)快速分析分析.方法:以全国不同企业生产的头孢克肟片为分析对象,用光纤探头测定近红外漫反射光谱;定量模型的预处理方法为一阶导数与矢量归一化,波数范围为11995.2~7498cm-1和5453.8~4597.5 cm-1,采用偏最小二乘回归算法(PLS).结果:定量分析模型由76个样品经内部交叉验证建立,40个样品用于外部验证,浓度范围为13.5%~54.2%,相关系数为0.9894,交叉验证均方差(RMSECV)为1.53%,相对偏差小于5%.结论:该方法快速、简便,具有一定的专属性,可用于药品的快速检验. 相似文献
7.
现有TCP协议的拥塞控制机制存在很多不足,XCP(eXplicit Control Protocol)协议采用显式反馈的方式有效地克服了这些缺陷.XCP协议能容忍数据流之间一定的RTT差异,但当这种差异超出一定范围时,XCP协议性能恶化,变得不稳定.通过分析XCP协议路由控制周期与数据流RTT的关系,提出了一种控制周期根据RTT差异程度而自适应调整的方法,消除了系统振荡.仿真数据表明,该方法能有效地提高XCP协议在数据流RTT差异较大的环境下的鲁棒性,同时不给路由器带来过大的计算负担. 相似文献
8.
目的:探讨修订版甲基苯丙胺渴求量表(MA craving scale)在甲基苯丙胺成瘾戒毒人员中的适用性.方法:以460名甲基苯丙胺类成瘾的戒毒人员为施测对象,对数据进行项目分析、探索性因素分析和验证性因素分析.结果:修订版甲基苯丙胺渴求量表共包含5个因子,总量表与分量表的内部一致性系数0.62~0.73之间,重测信度... 相似文献
9.
探讨了非否认协议的保密性认证目标,用攻击的方法验证了A(0)协议在认证保密性方面的不足;对其消息格式和会话密钥建立后确认方式做了修改,提出了NA(0)协议;进一步运用SVO逻辑对NA(0)协议进行了形式化的分析,验证了NA(0)协议满足主体身份的认证性和会话密钥的保密性. 相似文献