搜索结果: 1-6 共查到“计算机科学技术基础学科 测试方法”相关记录6条 . 查询时间(0.191 秒)
认证性建立通信双方的信任关系，是安全通信的重要保障.传统的协议测试方法只关注协议功能的正确性，无法满足认证性等安全属性测试的要求.因此，提出了一种针对协议认证性的安全属性测试方法，利用带目标集合的有限状态机模型SPG-EFSM来扩展描述协议安全属性，并在攻击场景分类的基础上设计了认证攻击算法.通过攻击算法找到了Woo-lam协议和μTESLA协议的认证性漏洞，该方法具有可行性、覆盖率高等特点.
规约变异测试从软件功能的角度，对规约进行分析，从而揭示规约中存在的问题。本文提出一种基于UML状态图的变异测试方法，针对每种变异算子，分析其是否会引入冲突，进而有效避免不合理的变异操作；分析了每种变异算子产生等价变异体的条件，能够在生成变异体的同时检测并移除等价变异体，进而减少其对测试过程的影响；给出了杀掉每种变异体所需满足的条件，可在此基础上产生杀掉特定变异体所需的测试用例，从而提高测试用例集的...
对面向服务架构(SOA)测试的困难性和研究现状进行分析，提出一种基于业务数据的大型企业SOA测试方法。在集成环境下，采用大量历史的真实业务数据作为测试用例，并编制输入/输出表检测业务流程的正确性。案例分析表明，该方法在实际项目中具有较强的 可操作性，适用于大型企业的SOA测试。
认证测试方法的改进及应用
串空间 认证测试 主体关联度
2009/11/4
基于串空间模型的认证测试方法被证明是一种分析认证协议的有效工具，为了使之适用于类型更多、规模更大的安全协议，并提高其在协议的认证性、可达性、机密性、非否认性、会话密钥的新鲜性及主体间的关联度上的分析能力，对原有的认证测试方法进行改进，充分利用消息格式，细化分析步骤，增添相关符号以分析复杂协议的更多安全特性。利用该方法能缩减模型检测自动化工具的搜索范围，在解决空间爆炸问题的同时有效地找到多方协议的具...
基于加速剖面的软件防危性验证测试方法
防危性验证 软件测试 加速剖面
2009/7/31
在严格区分软件防危性和可靠性的基础上，提出一种基于加速剖面的软件防危性验证测试方法。该方法通过系统性的防危分析，构建软件加速剖面，根据重要性取样原理求得测试加速因子，能在减少测试代价的同时实现对软件防危性指标的高可信验证测试。