| 面向安全苛求软件的测试用例自动生成 |
| |
| 引用本文： | 章文婷,徐中伟,喻刚. 面向安全苛求软件的测试用例自动生成[J]. 计算机应用研究, 2009, 26(1): 140-142. DOI: 10.3969/j.issn.1001-3695.2009.01.045 |
| |
| 作者姓名： | 章文婷 徐中伟 喻刚 |
| |
| 作者单位： | 同济大学,电子与信息工程学院,信通系,上海,201804;同济大学,电子与信息工程学院,信通系,上海,201804;同济大学,电子与信息工程学院,信通系,上海,201804 |
| |
| 基金项目： | 国家自然科学基金资助项目(60674004) |
| |
| 摘 要： | 测试用例的自动生成是验证安全苛求软件最关键的技术问题，然而目前的研究并没有充分考虑安全苛求软件的安全性需求，为此提出一种应用安全覆盖准则的安全苛求软件的测试用例自动生成策略，将该策略应用于铁路车站计算机连锁软件，并与全节点覆盖准则进行了比较。结果表明该策略对关键变迁有更高的安全性保证。
|
| 关 键 词： | 安全苛求软件 测试用例自动生成 安全覆盖准则 |
Automated test data generation for safety critical software |
| |
| ZHANG Wen-ting,XU Zhong-wei,YU Gang. Automated test data generation for safety critical software[J]. Application Research of Computers, 2009, 26(1): 140-142. DOI: 10.3969/j.issn.1001-3695.2009.01.045 |
| |
| Authors: | ZHANG Wen-ting XU Zhong-wei YU Gang |
| |
| Abstract: | Automated test data generation is the most crucial technology to evaluate safety-critical software. However, the current thesis are not fully considered the safety requirement of safety-critical software, therefore the paper presented an automated test data generation strategy for safety-critical software using safety coverage criteria. At last applied the strategy to the railway station computer interlocking software. Compared with all nodes coverage criteria, it shows that has higher safety guarantee to critical transition. |
| |
| Keywords: | safety critical software automated test data generation safety coverage criteria |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机应用研究》浏览原始摘要信息 |
|
点击此处可从《计算机应用研究》下载全文 |
|
