东篱科研大数据发现系统（DRDS）

位置：成果数据库 > 期刊 > 期刊详情页

可信平台模块自动化测试研究

期刊名称：计算机研究与发展
时间：0
页码：1839-1846
语言：中文
分类：TP309[自动化与计算机技术—计算机系统结构;自动化与计算机技术—计算机科学与技术] TP301[自动化与计算机技术—计算机系统结构;自动化与计算机技术—计算机科学与技术]
作者机构：[1]武汉大学计算机学院,武汉430072, [2]武汉大学空天信息安全与可信计算教育部重点实验室,武汉430072, [3]武汉大学软件工程国家重点实验室,武汉430072
相关基金：基金项目：国家自然科学基金项目（60673071,60743003,90718005,90718006）;国家“八六三”高技术研究发展计划基金项目（2007AA012411,2006AA012442）
相关项目：面向威胁的软件可信性分析模型

作者：张焕国|詹静|

关键词：可信计算, 可信平台模块, 自动化测试工具, 一致性测试, 状态机建模, trusted computing, trusted platform module （TPM）, automated testing tool, conformance testing, state machine model

中文摘要：

可信平台模块（trusted platform module,TPM）是信息安全领域新发展趋势可信计算的关键部件,对其进行规范符合性测试非常有必要.由于传统测试方法与经验无法满足精确、易被机器处理的测试要求,状态机理论可为符合性测试的正确性提供理论基础,但易于产生状态爆炸问题.因此,基于TPM规范进行了一致性测试建模,提出相应策略提高测试效率,建立了TPM自动化测试工具.该工具能基于数据库自动生成测试用例,根据状态图进行一致性测试或自定义测试,达到过程可视化的效果.针对待测试产品得出了较为全面一致性结论和基本安全分析,为今后的可信产品安全性测试打下基础.

英文摘要：

Trusted computing is a new paradigm to improve client security on today＇s general architecture platforms and it uses a hardware chip as a key component, called trusted platform module （TPM） to achieve the goal. As there are already many related products on the market, it is very necessary to have conformance testing. However, traditional testing methods and experiences can＇t meet the testing requirements in a form that make product evaluation to be precisely and automatically processed by machines. A conformance testing model based on the state machine theory is proposed as a solid foundation for testing correctness. Furthermore, related testing strategies based on specification are proposed in order to deal with the state space explosion problem which is a major obstacle reducing practicality of the state machine theory based testing methods. Automated testing tool is also designed and implemented correspondingly to improve the efficiency and accuracy. The tool can generate test suits automatically based on database and customize testing sequences based on the state graph according to user＇s requirements. It can achieve process visualization and testing results for the conformance testing that can be used by future security evaluation on trusted computing platform products.

同期刊论文项目