基于需求的软件可靠性设计方法研究.pdfVIP

基于需求的软件可靠性设计方法研究 李强钟晓峰吴高洁晁冰 (合肥电子工程学院) 摘要本文在分析通用功能软件的故障特性基础之上，提出了基于软件故障类型软件可靠性设计方法。 关键词 需求软件软件可靠性软件可靠性设计 定义2：通用功能软件故障特性 1引言 将通用功能软件所具有的故障特性称为通用功能软件 在信息技术高速发展的现代社会，计算机扮演了极其重 故障特性。 要的角色。如果计算机系统特别是计算机软件系统经常失 通用功能软件的功能在进行软件需求分析时是可以获 效，那么我们的社会将是非常脆弱的。因此，人们对计算机 取的，其软件缺陷的类型通过分析是可以获取的，这些缺陷 系统可靠性特别是软件可靠性的要求越来越高。由于硬件 在软件运行过程中导致软件故障是可以分析的，通用功能软 设备价格的大幅度降低，使得采用冗余技术解决可靠性问题 件故障特性主要有： 成为可能，因此硬件缺陷对系统可靠性的影响町以大大降 输入的数据类剖和范围与数据输入的要求不一致，产生 低。与此相反，软件可靠性的问题还没有一个很好的解决方 出错或造成系统崩溃的故障。 法。在大多数应用中，计算机系统对软件缺陷是极其敏感 用户操作顺序与数据输入、数据处理等所要求的顺序不 的。但同时由于软件自身的复杂性，软件可靠性相对于硬件 一致，造成系统崩溃的故障。 可靠性而言，就更加难以控制。而当今计算机系统的软件通 读取文件时，文件的数据格式、文件结构与数据输入、数 常是庞大、复杂的，因此就难免存在缺陷。软件可靠性问题 据处理等所要求的不相同，造成系统崩溃的故障。 已成为人们迫切需要解决的一个问题。 从数据库中渎取数据时，当所要处理的数据馈很大且 现有的软件可靠性的设计是在软件设计之中或完成软 超过了系统虚拟内存量，导致系统崩溃或系统运行效率低 件设计之后才进行的。研究表明，大量的软件缺陷是在软件 的故障。 需求分析和软件设计阶段引入的。比如，在完成软件数据输 一个系统中的多个相互独市的子系统进行数据交互时， 入功能的需求分析后，应提出对完成软件数据输人功能的模 子系统的数据存储格式与数据存储所要求的格式不一致或 块进行输入数据类型、范围是否符合需求和设计要求进行检 各子系统的数据存储格式小统一，导致系统故障或崩溃的 故障。 验的需求，如果没有提出这样检验的需求，就不可能作这样 大量计算的近似误差或数据类型表示与数据处理的要 检验的设计，该软件模块留下缺陷是必然的了，这样的软件 求不一致，导致系统故障或崩溃的故障。 也就不可靠，运行时就会发牛故障。可见，没有进行可靠性 使用了未分配的内存或使用了已分配但未初始化的内 设计或者可靠性设计滞后是造成软件不可靠的重要原因。 存或操作内存越界或使用内存之后未释放或继续使用已释 而研究基于需求的可靠性设计方法，就是要将软件开发过程 放了的内存，或者导致系统崩溃或者造成内存泄漏的故障。 中，在对软件进行需求分析的同时，提出软件的可靠性需求。 数据的存储超过了数据库存储空间的要求，