通用的安全苛求软件安全性测试方法

摘要：

传统的测试脚本语言与测试策略不能满足安全苛求软件系统的测试需求,针对该问题,基于安全苛求软件测试的需求提出一种安全性测试方法,使用场景-事件驱动的安全性测试策略,设计基于该策略的安全性测试脚本语言.高速铁路既有线车站列控中心软件的安全性仿真测试结果证明了该方法的有效性.

关键词：安全苛求软件、自动化测试、安全性测试

所属期刊栏目：36

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目60674004;铁道部科技研究开发计划基金资助项目2008X003-A,2009X002-A

在线出版日期：2010-10-29（万方平台首次上网日期，不代表论文的发表时间）

页数：共2页

页码：28-29