“可信软件基础研究”重大研究计划2014年度项目指南 核心科学问题
本重大研究计划主要围绕以下4个核心科学问题组织实施：
（一）软件可信性度量、建模与预测。
1. 软件可信性度量。
2. 软件可信性的演化与预测。
3．可信软件的风险及过程管理。
（二）可信软件的构造与验证。
1. 可信软件的程序理论与方法学。
2. 可信软件的需求工程。
3. 可信软件设计、构造与编译。
4. 可信软件的验证与测试。
（三）可信软件的演化与控制。
1. 可信软件运行监控机理。
2. 软件可信性动态控制方法。
（四）可信环境的构造与评估。
1. 可信环境的数学理论与信任传递理论。
2. 可信计算环境构造机理及方法。
3. 可信计算环境测评。
可信软件开发与运行保障的集成与验证
（一）可信软件综合试验环境。
（二）高可信嵌入式软件系统试验验证环境。
（三）可信的网络应用软件系统试验验证环境。
视听觉信息的认知计算”重大研究计划2014年度项目指南 核心科学问题
为了实现上述科学目标，本重大研究计划重点研究以下三个核心科学问题：
（一）感知特征提取、表达与整合。
（二）感知数据的机器学习与理解。
（三）多模态信息协同计算。
重点资助的研究方向
（一）脑机接口领域。
研究方向：基于认知机理与无创脑机接口技术的移动式康复系统。
（二）无人驾驶车辆与智能测试领域。
1. 无人驾驶车辆关键技术及平台。
研究方向：面向城区综合环境的无人驾驶车辆关键技术及平台。
研究城区复杂交通流条件下的无人驾驶车辆自主行驶技术及平台。
2. 无人驾驶车辆智能测试。
研究方向：无人驾驶车辆的智能测试标准与评估环境设计。
研究和制定无人驾驶车辆认知能力测试标准和环境设计标准，完成资助期间的年度无人驾驶车辆比赛环境设计与测试标准制定。
（三）认知计算领域。
研究方向：认知计算模型与实验验证。
关于发布“空间信息网络基础理论与关键技术”重大研究计划2014年度项目指南的通告
核心科学问题
（一）空间信息网络模型与高效组网机理。
（二）空间动态网络高速传输理论与方法。
（三）空间信息稀疏表征与融合处理。
重点资助领域和研究方向
（一）空间信息网络模型与高效组网机理。
1.重点支持项目的研究方向（共2项）
（1）天空地一体化导航增强动态自组网模型及应用模式
（2）面向集成演示的系统设计与试验方法
2.培育项目的研究方向（共6项）
（1）空间信息网络体系架构顶层设计
（2）空间信息网络业务特征与流量分析理论
（3）星际互联网络模型、架构与协议
（4）空间信息网络光/电路/分组混合交换理论与机制
（5）空间信息网络任务规划与资源调度
（6）空间信息网络安全体系与关键技术
（二）空间动态网络高速传输理论与方法。
1.重点支持项目的研究方向（共2项）
（1）空间网络超高速通信理论与互联方法
（2）空间多波束动态形成方法与高能效传输机理
2.培育项目的研究方向（共8项）
（1）空间动态网络的传输容量及优化方法
（2）空间高能量效率、高频谱效率的新型编码调制理论
（3）面向动态连接的激光相控通信机理与全光组网方法
（4）空间太赫兹/毫米波等新型空间高速通信技术
（5）空天高动态用户多址接入、切换与传输理论与方法
（6）面向宽带移动通信的平流层大容量用户接入技术
（7）针对遥感大容量信息回传的分布式协作传输与协议模型
（8）高密度短突发航空空地数据宽带传输技术
（三）空间信息稀疏表征与融合处理。
1.重点支持项目的研究方向（共3项）
（1）空间分布式SAR高精度干涉成像基础理论与关键技术
（2）星载多源遥感数据在轨变化检测与典型目标提取的关键理论与方法 （3）任务驱动的遥感数据星地协同高效处理机制与方法
2.培育项目的研究方向（共7项）
（1）空间平台震颤对成像的影响及补偿方法
（2）时敏目标天/空在线检测与识别
（3）基于特征的图像感知压缩方法
（4）基于相对论的精密时空基准研究
（5）基于序列图像的在轨导航定位方法
（6）基于星相机恒星影像的对天空中三角测量方法
（7）基于北斗、陀螺、星敏及星相机等技术的高精度组合定轨定姿方法 “可信软件基础研究”重大研究计划2012年度项目指南
资助的研究项目
1. 可信软件理论、方法集成与综合试验平台
研究可信软件理论与方法的集成体系，系统地建立可信软件度量与建模、构造与验证、演化与控制的理论与技术基础，开发可信软件综合试验平台，通过该试验平台可对网络应用软件、嵌入式应用软件的可信性进行度量分析和试验验证。
2. 可信软件系统试验环境与示范应用
以国家重大科技与工程任务为载体，能够反映软件可信性度量、建模与预测、可信软件构造与验证、可信软件的演化与控制以及可信环境的构造与评估的研究成果，形成可信软件开发与运行保障的集成和示范应用平台。重点支持以下两类应用领域和试验环境：
（1）可信嵌入式软件系统试验环境与示范应用
针对嵌入式软件系统中的可信性需求，综合集成可信软件需求分析、构造、验证、测试、监控、运维等理论、方法和技术，研制面向领域的高可信嵌入式软件系统试验环境，并将其应用于解决国家重大科技与工程中的关键技术问题，产生示范效果。
（2）可信网络应用软件系统试验环境与示范应用
针对网络应用软件系统的可信性和服务质量需求，综合集成可信网络软件及可信环境的需求分析、构造、验证、演化、监控、评测及过程管理等理论、方法和技术，研究开发面向领域的可信网络应用软件系统试验环境，并将其应用于解决国家重大科技与工程中的关键技术问题，产生示范效果。
“高性能科学计算的基础算法与可计算建模”重大研究计划2011年度
项目指南
核心科学问题
针对高性能科学计算的发展趋势和国家需求，更好地在本重大研究计划中体现“有所为，有所不为”的原则，根据所凝练的核心科学问题要能够体现基础性、前瞻性、交叉性的要求，本重大研究计划确定以高性能科学计算所涉及的基础算法与可计算建模问题作为研究主线。拟解决的核心科学问题为：
（一）数值计算的共性高效算法。
当前高性能科学计算面临的主要问题之一是如何发展高效高精度算法，以充分发挥高性能计算机的巨大能力，并满足大规模计算实际问题的模拟精度和置信度要求。主要研究内容如下：
1.微分方程高效高精度的格式构造与分析
2.复杂数据处理的快速方法
3.不确定与复杂目标函数的优化方法
针对飞行器设计、天气和气候预测中资料同化、生物分子网络等研究中所出现的优化问题，发展复杂目标函数、随机目标函数、不可精确计算目标函数以及无目标函数的高效优化算法。
（二）基于机理与数据的可计算建模。
瞄准具有多时空尺度、多场耦合、各向异性、非平衡、超高维和不确定性等特征的问题，开展可计算建模研究。主要研究内容如下：
1.典型物理模型的耦合与分析
2.超高维数据的稀疏表达
3.机理与数据的混合建模
（三）问题驱动的高性能计算与算法评价。
1.多物理过程耦合条件下的数值模拟与算法评价
2.基于数据提取和分析的计算与算法评价
3.模型和数据互补的计算与算法评价
拟重点资助的研究方向和研究项目
1.共性随机算法与数学理论
2.极端条件下物理过程的可计算建模与算法
3.气候预测的陆面过程资料同化的数学方法研究
4.材料物性的耦合模型与算法
5.复杂介质中波传播反问题的理论、快速算法与应用
（二）“培育项目”拟资助的研究方向。
1. 新型有限元、有限体积方法；
2. 保持物理特性的自适应与无网格方法；
3．非线性特征值问题的算法与分析；
4. 适用于大规模异构计算机系统的可扩展新型算法；
5. 强关联多体物理问题的新型计算方法；
6. 多介质大变形流体的高保真算法；
7. 飞行器高雷诺数流场高精度快速算法；
8. 高维数据的低维非线性逼近方法；
9.多层次生物分子网络重构的模型与算法；
10.基于生物分子网络数学模型及算法的疾病诊断、分级和预后；
11.复杂疾病发生发展的恶性转化过程的建模；
12.基于机理与数据的可计算建模与算法；
13.难以计算的具体问题的可计算建模与算法探索。
“视听觉信息的认知计算”重大研究计划2011年度项目指南
核心科学问题
（一）图像与视觉信息计算。
（二）语音与听觉信息计算。
（三）脑—机接口。
关键技术与集成验证平台
（一）视听觉信息计算的关键技术。
（二）与视听觉认知相关的脑―机接口关键技术。
（三）驾驶行为建模与无人驾驶车辆控制技术。
（四）无人驾驶车辆集成验证平台。
拟资助的研究项目
（一）视听觉信息处理方面。
1．重点支持项目。
研究方向一：支持无人驾驶车辆的交通标识图文识别与理解
研究方向二：行车环境听觉模型及声音处理关键技术
2．培育项目。
基础研究类（（1）-（4））和关键技术研究类（（5）-（6））“培育项目”的研究方向：
（1）动态场景中交通标识快速定位与识别。
（2）交通环境视觉感知要素图提取的计算模型与算法实现。
（3）交通环境全景数据的时空配准和三维视景生成。
（4）交通语音诱导信息的识别与无人驾驶车辅助行驶路径规划。
（5）多视点视频数据协同的交通场景感知与实现技术。
（6）复杂动态环境中视觉显著性目标检测与分析。
（二）脑—机接口方面。
1．重点支持项目。
研究方向一：面向脑—机接口的视听觉范式与脑机制
研究方向二：双向多维脑—机接口关键技术
2．培育项目。
基础研究类（（1）-（4））和关键技术研究类（（5）-（6））“培育项目”的研究方向：
（1）驾驶行为的脑认知功能定位。
（2）驾驶过程中视点凝视与眼动的动态交互机理。
（3）运动场景的认知动力学行为。
（4）脑—机接口中的数学问题与方法。
（5）动态环境中基于视觉认知的自学习与导航技术。
（6）面向脑—机接口的信号采集与处理关键技术。
（三）无人驾驶车辆方面。
1．重点支持项目。
研究方向一：基于视听觉信息的多车行为交互与无人协同驾驶
研究方向二：面向城区综合环境的无人驾驶车辆关键技术及平台
研究方向三：无人驾驶车辆控制方法及系统实现技术
2．培育项目。
该方面只设基础研究类“培育项目”。
基础研究类“培育项目”的研究方向：
（1）基于交通诱导与移动网络服务的无人驾驶车辆认知导航。
（2）多缩微车交互与智能交通模拟：
（3）无人驾驶车辆鲁棒机动控制方法。
（4）面向无人驾驶车辆环境感知或控制的数学问题与方法。
（四）无人驾驶车辆认知能力测试与评估方面。
该方面只设关键技术研究类“培育项目”。
关键技术研究类“培育项目”的研究方向：
（1）无人驾驶车辆认知能力测试与验证环境设计：
（2）支持无人驾驶车辆认知能力评估的仿真交通环境生成：
网络系统可靠性研究 现状与展望 姓名：杨玉 学校：潍坊学院 院系:数学与信息科学学院 学号：10051140234 指导老师：蔡建生 专业：数学与应用数学 班级：2010级二班
一、摘要 伴随着人类社会的网络化进程，人类赖以生存的网络系统规模越来越庞大、结构越来越复杂，这导致网络系统可靠性问题越来越严峻。本文首先探讨了网络系统可靠性的发展历程、概念与特点，进而从度量参数、建模、分析、优化四个方面系统综述了网络系统可靠性的研究现状，最后对网络系统可靠性研究未来的发展进行了展望。 二、关键词：可靠性；网络系统；综述；现状；展望 三、引言 21 世纪以来，以信息技术的飞速发展为基础，人类社会加快了网络化进程。交通网络、通信网络、电力网络、物流网络……可以说，“我们被网络包围着”，几乎所有的复杂系统都可以抽象成网络模型，这些网络往往有着大量的节点，节点之间有着复杂的连接关系。自从小世界效应[1]和无标度特性[2]发现以来，复杂网络的研究在过去10 年得到了迅速发展，其研究者来自图论、统计物理、计算机、管理学、社会学以及生物学等各个不同领域，仅发表在《Nature》和《Science》上的相关论文就达百篇。对复杂网络系统结构、功能、动力学行为的深入探索、科学理解以及可能的应用，已成为多个学科领域共同关注的前沿热点[3-14]。 随着复杂网络研究的兴起，作为复杂网络最重要的研究问题之一，网络系统可靠性研究的重大理论意义和应用价值也日益凸显出来[15, 16]。人们开始关注：这些复杂的网络系统到底有多可靠？2003 年8 月美加大停电事故导致美国的8 个州和加拿大的2 个省发生大规模停电，约5000 万居民受到影响，损失负荷量61800MW，经济损失约300 亿美元；2005 年12 月台湾海峡地震造成多条国际海底通信光缆发生中断，导致整个亚太地区的互联网服务几近瘫痪，中国大陆至台湾地区、美国、欧洲等方向国际港澳台通信线路受此影响亦大量中断；2008 年1 月，南方冰雪灾害导致我国十余个省市交通瘫痪、电力中断、供水停止、燃料告急、食物紧张……这些我们赖以生存的网络系统规模越来越庞大，结构越来越复杂，但越来越频繁发生的事故也将一系列严峻的问题摆在我们面前：一些微不足道的事故隐患是否会导致整个网络系统的崩溃？在发生严重自然灾
软件测试在软件可靠性与安全性方面的重要意义 目录 引言 第一章、软件测试的基本概述 1.1 软件测试的概念 1.2 软件测试历史 1.3 软件测试的挑战性 1.4 不进行测试的后果 1.5 测试——底线 第二章、软件测试技术分类 2.1 分类 2.2 静态测试 2.2.1源程序静态分析 2.2.2人工测试 2.3动态测试 2.3.1白盒测试 2.3.2白盒测试与调试的异同 2.3.3黑盒测试 2.3.4黑盒测试和白盒测试的异同 2.3.5 白盒测试和黑盒测试的比较 2.4测试方法的选择
第三章、软件测试的规范 3.1软件测试流程 3.1.1 软件测试流程图 3.1.2 .软件测试流程细则 3.1.3软件测试注意事项 3.2 软件测试的10大原则 3.3 软件测试的10个最佳实践 第四章、软件的缺陷 4.1 软件缺陷分类 4.2 产生软件缺陷的原因 4.3 软件测试著名失败案例 第五章、软件测试的重要性（结论） 摘要 软件从它诞生之日起，就受到“虫子”折磨。所谓的“虫子”，是指寄生在软件中的故障，它具有巧妙的隐身功能，能够在关键的场合突然现身。而软件测试就是检测软件中是否有所谓的“虫子”，从而保证新开发的软件的质量。 当一个软件推向市场时，客户最关心的是它的质量。可以这么说，一个软件开发得是否成功完全在于客户对它的满意度。所以，软件测试在软件开发中扮演了极其重要的角色，具有画龙点睛的作用。而软件测试的分类很多，其研究也是一项繁重的任务。 关键词：软件测试重要性错误 论文正文 引言： 随着软件行业在我国的发展，软件质量也越来越受到人们的关注。因此，专业人士也开始转向软件测试这一环节。尽管如此，我国从事这方面工作的人才还是供不应求。所以，我们从事计算机专业的人员都非常关注这方面的发展，希望越来越多的从事计算机专业的大学生在选择工作时能够从事软件测试。这样就能使我国软件开发行业的发展速度迅速提高，也会使我国在国际IT行业中的地位
软件可靠性技术发展及趋势分析 1引言 1)概念 软件可靠性指软件在规定的条件下、规定的时间内完成规定的功能的能力。 安全性是指避免危险条件发生，保证己方人员、设施、财产、环境等免于遭受灾难事故或重大损失。安全性指的是系统安全性。一个单独的软件本身并不存在安全性问题。只有当软件与硬件相互作用可能导致人员的生命危险、或系统崩溃、或造成不可接受的资源损失时，才涉及到软件安全性问题。由于操作人员的错误、硬件故障、接口问题、软件错误或系统设计缺陷等很多原因都可能影响系统整体功能的执行，导致系统进入危险的状态，故系统安全性工作自顶至下涉及到系统的各个层次和各个环节，而软件安全性工作是系统安全性工作中的关键环节之一。 因此，软件可靠性技术解决的是如何减少软件失效的问题，而软件安全性解决的是如何避免或减少与软件相关的危险条件的发生。二者涉及的范畴有交又，但不完全相同。软件产生失效的前提是软件存在设计缺陷，但只有外部输入导致软件执行到有缺陷的路径时才会产生失效。因此，软件可靠性关注全部与软件失效相关的设计缺陷，以及导致缺陷发生的外部条件。由于只有部分软件失效可能导致系统进
入危险状态，故软件安全性只关注可能导致危险条件发生的失效。以及与该类失效相关的设计缺陷和外部输入条件。 硬件的失效，操作人员的错误等也可能影响软件的正常运行，从而导致系统进入危险的状态，因此软件安全性设计时必须对这种危险情况进行分析，井在设计时加以考虑。而软件可靠性仅针对系统要求和约束进行设计，考虑常规的容错需求，井不需要进行专门的危险分析。在复杂的系统运行条件下，有时软件、硬件均未失效，但软硬件的交互 作用在某种特殊条件下仍会导致系统进入危险的状态，这种情况是软件安全性设计考虑的重点之一，但软件可靠性并不考虑这类情况。2）技术发展背景 计算机应用范围快速扩展导致研制系统的复杂性越来越高。软硬件密切耦合，且软件的规模，复杂度及其在整个系统中的功能比重急剧上升，由最初的20%左右激增到80%以上。伴随着硬件可靠性的提高，软件的可靠性与安全性问题日益突出。 在军事、航空航天、医疗等领域，核心控制软件的失效可能造成巨大的损失甚至威胁人的生命。1985年6月至1987年1月，Therac-25治疗机发生6起超大剂量辐射事故，其中3起导致病人死亡。1991年海湾战争。爱国者导弹在拦截飞毛腿导弹中几次拦截失败，其直接原因为软件系统未能及时消除计时累计误差。1996年阿里亚娜5型运载火箭由于控制软件数据转换溢出起飞40秒后爆炸，造成经济损
系统可靠性建模与预计某型欠压保护电路的建模
一．课程设计目标 1．复习可靠性建模和预计的理论方法； 2．基本掌握工程实例可靠性建模和预计过程； 3．明白任务可靠性建模与任务之间的相关性； 二．课程设计内容 1.课程设计原理： 某型电源的欠压保护电路 图1 欠压保护电路 电路原理： a.当该型电源电压正常时，系统电源电压信号Vi较高，二极管P2截止，VB > VC，运放Y输出为高电平，晶体管T导通，继电器J吸合，V0为低电平； b.当该型电源电压欠压时，系统电源电压信号Vi较低，相应的二极管P2导通，将B点电位箝位，VB< VC，运放Y输出为低电平，晶体管T截止，继电器J释放，V0为高电平。 该型电源正常时，输出V0为低电平，继电器J吸合； 电源欠压时，输出V0为高电平，继电器J释放，引起整机跳闸。 2.课程设计内容： a.建立欠压保护电路的基本可靠性框图。
b.针对误动故障和拒动故障，任选一种情况作为任务故障进行分析，建立欠压保护电路的任务可靠性框图。 c.预计欠压保护电路的MTBF。 d.根据建立的任务可靠性框图预计欠压保护电路的MTBCF。 条件说明: 以电路图中的元器件作为基本单元（方框）建立基本可靠性框图。 以电路图中的元器件及其特定故障模式作为基本单元（方框）建立任务可靠性框图 三．课程设计 1.建立基本可靠性框图 基本可靠性框图：用以估计产品及其组成单元故障引起的维修及保障要求的可靠性模型。系统中任一单元（包括储备单元）发生故障后，都需要维修或更换，都会产生维修及保障要求，故而也可把它看作度量使用费用的一种模型。基本可靠性模型是一个全串联模型，即使存在冗余单元，也按串联处理。 由此可得欠压保护电路的基本可靠性框图如图所示： 图2 基本可靠性框图 2.建立任务可靠性框图 任务可靠性框图：用以估计产品在执行任务过程中完成规定功能的程度，描述完
【最新整理，下载后即可编辑】 软件可靠性模型综述 可靠性是衡量所有软件系统最重要的特征之一。不可靠的软件会让用户付出更多的时间和金钱, 也会使开发人员名誉扫地。IEEE 把软件可靠性定义为在规定条件下, 在规定时间内, 软件不发生失效的概率。该概率是软件输入和系统输出的函数, 也是软件中存在故障的函数, 输入将确定是否会遇到所存在的故障。 软件可靠性模型，对于软件可靠性的评估起着核心作用，从而对软件质量的保证有着重要的意义。一般说来，一个好的软件可靠性模型可以增加关于开发项目的效率，并对了解软件开发过程提供了一个共同的工作基础，同时也增加了管理的透明度。因此，对于如今发展迅速的软件产业，在开发项目中应用一个好的软件可靠性模型作出必要的预测，花费极少的项目资源产生好的效益，对于企业的发展有一定的意义。 1软件失效过程 1.1软件失效的定义及机理 当软件发生失效时，说明该软件不可靠，发生的失效数越多，发生失效的时间间隔越短，则该软件越不可靠。软件失效的机理如下图所示：
1）软件错误（Software error）：指在开发人员在软件开发过程中出现的失误，疏忽和错误，包括启动错、输入范围错、算法错和边界错等。 2）软件缺陷（Software defect）：指代码中存在能引起软件故障的编码，软件缺陷是静态存在的，只要不修改程序就一直留在程序当中。如不正确的功能需求，遗漏的性能需求等。 3）软件故障（Software fault）：指软件在运行期间发生的一种不可接受的内部状态，是软件缺陷被激活后的动态表现形式。 4）软件失效（Software failure）：指程序的运行偏离了需求，软件执行遇到软件中缺陷可能导致软件的失效。如死机、错误的输出结果、没有在规定的时间内响应等。 从软件可靠性的定义可以知道，软件可靠性是用概率度量的，那么软件失效的发生是一个随机的过程。在使用一个程序时，在其他条件保持一致的前提下，有时候相同的输入数据会得到不同的输出结果。因此，在实际运行软件时，何时遇到程序中的缺陷导致软件失效呈现出随机性和不稳定性。 所有的软件失效都是由于软件中的故障引起的，而软件故障是一种人为的错误，是软件缺陷在不断的测试和使用后才表现出来的，如果这些故障不能得到及时有效的处理，便不可避免的会
软件测试毕业论文 The manuscript was revised on the evening of 2021
毕业论文 姓名：陈鑫 专业:.Net软件开发 年级：计软1302 学号： 指导教师:王梅 软件测试的概述及方法 、、 完成时间：2012年3月 摘要：从软件产业的发展初期到目前的大型软件开发过程，软件测试已成为其中一个不可分割的部分。随着软件规模的日益增大，软件测试问题也日益突出，现代社会对软件的依赖越来越强,高可信软件测试有着广泛的需求，基于缺陷模式的软件测试技术作为高可信软件的重要保证,可以大大降低软件的缺陷密度,提高软件的可信性。本文从测试的基本概念入手,深入剖析软件测试相关理论 关键字：软件测试、白盒测试、黑盒测试、类测试 目录 1 软件测试的发展史.......................................4 2软件测试的相关背景.. (5) 3 软件测试概述 (6) 软件测试的定义 (6) 软件测试的描述 (6)
软件测试的目的 (7) 软件测试的原则 (8) 4 软件测试的内容 (9) 验证(verification) (9) 确认(validation) (9) 5 软件测试的分类 (10) 常用分类 (10) 黑盒测试 (10) 白盒测试 (11) 静态测试 (14) 动态测试 (15) 6 软件测试中的类测试 (15) 面向对象软件的类测试概念.....................................................15.类测试技术.. (16) 7 参考文献 (17) 8 致谢 (18) 1软件测试的发展史 软件测试的发展历史：20世纪60年代（软件工程建立前），为表明程序正确而进行测试。. 1972年在北卡罗来纳大学举行了首届软件测试正式会议。. 1975年John Good Enough和Susan Gerhart在IEEE上发表了《测试数据选择的原理》的文章，软件测试被确定为一种研究方向。. 1979年，Glenford Myers的《软件测试艺术》，对测试做了定义：测试是为发
上海电力学院 选修课大型作业 课程名称：机电系统可靠性与安全性设计报告名称：串并联可靠性模型的应用及举例院系：能源与机械工程学院 专业年级：动力机械140101 学生姓名：潘广德 学号：14101055 任课教师：张建平教授 2015年4月28日
浅谈串并联可靠性模型的应用并举例 摘要 详细阐述了机械可靠性工程中串并联可靠性模型的应用，并详细的举例说明。系统可靠性与组成单元的数量、单元可靠性以及单元之间的相互联接关系有关。以便于可靠性检测，首先讨论了各单元在系统中的相互关系。在可靠性工程中，常用可靠性系统逻辑图表示系统各单元之间的功能可靠性关系。在可靠性预测中串并联的应用及其广泛。必须指出，这里所说的组件相互关系主要是指功能关系，而不是组件之间的结构装配关系。 关键词：机械可靠性串联并联混联应用举例 0前言 学技术的发展，产品质量的含义也在不断的扩充。以前产品的质量主要是指产品的性能，即产品出厂时的性能质量，而现在产品的质量已不仅仅局限于产品的性能这一指标。目前，产品质量的定义是：满足使用要求所具备的特性，即适用性。这表明产品的质量首先是指产品的某种特性，这种特性反应这用户的某种需求。概括起来，产品质量特性包括：性能、可靠性、经济性和安全性四个方面。性能是产品的技术指标，是出厂时产品应具有的质量属性，显然能出厂的产品就赢具备性能指标；可靠性是产品出厂后所表现出来的一种质量特性，是产品性能的延伸和扩展；经济性是在确定的性能和可靠性水平下的总成本，包括购置成本和使用成本两部分；安全性则是产品在流通和使用过程中保证安全的程度。在上述产品特性所包含的四个方面中，可靠性占主导地位。性能差，产品实际上是废品；性能好，也并不能保证产品可靠性水平高。反之，可靠性水平高的产品在使用中不但能保证其性能实现，而且故障发生的次数少，维修费用及因故障造成的损失也少，安全性也随之提高。由此可见，产品的可靠性是产品质量的核心，是生产厂家和广大用户所努力追求的目标。 1串联系统可靠性模型的工作原理 如果一个系统中的单元中只要有一个失效该系统就失效，则这种系统成为串联系统。或者说，只有当所有单元都正常工作时，系统才能正常工作的系统称为串联系统。 设系统正常工作时间（寿命）这一随机变量为t，则在串联系统中，要使系统能正常工作运行，就必须要求每一个单元都能正常工作，且要求每一单元的正常工作时间都大于系统正常工作时间t。假设各个单元的失效时间是相互独立的，按照概率的乘法定理和可靠性定
0引言 软件可靠性是指软件在规定的条件下和规定的时间内，完成规定功能的能力，软件可靠性包含三个要素，即“规定的条件”、“规定的时间”、和“完成规定的功能”。“规定的条件”指软件的用法和软件的运行环境；“规定的时间”指软件的工作周期；“完成规定功能”指软件不出现失效。 本文对软件测试和软件可靠性进行了论述，研究了如何将测试过程中产生的数据进行软件可靠性估计，从而为正确评价软件质量提供了一个方法。 1软件测试 软件测试在软件生存期开发阶段中占 有突出的地位，它是保证软件可靠性的重要手段，其基本任务是尽可能多的发现软件中的错误，排除软件缺陷，提高软件可靠性。 软件可靠性测试中最关键的三个环节是： 1)根据用户实际使用软件的方式，构造软件运行剖面，生成测试用例； 2)开发软件可靠性测试的环境，使被测软件能在该环境中得以测试； 3)对测试结果进行分析，并作出软件可靠性的预计。 软件的可靠性测试过程完整的测试过程包括测试前的检查、设计测试用例、测试实施、可靠性数据收集和编写测试报告5个步骤，其中最重要的是设计测试用例和可靠性数据收集。 1.1软件测试前的检查测试前的检查：在进行应用软件的可靠性测试前有必要检查软件需求与研制任务书是否一致,检查所交付的程序和数据以及相应的软件支持环境是否符合要求,检查文档与程序的一致性,检查软件研制过程中形成的文档是否齐全、文档的准确性和完整性以及是否通过了有关评审。 1.2设计测试用例在软件测试过程中，测试用例的生成是软件测试的关键和难点，直接影响着软件测试的有效性。测试用例是按一定顺序 软件测试与软件可靠性研究 张海锋 霍永华 中国电子科技集团公司第五十四研究所 河北石家庄 050081 执行的与测试目标相关的一系列测试，是测试数据以及与之相关的测试规程的一个特定集合。测试用例设计将产生许多测试所包括的输入值、期望输出以及其它任何运行测试的有关信息(例如环境要求)。 如果测试用例设计得好，不但可以在较短的时间内，测出较多的软件错误，也可以为修改软件错误提供时间。测试用例的选择既要有一般情况，也应有极限情况以及最大和最小的边界值情况。因为测试的目的是暴露应用软件中隐藏的缺陷，所以在设计选取测试用例和数据时要考虑那些易于发现缺陷的测试用例和数据，结合复杂的运行环境，在所有可能的输入条件和输出条件中确定测试数据，来检查应用软件是否都能产生正确的输出。 1.3测试实施 测试实施做好上述准备工作后,就可以实施测试了。研制方交付的任何软件文档中与可靠性质量特性有关的部分,包括产品说明书、用户文档、程序以及数据都应当按照需求说明和质量需求进行测试。在项目合同、需求说明书和用户文档中规定的所有配置情况下,程序和数据都必须进行测试。 在测试中,可以考虑进行“强化输入”,即输入比正常输入更恶劣(合理程度的恶劣)的输入。如果软件在强化输入下可靠,只能说明比正规输入下可靠得多。对需要进行大量的长期的运算试验,如连续运行108h 允许出现1次失效的测试,为获得更多的可靠性数据,我们可以采用多台计算机、多线程同时运行软件,以增加累计运行时间。 1.4可靠性数据收集 软件可靠性数据是可靠性评估的基础。应该建立软件错误报告、分析与纠正措施系统。按照相关标准的要求，制定和实施软件错误报告和可靠性数据收集、保存、分析和处理的规程，完整、准确地记录软件测试阶段的软件错误报告和收集可靠性数据。用时间定义的软件可靠性数据可以分为4类： 1)失效时间数据：记录发生一次失效所累积经历的时间 2)失效间隔时间数据：记录本次失效与上一次失效的间隔时间 3)分组数据：记录某个时间区内发生了多少次失效 4)分组时间内的累积失效数：记录某个区间内的累积失效数。 这4类数据可以相互转化。 将收集的软件可靠性数据用于软件可靠性模型可以对软件可靠性进行估计。 2软件可靠性模型 软件可靠性模型是随机过程的一种 表示，通过这一表示，可以将软件可靠性或与软件可靠性直接相关的量， 如 或表示成时间及过程的函数。一个软件可靠性模型通常由模型假设、性能度量、数据要求、参数估计方法组成。将软件 测试中收集到的可靠性数据带入软件可靠性模型 ( 或表示成时间及过程的函数) 可以对软件可靠性进行估计。 的执行时间模型，属于随机过 程模型，模型形式为： 假设程序内初始错误数为常数，n 为排除了的错误数，则程序中残存的错误数为： (1) 故障率函数 应于残留错误数成正比，则有： (2) 其中为线性执行频度，为错误暴露系数，则有： (3) 因 随增大，则为分段常数，逐渐减小，则错误修正率为： (4)由初始条件：，于是错误数为： (5) (6)于是软件的可靠度指标为：(7)在初始测试时，， 则，代入化简 (8)将代入 得： (9) 用以估算现时的值，并将它与目 标的平均无故障工作时间比较，如达到或超过，则表示测试已达到目标，测试于是就可以停止，否则测试继续进行。对于的最大似然估计，为达到由用户规定的目标值，所要求的执行时间增量： (10) 对于 和的估计，采用最大似 然估计法得： (11) (12) 其中 为第 次与第次的故障间隔时间，为最后一次的测试时刻，为次测试故障数。 3软件测试与可靠性模型关系 对于同一组软件测试所得的失效数 据，不同的软件可靠性模型会给出不同的软件可靠性估计，因此有必要对软件可靠性模型进行组合。将模型的结果进行线性组合，即使是以非常简单的形式，也会得到比单个模型更精确的测量结果。 构造组合模型的基本策略是：1) 选定一组基本模型。选择软件实际运行条件与所选模型假设最接近的模型; 2) 将每个基模型分别应用于数据;3) 应用所选择的评价规则为每个基模型加权，构成用以最后预测的组合模型。权值可以静态或动态地确定。一般，这种方案可以表达为如下混合分布形式： (13) 式(13) 中表示基模型个数，为 给定-1个失效观测数据的情况下， 第
软件可靠性模型研究综述 王二威 （北京理工大学珠海学院，广东 珠海 519088） 摘 要：本文对软件可靠性经典模型、模型选择、普适模型的研究进行了归纳和述评，提出了软件可靠性综合预测框架，给出了软件可靠性综合预测进一步的研究方向。 关键词：软件可靠性；经典模型；综合预测；框架研究 中图分类号：TP311 文献标识码：A Review of Research on Software Reliability Models WANG Erwei (Beijing Institute of Technology ,Zhuhai ,Zhuhai 519088,China ) Abstract:In this paper,the classical model of software reliability,model selection,and the research of the universal model were summarized and reviewed.The framework of software reliability comprehensive prediction was proposed.The further research directions of software reliability comprehensive prediction were proposed. Keywords:software reliability;classical model;comprehensive prediction;framework research 文章编号：2096-1472(2016)-02-01-02 1 引言(Introduction) 软件已经成为影响国民经济、军事、政治乃至社会生活的重要因素。自20世纪60年代“软件危机”出现之后，越来越多的学者开始关注软件可靠性的定量评估和预测。软件可靠性覆盖整个软件开发过程，与软件工程密切相关，它源于工程，又服务于工程。在新技术、新应用(如web软件、移动APP等等)不断涌现的当前，重新审视软件开发和应用环境，开展软件可靠性预测研究，有助于推动软件工程项目的实践，降低软件错误率，提升软件质量，从而保障软件所支撑的工程项目的高效完成，推动我国软件产业的持续发展。 本文对软件可靠性模型研究的相关文献进行了梳理,对前人的研究成果进行了归纳,构建了新计算范式下软件可靠性综合预测框架，提出了软件可靠性综合预测的研究方向。 2 经典软件可靠性模型(Classical software reliability model) 软件可靠性建模的基本方法是：以历史失效数据为基础，对软件失效规律进行趋势拟合，进而预测未来的失效可能。早期软件可靠性的研究是基于概率统计的思想，将软件失效过程看作一个随机过程，从Hudson的工作开始，到1971年J-M模型的发表，再到今天，已公开发表了几百种模型[1](此类模型称之为“经典模型”)。 经典模型存在两个明显的缺陷：第一，在对软件可靠性进行评估预测时都有些固定不变的假设，而这些假设无从证明；第二，模型只考虑输入的随机性，而软件在实际运行时却可能受到各种随机因素影响，使得软件失效出现的情况比较复杂多变。而用某一个固定的失效模式去解释复杂多变的情况，显然是不合适的。实践证明，经典模型的应用存在不 一致性的问题，对一个软件有很好的适用性而对其他的软件则效果很差[2,3]，此外预测精度也不够理想。 针对经典模型的不一致性问题，研究者们从两个方面开展了进一步的研究：一是设计一套行之有效的模型选择方法，能够让工程人员从众多的软件可靠性经典模型中选择出最适合实施项目的模型，二是建立一个普适模型。 3 模型选择的研究(Research on model selection) 模型选择策略基本可以归纳为两类：一类是基于模型假设与软件环境的相似性，一类是基于对历史失效数据预测性能的评价。 (1)基于模型假设与软件环境的相似性的模型选择。Andersson、Goel、Sharma等人分别提出了模型假设相似性来选择合适模型的方法[4]，基于假设矩阵的模型选择技术实践结果也并不理想[5]。 (2)基于对历史失效数据预测性能的评价。该类策略的模型选择技术依赖于对模型预测性能的评价，1983年，Musa 等人提出了“预测有效性、模型能力、假设质量、模型适用性、简单性”等五个软件可靠性模型评价准则，在学术界获得了较大范围的认可。之后的研究人员不断拓展软件可靠性的影响变量范围，提出了模型拟合性、模型偏差、模型偏差趋势、覆盖度、预测数量、模型噪声等等众多的评价准则，力图从多个角度对软件可靠性模型进行评价。 关于采用何种评价方法来选择模型，一是基于数据挖掘、机器学习的方法[6]，汪浩等人提出了基于聚类思想的软件可靠性模型选择，吴勤、吴晨、朱磊等人采用Kohonen网络、BP神经网络、决策树等方法对汪浩等人的研究成果进行了改进，在一定程度上提高了分类系统的准确性，李克文等 软件工程 SOFTWARE ENGINEERING 第19卷第2期2016年2月 V ol.19 No.2Feb. 2016
基于云计算的软件测试 【摘要】云计算凭借其在资源呈现、使用、管理以及调度等方面的优势，已经逐渐成为实现IT各领域跨越式发展的重点推动力。而在软件测试方面，也诞生了一种全新的基于云计算平台的软件测试方法。本文分析了云计算及云测试的服务流程及特点，在进行基于云计算的软件测试现状及存在的问题的基础上，分析了在云计算时代软件测试的策略。 【关键词】云计算;软件测试 引言 在软件行业高速发展的今天，如何保质保量的完成软件的开发、测试、实施，如何做到降低人力成本，缩短测试周期，如何做到以最少的资金做到更好的软件产品，这对任何一个软件行业的公司企业来说都是需要考虑的重要问题。劳动密集型的传统手工测试，以及具有鲜明资源低效率利用和高资金投入特点的自动化测试逐渐无法满足人们对软件测试的需求。基于云计算服务的软件测试，企业只需付给云测试提供商少量的服务费用便可以根据自己的需要获取相应的测试服务，而软件测试的繁琐过程、软件测试所需要的软硬件设备投入、混乱的测试资源管理、随时面对的测试机崩溃、问题发生环境的难以重现、压力测试所需的强大的计算
能力等等诸多棘手问题都不需要考虑。因此，基于云计算的应用软件测试技术的研究逐步成为现在软件测试领域研究的热点。 一、云计算及云测试 1.云计算 狭义的云计算是指通过网络以按需、易扩展的方式获得所需IT基础设施的交付和使用模式。而广义的云计算是指服务的交付和使用模式，通过网络以按需、易扩展的方式获得所需的服务。这种服务可以是IT基础设施、软件、互联网应用相关的，也可以是任意其他的服务。 2.云测试概念 所谓云测试即为基于云计算技术的软件测试方式，是一种新型的测试方案。由服务商提供多种平台，多种浏览器的平台，一般的用户在本地把自动化测试脚本编写好，然后上传到他们网站，然后就可以在他们的平台上运行脚本了。 3.云测试中涉及的云计算技术 在云测试中涉及到多种云计算技术，比较常用到的技术有： （1）虚拟化技术。目前在云计算中普遍使用KLVM、VMware Sphere和Xen三种虚拟化技术，虚拟化技术可以将信息资源的逻辑抽象和资源的统一表示实现，它可以将计算机资源分割为若干个操作环境或者整合成一个操作环境。并
软件可靠性分析与设计 软件可靠性分析与设计 软件可靠性分析与设计的原因?软件在使用中发生失效(不可靠会导致任务的失败,甚至导致灾难性的后果。因此,应在软件设计过程中,对可能发生的失效进行分析,采取必要的措施避免将引起失效的缺陷引入软件,为失效纠正措施的制定提供依据,同时为避免类似问题的发生提供借鉴。 ?这些工作将会大大提高使用中软件的可靠 性,减少由于软件失效带来的各种损失。 Myers 设计原则 Myers 专家提出了在可靠性设计中必须遵循的两个原则: ?控制程序的复杂程度
–使系统中的各个模块具有最大的独立性 –使程序具有合理的层次结构 –当模块或单元之间的相互作用无法避免时,务必使其联系尽量简单, 以防止在模块和单元之间产生未知的边际效应 ?是与用户保持紧密联系 软件可靠性设计 ?软件可靠性设计的实质是在常规的软件设计中,应用各种必须的 方法和技术,使程序设计在兼顾用户的各种需求时, 全面满足软件的可靠性要求。 ?软件的可靠性设计应和软件的常规设计紧密地结合,贯穿于常规 设计过程的始终。?这里所指的设计是广义的设计, 它包括了从需求分析开始, 直至实现的全过程。 软件可靠性设计的四种类型
软件避错设计 ?避错设计是使软件产品在设计过程中,不发生错误或少发生错误的一种设计方法。的设计原则是控制和减少程序的复杂性。 ?体现了以预防为主的思想,软件可靠性设计的首要方法 ?各个阶段都要进行避错 ?从开发方法、工具等多处着手 –避免需求错误 ?深入研究用户的需求(用户申明的和未申明的 ?用户早期介入, 如采用原型技术 –选择好的开发方法
?结构化方法:包括分析、设计、实现 ?面向对象的方法:包括分析、设计、实现 ?基于部件的开发方法(COMPONENT BASED ?快速原型法 软件避错设计准则 ? (1模块化与模块独立 –假设函数C(X定义了问题X 的复杂性, 函数E(X定义了求解问题X 需要花费的工作量(按时间计,对于问题P1和问题P2, 如果C(P1>C(P2,则有 E(P1> E(P2。 –人类求解问题的实践同时又揭示了另一个有趣的性质:(P1+P2>C(P1 +C(P2 –由上面三个式子可得:E(P1+ P2> E(P1+E(P2?这个结论导致所谓的“分治法” ----将一个复杂问题分割成若干个可管理的小问题后更易于求解,模块化正是以此为据。 ?模块的独立程序可以由两个定性标准度量,这两个标准分别称为内聚和耦合。耦合衡量不同模块彼此间互相依赖的紧密程度。内聚衡量一个模块内部各个元素彼此结合的紧密程度。 软件避错设计准则 ? (2抽象和逐步求精 –抽象是抽出事物的本质特性而暂时不考虑它们的细节 ?举例
软件可靠性建模 1模型概述 1.1软件可靠性的定义 1983年美国IEEE计算机学会对“软件可靠性”作出了明确定义，此后该定义被美国标准化研究所接受为国家标准，1989年我国也接受该定义为国家标准。该定义包括两方面的含义： （1）在规定的条件下，在规定的时间内，软件不引起系统失效的概率； （2）在规定的时间周期内，在所述条件下程序执行所要求的功能的能力； 其中的概率是系统输入和系统使用的函数，也是软件中存在的故障的函数，系统输入将确定是否会遇到已存在的故障（如果故障存在的话）。 软件失效的根本原因在于程序中存在着缺陷和错误，软件失效的产生与软件本身特性、人为因素、软件工程管理都密切相关。影响软件可靠性的主要因素有软件自身特性、人为因素、软件工程管理等，这些因素具体还可分为环境因素、软件是否严密、软件复杂程度、软件是否易于用户理解、软件测试、软件的排错与纠正以及软件可靠性工程技术研究水平与应用能力等诸多方面。 1.2软件可靠性建模思想 建立软件可靠性模型旨在根据软件可靠性相关测试数据，运用统计方法得出软件可靠性的预测值或估计值，下图给出了软件可靠性建模的基本思想。
图软件可靠性建模基本思想 从图中可以看出软件失效总体来说随着故障的检出和排除而逐渐降低，在任意给定的时间，能够观测到软件失效的历史。软件可靠性建模的目标如下：（1）预测软件系统达到预期目标所还需要的资源开销及测试时间；（2）预测测试结束后系统的期望可靠性。1.3软件可靠性建模基本问题 软件可靠性建模需要考虑以下基本问题： （1）模型建立 模型建立指的是怎样去建立软件可靠性模型。一方面是考虑模型建立的角度，例如从时间域角度、数据域角度、将软件失效时刻作为建模对象，还可以将一定时间内软件故障数作为建模对象；另一方面是考虑运用的数学语言，例如概率语言。 （2）模型比较 在软件可靠性模型分类的基础上，对不同的模型分析比较，并对模型的有效性、适用性、简洁性等进行综合权衡，从而确定出模型的适用范围。 （3）模型应用 软件可靠性模型的应用需要从以下两方面考虑：一是给定了软件的开发计划，如何选择适当的模型；二是给定了软件可靠性模型，如何指导软件可靠性工程实践。 软件系统的失效历史可以通过对测试得到的失效数据分析获得，而实际情况中，人们最为关注的是软件未来的失效趋势。软件可靠性模型基本都是建立在一定的假设基础之上，所以，即使花费了大量的时间和精力对软件的可靠性进行预计，也只是一种预测，这
毕业论文 姓名：陈鑫 专业:.Net软件开发年级：计软1302 学号：201317140212指导教师:王梅
软件测试的概述及方法 、、 完成时间：2012年3月 摘要：从软件产业的发展初期到目前的大型软件开发过程，软件测试已成为其中一个不可分割的部分。随着软件规模的日益增大，软件测试问题也日益突出，现代社会对软件的依赖越来越强,高可信软件测试有着广泛的需求，基于缺陷模式的软件测试技术作为高可信软件的重要保证,可以大大降低软件的缺陷密度,提高软件的可信性。本文从测试的基本概念入手,深入剖析软件测试相关理论 关键字：软件测试、白盒测试、黑盒测试、类测试 目录 1 软件测试的发展史.......................................4 2软件测试的相关背景.. (5)
3 软件测试概述 (6) 3.1软件测试的定义 (6) 3.2软件测试的描述 (6) 3.3软件测试的目的 (7) 3.4软件测试的原则 (8) 4 软件测试的内容 (9) 4.1验证(verification) (9) 4.2确认(validation) (9) 5 软件测试的分类 (10) 5.1 常用分类..........................................10错误!未定义书签。 5.2 黑盒测试 (10) 5.3白盒测试 (11) 5.4 静态测试 (14) 5.5动态测试 (15) 6 软件测试中的类测试 (15) 6.1面向对象软件的类测试概念.....................................................15 6.2.类测试技术.. (16) 7 参考文献 (17) 8 致谢 (18) 1软件测试的发展史
软件可靠性模型综述 可靠性是衡量所有软件系统最重要的特征之一。不可靠的软件会让用户付出更多的时间和金钱, 也会使开发人员名誉扫地。IEEE 把软件可靠性定义为在规定条件下, 在规定时间, 软件不发生失效的概率。该概率是软件输入和系统输出的函数, 也是软件中存在故障的函数, 输入将确定是否会遇到所存在的故障。 软件可靠性模型，对于软件可靠性的评估起着核心作用，从而对软件质量的保证有着重要的意义。一般说来，一个好的软件可靠性模型可以增加关于开发项目的效率，并对了解软件开发过程提供了一个共同的工作基础，同时也增加了管理的透明度。因此，对于如今发展迅速的软件产业，在开发项目中应用一个好的软件可靠性模型作出必要的预测，花费极少的项目资源产生好的效益，对于企业的发展有一定的意义。 1软件失效过程 1.1软件失效的定义及机理 当软件发生失效时，说明该软件不可靠，发生的失效数越多，发生失效的时间间隔越短，则该软件越不可靠。软件失效的机理如下图所示： 1）软件错误（Software error）：指在开发人员在软件开发过程中出现的失误，疏忽和错误，包括启动错、输入围错、算法错和边界错等。 2）软件缺陷（Software defect）：指代码中存在能引起软件故障的编码，软件缺陷是静态存在的，只要不修改程序就一直留在程序当中。如不正确的功能需求，遗漏的性能需求等。3）软件故障（Software fault）：指软件在运行期间发生的一种不可接受的部状态，是软件缺陷被激活后的动态表现形式。 4）软件失效（Software failure）：指程序的运行偏离了需求，软件执行遇到软件中缺陷可能导致软件的失效。如死机、错误的输出结果、没有在规定的时间响应等。
ISSN 1000-9825, CODEN RUXUEW E-mail: jos@https://www.doczj.com/doc/469937825.html, Journal of Software , Vol.17, No.8, August 2006, pp.1681?1687 https://www.doczj.com/doc/469937825.html, DOI: 10.1360/jos171681 Tel/Fax: +86-10-62562563 ? 2006 by Journal of Software . All rights reserved. 基于未确知理论的软件可靠性建模 ? 张永强+, 孙胜娟 (河北工程大学 信息与电气工程学院,河北 邯郸 056038) Software Reliability Modeling Based on Unascertained Theory ZHANG Yong-Qiang +, SUN Sheng-Juan (School of Information and Electrical Engineering, Hebei University of Engineering, Handan 056038, China) + Corresponding author: Phn: +86-310-7428733, Fax: +86-310-7428746, E-mail: yqzhang@https://www.doczj.com/doc/469937825.html,, https://www.doczj.com/doc/469937825.html,/ Zhang YQ, Sun SJ. Software reliability modeling based on unascertained theory. Journal of Software , 2006,17(8):1681?1687. https://www.doczj.com/doc/469937825.html,/1000-9825/17/1681.htm Abstract : In this paper, unascertained mathematical theory is applied to the study of software reliability modeling. It is used to study software fault process, describe software failure character and get software reliability parameters. Finally, a software reliability model based on unascertained theory is proposed in this paper. The new model changes the traditional modeling thought, and brakes away from the statistical distribution assumption about the variety of failure rate in the traditional software reliability modeling process. It has better applicability, which improves the incongruence of model application to some extent. Key words : software reliability; reliability model; modeling; applicability; unascertained mathematical 摘 要: 将未确知理论应用于软件可靠性建模研究,采用其分析软件故障过程,用未确知数学描述软件失效特 征计算软件可靠性参数,并在此基础上构建了一个基于未确知数学理论的软件可靠性模型.新模型改变了传统 的建模思路,跳出了传统软件可靠性建模过程中关于失效强度变化的各种统计分布假设的束缚,具有较好的适 用性,改善了模型应用中的不一致性问题. 关键词: 软件可靠性;可靠性模型;建模;适用性;未确知数学 中图法分类号: TP311 文献标识码: A 随着软件应用的日益广泛及重要性的不断增强,人们对软件质量的要求也越来越高.可靠性作为衡量软件 质量的重要特性,其定量评估和预测已成为人们关注和研究的焦点.软件可靠性模型作为可靠性评测的核心和 关键,可用于软件生命周期的不同阶段,定量地估计和预测软件可靠性行为.一个好的可靠性模型可以准确评估 和预测软件可靠性行为, 这对于软件资源分配软件市场决策有着重要的意义[1].我们可以看到,软件可靠性模 型这一领域的研究在20世纪70年代获得较大发展后,很多可靠性模型已经投入实用.可以说,软件可靠性模型 己经从研究阶段发展到了工程阶段.但是,面对软件自身及其开发过程日益复杂的情形,它仍然呈现出其自身的 不足. ? Supported by the National Natural Science Foundation of China under Grant No.60573088 (国家自然科学基金); the Natural Science Foundation of Hebei Province of China under Grant No.603407 (河北省自然科学基金) Received 2005-07-20; Accepted 2005-12-13 万方数据