面向安全苛求软件的测试用例自动生成

• 作者: 喻刚 徐中伟 章文婷
• 来源期刊: 计算机应用研究
• 关键词: 安全苛求软件 测试用例自动生成 安全覆盖准则
• 年，卷（期）: 2009,（1）
• 所属期刊栏目: 软件技术研究
• 页码范围: 140-142,174
• 页数: 4页
• 分类号: TP311.56
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2009.01.045

摘要

测试用例的自动生成是验证安全苛求软件最关键的技术问题,然而目前的研究并没有充分考虑安全苛求软件的安全性需求,为此提出一种应用安全覆盖准则的安全苛求软件的测试用例自动生成策略,将该策略应用于铁路车站计算机连锁软件,并与全节点覆盖准则进行了比较.结果表明该策略对关键变迁有更高的安全性保证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐中伟	同济大学电子与信息工程学院	95	644	13.0	20.0
2	喻刚	同济大学电子与信息工程学院	4	15	2.0	3.0
3	章文婷	同济大学电子与信息工程学院	3	14	2.0	3.0