基于化学抽象机的构件安全性测试方法

扫码查看

原文链接

中国科技论文在线

中文摘要：构件特别是第三方构件的安全性是影响构件技术发展的重要因素之一。但目前在构件安全漏洞的测试方法和技术方面研究还不够深入。构件的安全性问题仍然没有得到较好的解决。针对构件显式及隐式安全异常，提出了一种基于化学抽象机的构件安全测试方法。方法首先给出了构件的扩展化学抽象机模型，然后根据模型导出构件状态迁移树并生成测试序列，进一步结合接口错误注入方法测试构件显式安全异常。同时，给出了构件条件变异及状态变异算法。根据给定的算法对生成的测试序列进行变异测试，以测试构件隐式安全异常，并根据测试结果得出构件安全异常报告。最后在一集成测试平台中实现了该方法，同时做了大量实验，并和FUZZ法及接口错误注入法进行了对比分析。实验结果表明所提出的测试方法不但能有效检测构件显式安全异常，而且对构件隐式安全漏洞也具有较好的检测效果。

外文标题：omponent Security Testing Approach Based on Extended Chemical Abstract Machine

外文关键词：

omponent security testingTesting sequenceChemical abstract machineCondition mutationState mutation

作者：

卢炎生、王环环、陈锦富

展开 >

学科分类：

自动化技术、计算机技术(计算技术、计算机技术)

关键词：

构件安全测试测试序列化学抽象机条件变异状态变异

首发时间：2011-10-14