密码芯片测试流程分析与验证方法研究
发布时间：2021-01-22 22:22
密码芯片测试在电气、物理特性等基本参数的测试基础上,还需要对其密码服务功能和性能进行测试。由于密码芯片种类多、测试内容不尽相同、测试流程差异大,采用传统方法构建测试系统,测试软件设计复杂,适应性不强;采用过程管理思想构建基于流程管理的测试软件系统,能够提高对测试对象的适应性、降低系统设计难度与维护成本。本文针对基于流程管理的密码芯片测试系统中测试流程的规范描述问题、测试流程的良构性分析验证问题,设计了密码芯片测试系统测试流程三维描述模型,提出了基于Petri网的测试流程活性分析方法和基于完备树的测试流程或分支完整性验证方法。1.为了支持测试系统中测试流程规范描述,设计了密码芯片测试系统测试流程三维描述模型。在分析密码芯片测试系统密码服务功能与性能测试流程描述需求的基础上,参照国际标准ATML,设计了包含控制过程元模型、测试资源元模型、数据元模型的三维测试流程描述模型。同时给出了三维模型的图示化表示,支持测试流程的可视化定义和编辑;给出了三维模型的XML描述,支持测试流程系统存档。实例分析表明,三维描述模型可用于密码芯片密码服务功能与性能测试流程的规范描述,支持密码芯片测试软件设计,提高...
【文章来源】：战略支援部队信息工程大学河南省
【文章页数】：95 页
【学位级别】：硕士
【文章目录】：
摘要
Abstract
第一章 绪论
1.1 研究背景
1.2 研究内容
1.3 论文结构安排
第二章 密码芯片测试技术
2.1 密码芯片测试
2.1.1 芯片测试内容与方法
2.1.2 密码芯片密码测试内容与方法
2.1.3 密码芯片测试的特点
2.2 基于流程管理的密码芯片测试
2.2.1 过程管理
2.2.2 基于流程管理的密码芯片测试系统组成结构
2.2.3 基于流程管理的密码芯片测试原理
2.3 过程模型建模方法与良构性分析技术
2.3.1 密码芯片测试系统中需要解决的问题
2.3.2 四种过程描述模型建模方法
2.3.3 过程良构性分析验证技术
2.4 本章小结
第三章 测试流程三维描述模型
3.1 测试流程实例分析
3.1.1 流程设计核心思想
3.1.2 流程实例
3.2 测试流程描述模型的需求分析
3.2.1 基本需求
3.2.2 扩展需求
3.3 测试流程三维描述模型
3.3.1 三维描述模型的组成及其相互关系
3.3.2 控制过程元模型
3.3.3 测试资源元模型
3.3.4 数据元模型
3.4 测试流程良构性约束规则
3.5 三维模型描述实例
3.6 本章小结
第四章 基于Petri网的测试流程活性分析
4.1 测试流程活性问题
4.2 使用Petri网的原因分析
4.3 测试流程模型转换
4.3.1 转换思路
4.3.2 转换规则
4.3.3 活性一致性分析
4.4 测试流程活性分析应用实例
4.5 本章小结
第五章 基于完备树的测试流程或分支完整性验证
5.1 测试流程中或分支完整性问题
5.2 或分支完整性验证原理过程
5.3 完备树的构造
5.4 或分支完整性的验证
5.5 或分支完整性验证应用实例
5.6 本章小结
第六章 总结与展望
6.1 工作总结
6.2 研究展望
致谢
参考文献
作者简历
附录A
附录B
附录C
【参考文献】：
期刊论文
[1]基于分组密码的认证加密工作模式[J]. 张平,陈长松,胡红钢. 信息网络安全. 2014(11)
[2]基于流程节点的流程优化技术研究[J]. 刘少敏,赵青,刘年锋. 中小企业管理与科技(上旬刊). 2012(01)
[3]基于混沌的序列密码算法[J]. 张涛. 计算机应用. 2010(05)
[4]工作流业务规则语义的完整性验证技术[J]. 李海波,战德臣,徐晓飞. 计算机研究与发展. 2009(07)
[5]IC测试原理-芯片测试原理[J]. 许伟达. 半导体技术. 2006(07)
[6]一种新的Iddq故障定位算法研究[J]. 张兰,徐红兵. 电子科技大学学报. 2004(02)
[7]工作流合理性验证中的事件平衡分析[J]. 罗海滨,范玉顺,吴澄. 软件学报. 2002(08)
[8]基于Petri网化简方法的工作流模型验证[J]. 李建强,范玉顺. 信息与控制. 2001(06)
[9]工作流技术综述[J]. 罗海滨,范玉顺,cims.tsinghua.edu.cn,吴澄. 软件学报. 2000(07)
[10]一个基于Web的工作流管理系统[J]. 史美林,csnet4.cs.tsinghua.edu.cn,杨光信,csnet4.cs.tsinghua.edu.cn,向勇,csnet4.cs.tsinghua.edu.cn,伍尚广,csnet4.cs.tsinghua.edu.cn. 软件学报. 1999(11)
博士论文
[1]工作流过程模型的层次研究及其分析[D]. 王斌君.西北大学 2002
硕士论文
[1]基于XML的异构数据转换技术研究[D]. 綦娜娜.山东大学 2011
[2]关于HDL测试的研究[D]. 程栋.湖南大学 2003
本文编号：2994009
【文章来源】：战略支援部队信息工程大学河南省
【文章页数】：95 页
【学位级别】：硕士
【文章目录】：
摘要
Abstract
第一章 绪论
1.1 研究背景
1.2 研究内容
1.3 论文结构安排
第二章 密码芯片测试技术
2.1 密码芯片测试
2.1.1 芯片测试内容与方法
2.1.2 密码芯片密码测试内容与方法
2.1.3 密码芯片测试的特点
2.2 基于流程管理的密码芯片测试
2.2.1 过程管理
2.2.2 基于流程管理的密码芯片测试系统组成结构
2.2.3 基于流程管理的密码芯片测试原理
2.3 过程模型建模方法与良构性分析技术
2.3.1 密码芯片测试系统中需要解决的问题
2.3.2 四种过程描述模型建模方法
2.3.3 过程良构性分析验证技术
2.4 本章小结
第三章 测试流程三维描述模型
3.1 测试流程实例分析
3.1.1 流程设计核心思想
3.1.2 流程实例
3.2 测试流程描述模型的需求分析
3.2.1 基本需求
3.2.2 扩展需求
3.3 测试流程三维描述模型
3.3.1 三维描述模型的组成及其相互关系
3.3.2 控制过程元模型
3.3.3 测试资源元模型
3.3.4 数据元模型
3.4 测试流程良构性约束规则
3.5 三维模型描述实例
3.6 本章小结
第四章 基于Petri网的测试流程活性分析
4.1 测试流程活性问题
4.2 使用Petri网的原因分析
4.3 测试流程模型转换
4.3.1 转换思路
4.3.2 转换规则
4.3.3 活性一致性分析
4.4 测试流程活性分析应用实例
4.5 本章小结
第五章 基于完备树的测试流程或分支完整性验证
5.1 测试流程中或分支完整性问题
5.2 或分支完整性验证原理过程
5.3 完备树的构造
5.4 或分支完整性的验证
5.5 或分支完整性验证应用实例
5.6 本章小结
第六章 总结与展望
6.1 工作总结
6.2 研究展望
致谢
参考文献
作者简历
附录A
附录B
附录C
【参考文献】：
期刊论文
[1]基于分组密码的认证加密工作模式[J]. 张平,陈长松,胡红钢. 信息网络安全. 2014(11)
[2]基于流程节点的流程优化技术研究[J]. 刘少敏,赵青,刘年锋. 中小企业管理与科技(上旬刊). 2012(01)
[3]基于混沌的序列密码算法[J]. 张涛. 计算机应用. 2010(05)
[4]工作流业务规则语义的完整性验证技术[J]. 李海波,战德臣,徐晓飞. 计算机研究与发展. 2009(07)
[5]IC测试原理-芯片测试原理[J]. 许伟达. 半导体技术. 2006(07)
[6]一种新的Iddq故障定位算法研究[J]. 张兰,徐红兵. 电子科技大学学报. 2004(02)
[7]工作流合理性验证中的事件平衡分析[J]. 罗海滨,范玉顺,吴澄. 软件学报. 2002(08)
[8]基于Petri网化简方法的工作流模型验证[J]. 李建强,范玉顺. 信息与控制. 2001(06)
[9]工作流技术综述[J]. 罗海滨,范玉顺,cims.tsinghua.edu.cn,吴澄. 软件学报. 2000(07)
[10]一个基于Web的工作流管理系统[J]. 史美林,csnet4.cs.tsinghua.edu.cn,杨光信,csnet4.cs.tsinghua.edu.cn,向勇,csnet4.cs.tsinghua.edu.cn,伍尚广,csnet4.cs.tsinghua.edu.cn. 软件学报. 1999(11)
博士论文
[1]工作流过程模型的层次研究及其分析[D]. 王斌君.西北大学 2002
硕士论文
[1]基于XML的异构数据转换技术研究[D]. 綦娜娜.山东大学 2011
[2]关于HDL测试的研究[D]. 程栋.湖南大学 2003
本文编号：2994009
本文链接：https://www.wllwen.com/shekelunwen/renwuzj/2994009.html
