软件安全性测试.pptVIP

The State Key Laboratory of Software Engineering The State Key Laboratory of Software Engineering * 软件安全性测试 Software Safety Testing 徐仁佐 软件工程国家重点实验室(武汉大学) xurenzuo@sklse.org 软件的问题大多是因为“异常”引起 软件中的“边界值”问题 ? 控制参量 ? 循环次数 不少的事故是因为对“异常”注意不够 ? 试飞时的操纵杆问题设计异常 ? 输入时的小数点问题行为异常 ? 数据类型错误使用异常 出现故障以后,人们总爱说: “哎呀,真没想到!” 为什么事先没想到呢? 事后人们的表现—后悔、懊恼 人类总习惯于“正常思维” 总是忽略对“异常”的警惕 其实,“异常”是“正常”的对立统一, 是比“正常”范畴更大的、在设计、实现、测试软件时应给予更多关注的方面. “正常”范畴 A B A: 正常域 B: 全域 B-A: 异常域 软件是什么? 软件是将人类目前认为正确的知识,按计算机能理解的方式、按一定的语法规则,转换成计算机可执行的一系列指令,让计算机代替人进行某些脑力劳动(如:计算、判断、信息的存取与变换、信息交换,等). 如果将计算机的硬件及其外围设备比做一个人的躯体和四肢，那么，计算机软件就好比是人的神经、思想和灵魂. 我们能够想象,如果一个人的身体某些器官工作不可靠，他还能够应付外来的侵害吗？ 中文的“安全”一词,在English中主要有两个词和它对应: Safety: The condition of being safe; freedom from danger, risk, or injury. Security: Freedom from risk or danger. 可见,仅用“Security”不能涵盖“安全”的全部含义. 必须增加“Safety”的相应概念. Safety: The condition of being safe 可靠性是其基础 (修炼深厚内功) Security: Freedom from risk or danger Robust是其基础 (外习上乘武功) 严重故障的后果: 生态环境的破坏 财产的重大损失 宝贵生命的伤亡 软件安全性证明的两个方面: ? 表明软件的故障不可能发生,即,在采取 措施之后,软件不可能进入不安全状态或不可能导致系统进入不安全状态(Security). ? 表明即使发生软件故障,该故障也不是危险的(Safety). 软件安全性测试的任务: 排除软件中可能引发严重后果的错误. 软件安全性测试技术: 顶事件驱动的故障树分析法. 顶事件与顶事件表: 处于故障树顶层的、严重后果的软件故障,称为顶事件. 所有顶事件的集合,称为顶事件表. 要求: 顶事件表中的每一个顶事件将有 一个故障树与之对应. 软件规模较小的故障树的作法： 根据程序中各语句的逻辑关系，分析顶事件的发生主要可能是哪些语句或模块所造成的; 并进一步往下进行分析直到某条语句或某个条件时为止; 根据所有的逻辑关系就可以画出它的故障树. 根据故障树确定顶事件的发生是由哪条语句发生错误或哪些条件组合而引起的，我们就可以根据这些分析的结果着重设计软件可靠性稳定增长测试和软件安全性测试的测试计划，并进一步选取合适的测试用例集合。 对大型软件的安全性分析采取的办法： 采取分层构造软件故障树的方法，也就是对程序的各个子功能模块进行分析，这样不仅建树和分析比较容易，而且可以找出软件的关键功能模块，以便对其进行重点分析。 大型软件由很多个功能模块组成，软件要执行一定的任务，根据用户的不同操作，软件将调用不同的模块。因而，应以功能模块作为底事件进行故障树分析。 采取“分而治之”的办法，在不同的层次上进行分析和建立故障树。“底事件”是针对整个软件系统的模块结构而言的，处于最下层的模块均为底事件。 * * * * *