|
|||||
|
|
| 通用的安全苛求软件安全性测试方法 | |
| 引用本文： | 喻钢,熊静,徐中伟.通用的安全苛求软件安全性测试方法[J].计算机工程,2010,36(17):28-29. |
| 作者姓名： | 喻钢 熊静 徐中伟 |
| 作者单位： | 1. 上海大学悉尼工商学院,上海,201800;同济大学电子与信息工程学院,上海,201804 2. 上海工程技术大学航空运输学院,上海,201620 3. 同济大学电子与信息工程学院,上海,201804 |
| 基金项目： | 国家自然科学基金，铁道部科技研究开发计划基金 |
| 摘 要： | 传统的测试脚本语言与测试策略不能满足安全苛求软件系统的测试需求，针对该问题，基于安全苛求软件测试的需求提出一种安全性测试方法，使用场景-事件驱动的安全性测试策略，设计基于该策略的安全性测试脚本语言。高速铁路既有线车站列控中心软件的安全性仿真测试结果证明了该方法的有效性。 |
| 关 键 词： | 安全苛求软件 自动化测试 安全性测试 |
General Safety Test Method of Safety-critical Software |
|
| YU Gang,XIONG Jing,XU Zhong-wei.General Safety Test Method of Safety-critical Software[J].Computer Engineering,2010,36(17):28-29. | |
| Authors: | YU Gang XIONG Jing XU Zhong-wei |
| Affiliation: | (1. Sydney Institute of Language and Commerce, Shanghai University, Shanghai 201800; 2. College of Electronics and Information Engineering, Tongji University, Shanghai 201804; 3. School of Air Transportation, Shanghai University of Engineering Science, Shanghai 201620) |
| Abstract: | |
| Keywords: | safety-critical software automatic test safety test |
| 本文献已被 维普 万方数据 等数据库收录！ | |
| 点击此处可从《计算机工程》浏览原始摘要信息 | |
| 点击此处可从《计算机工程》下载全文 | |
