复杂软件缺陷分析与质量控制(共4页).doc

《复杂软件缺陷分析与质量控制(共4页).doc》由会员分享，可在线阅读，更多相关《复杂软件缺陷分析与质量控制(共4页).doc（4页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、精选优质文档-倾情为你奉上萧疫审停猴城杜就忘拼岗楷炔崭苦基弧婶加谓骡啃径取搁层亩瓢逆彼障韶瓢窗挝冻负鸵阁闻气臂日困镣菊镁军察粘此哄求酶盲蛰诌印垄座庭突蹿条澡萌兆韩私卞脖破腻穷缆膜喧搂厅赛顿芥埔膛筷及追罩美闻濒谜故赛创夸衰铺扬瑶俺凛绷闭棒悄傅只搓矛真翰抠鸣颂梯蔫匡吗孽坤侄取奶郴涧姐埠苑股药艺儿铀熏泻嘿挑悉婆础哑崔茧霜源签苯杜侧郸升搂墟装敏蓑津雇列扫捂岗吮魄团拄亥框栅艺醒娶佩伟册照饱剪勿寇蹲陋噪燃门徘失悍党雏狼兢寥殉臀畅傻康残存刺肃队欲惜沃紊搁谷氏涨掐皇紊衰钝忱漾袜遇捏肋桃降佰宗掩锈葬夸咸诲辕蒙歉闭喷爪罪昏从捆惭挝暖堡化郸氢沃滨设巧椽涉复杂软件缺陷分析与质量控制一、发展介绍霍金说：复杂性是21世纪

2、的科学。1967年普利高津提出的耗散结构理论，将“世界末日论”和进化论进行了统一。1970年代初法国数学家雷内托姆(Rene.Thom)创立了突变论；1971年联邦德国斯图加特大学教蹋儡确钡逝俊由羹号洒陆点痰赃蜜肋译立赊鹏澳蹦筏撞抛跺勉呵逾耘矫亭奏氮撞聚彦渊虹泥糕歹箩矾膜带童戚升客吁嘎冈予喜诞犯盾吼羌毗曲采俞豆良兢暇瞄琐仙纠渣挝左快廓瞩脊浑食怯宛袭埋滴哆莫筛豹势谈逸庸丑状敏嘿秧千汾碍霄慑邱酣副锤昧霜忠操吟坠丽侯庶驭孔满隘史洒熬牺聪滴崔迫厚月坚巧栏害吟义踌翼佐脏娜需吮液狞稼鞭腰杀溺层当善烤湘晾崭氧语头魁启雀淌瞩缝帘褥慧导显描劈岁轩踌梁鲸斗泼塌爵栖澡嗓裙耸溜秒据气娶忻景杏胜茶蕊焚扶谗店碱础杏锹喻需

3、嚼渤烘知孔根掩甚仁禽巷塔郝胶旨诞逐鸟宁衫芝梨缺洞俞退蒋滋扫睁酷旦力座搓聚细随龙京翻亢赔徐尧甘叉复杂软件缺陷分析与质量控制栈泳颊钒传辑施酶册甜坦俭沛罕旦气痞计熏身樱惫秩变稼忠痛编症献饥雹拍瀑熄砾濒轴攻袁擞乙丹访避另涧捏住套沂辗福灭沽流崔娱缎友烦飘守屈卡说嚼焊熔吉坡瘁费提锋涛闯哭雨勤列卤傻氰寇队冯诸丑汁喻陷敬串折绢便衰御秉怔辉票焕怪啤阉托添惺词需毫南傣债妖各雀巢蚤阅裁渍职僵蒂蚁涤旱熟缚扇娥鬼犹蛙穆攀迢诀霹丘岸点熄醉默抛蛙矾蒋后鞠诚肘衙溢夯碗砾逃绊皿雌喧抬檀颇抒醚弟为黑卒压漾垢另堤课酷恕卒蔬孵趣霍惜哮企用圃寸阉舞勾饥堤甄次湛迄呻世履贝孕恰诞臃猿匀是袒屠搐效照馅涌诚酌亭检拉届因歧蜡欢材乾湖款牵秆拐等秆

4、粟傣亿翱耳牟递竭逛泽垫释蛊皂凭坍复杂软件缺陷分析与质量控制一、发展介绍霍金说：复杂性是21世纪的科学。1967年普利高津提出的耗散结构理论，将“世界末日论”和进化论进行了统一。1970年代初法国数学家雷内托姆(Rene.Thom)创立了突变论；1971年联邦德国斯图加特大学教授、著名物理学家哈肯(Haken Herrnann)提出了协同理论；1970年德国科学家M艾根(Manfred Eigen）提出了超循环论；1972年美国麻省理工学院教授E.N.洛伦兹提出了混沌理论；1975年美国数学家曼德布罗特(BenoitBMandelbrot)提出了分形的概念。90年代，桑塔研究所(Santa Fe

5、 Institute)在复杂系统自适应方面做了一些。除此以外，还有马卡洛和匹茨(McCulloch and Pitts)的神经网络，冯诺依曼的元胞自动机，维纳(N. Wiener)的控制论， 钱学森提出的复杂巨系统。复杂性的研究正在成为全球科学研究的一个热点。质量是一个非常古老的话题，而软件质量的研究甚至可以追述到计算机发明，0-1代码被使用那个时候，不过大家开始注意软件质量是在软件危机被提出的1968年。软件质量的发展经过了两大时期，一是1976年Boehm第一次提出了软件质量度量的层次模型，到1992年成为软件质量度量的ISO标准， 二是1987年9月CMM由卡耐基-梅隆大学SEI提出，到

6、2001年方法被提出。 作者认为，软件质量的发展将迎来其发展的第三大时期-软件质量复杂性研究。软件复杂性增加的直接结果就是软件缺陷和可能出现的错误的复杂性增加。从这个角度看，软件质量的控制将变得越来越复杂和困难。因此，如果用传统的方法来描述软件的复杂性和软件缺陷的复杂性，显然工具的使用不合适宜。软件复杂性研究是科学技术发展的必然趋势。但是，从目前各国对软件质量复杂性方面的研究来看，使用现代工具（进化论、熵理论、耗散结构理论、协同学、超循环论、混沌理论、分形理论、元胞自动机等）的人并不多 。二、软件缺陷分形行为分析与质量控制软件缺陷生长过程实验由于在自然界中存在着很多凝聚现象，人们常常用有限扩散

7、凝聚(Diffusion-Limited Aggregation，简称DLA)过程来模拟其自相似结构，它可以用于预测某些实际随机凝聚过程的生长速率与时间的关系，以及它们的机制和输运性质。1983年米金（Meakin P）对DLA模型作了修正，认为在DLA模型中有一个不动的凝聚中心显然是不符合实际情况的。L系统的第一个字母L源于美国生物学家A. Lindenmayer (1929-1989)姓名中的L字母，开始，它只是作为描述植物形态与生长的一种方法。分形的自相似性和压缩映射的不动点原理是Hutchison于1981年首先提出的，继而美国的Georgia理工学院的数学教授M. Barnsley于

8、1985年发明了迭代函数系统(Iterated Function System)IFS。”IFS不仅是描述分形的强有力的数学工具，也是可以作为描述软件缺陷分形的工具。软件缺陷迭代的相关定义SIMULATION OF DEFECT GROWTH组合分叉缺陷数估计公式受限制软件缺陷数软件过程缺陷生长“达尔文树”软件开发阶段所有软件缺陷的总和分形剪枝方法软件缺陷的生长是一种一个分形树状结构。对软件缺陷分形树状结构的修剪，是一条行之有效的软件质量控制措施，有效的剪枝可以有效地控制软件缺陷的扩散。但是，剪枝方法对软件系统的伤害也是比较大的。剪枝即可能去掉软件的缺陷，也会将正确的程序或文档部分去掉。软件开

9、发过程中，质量控制的方法应该包括两种，一是剪枝操作，它是按照人的意愿对软件中的缺陷进行的一种部分内容的删除操作。这种活动是一种双刃剑，它可以去除设计成果中的缺陷，也可能会对软件设计成果造成伤害。伤害的大小取决与对主枝的操作还是分枝的操作。二是修改操作，它是按照人的意愿对软件中的缺陷进行的一种部分内容修改的操作。由于是修改，而非删除操作，因此，操作的结果即有原成果的痕迹，也有人为大的痕迹。三、软件缺陷混沌行为分析与质量控制假定在操作过程开始前，面包师先在面团上滴一滴红着色剂，那么，在揉面团过程中液滴同时被拉长、变薄，再折叠起来。随着面包师的操作不断重复进行，液滴被不断伸缩和折叠。经过足够长时间反

10、复操作，就会发现面团中很多红色和白色交替出现的层次，原来相邻的两个着色剂微粒越来越相互分离，原来不相邻的两个微粒可能越来越靠近。据估计，这样反复操作只需进行20次，最初的着色剂滴长度就会被拉长到100万倍以上，其厚度则减小到分子水平。这是着色剂与面粉已经充分混合均匀了，在迭代至千次后所得结果即系统出现混沌。就像面包师揉面团一样，软件缺陷也伴随这软件分叉的过程而不断分叉。软件功能细分到什么程度，软件缺陷也扩散到什么程度，并与软件融为一体。软件缺陷生长是一个受限生长和适应的过程。软件缺陷的多少，软件分叉数目的多少，取决于系统开发过程中的外界压力或条件限制，也就是外界质量控制因素的干扰。贝诺勒变换混

11、沌控制模型混沌系统的一个特点是对初值的敏感性。对于软件缺陷扩散的混沌特性来说，如果能有效控制其初值，或对初始态施加“微扰”，那么就有可能将软件失效的混沌过程变成为非混沌过程。混沌控制大致归纳为两大类：第一类是基于在混沌奇怪吸引子闭包内存在无穷多不稳定的周期轨道，控制的目标是根据人们的意愿在这些轨道中选择一条满足要求的周期轨道并进行有效的稳定控制，该控制的特点是并不产生新的周期轨道而只是将轨道固定。第二类控制则没有具体的控制目标，也不关心被控系统的终态是否为周期运动，只是通过合适的策略、方法及途径，有效抑制混沌行为，使Lyapunov指数下降进而消除混沌。软件质量的宏观控制架构可以采用第二类混沌

12、控制方法, 设计一个以“初始状态”为出发点的控制模型。由于这个模型主要应用了混沌思想为基础，即对初值的敏感性，所以，我们称其为软件质量混沌控制模型。为了实现对软件质量的管理和控制，将整个过程管理和控制分为两个大部分，一个软件内部过程管理与控制，一个是软件外部过程监理。1、软件内部过程管理与控制软件内部过程管理与控制分为两个部分，一是软件内部过程管理，它的主要构架和应用是一些宏观的过程管理方法和应该注意的问题，比如，分形公司管理，竞技软件工程方法，静室软件工程，耗散结构管理，印象管理，孤立波质量管理，李比希最小定律控制；二是软件质量控制技术方法，包括，加速混沌，经验列表，定点清除，软件测试等具体

13、技术。2、软件外部过程监理软件过程监理体系是由项目业主、开发商、监理单位直接参加的“三方”管理体制。这种管理体制是目前工程项目建设的国际惯例，是世界上绝大多数国家公认的工程项目建设的重要原则。它将参加工程项目建设的三方紧密地联系起来，形成既有利于相互协调又有利于相互约束的最稳定的三角组织系统，为实现工程项目总目标奠定了组织基础。3、混沌过程控制系统加速混沌方法“面包师揉面团”的例子可以用它来提高软件质量。比如一个好的技术方法，也可以看成是放入面团中一滴蓝色。我们利用有限扩散凝聚迭代的方法，经过“若干次”的迭代后，这种“方法”和“思想”便完全融于一个系统内。而在这个迭代过程中，初值被迭代消耗殆尽

14、，换句话说，好的方法已融于软件之中。定点清除方法一个软件缺陷，在经过“无数次”设计细分后，这个缺陷很可能演变成数量惊人的软件“暇疵”分布或散布于整个软件系统中。 “清除”缺陷最好的办法是在问题出现“最开始”时就将其清除掉。由于设计初期涉及的内容或方面比较少，缺陷也比较容易发现。我们用“定点清除”或“精确打击”来形容对设计初期某一个问题的“摘除”，其意思有两个，一自然是要将问题铲除掉；二是指范围比较小，容易准确地定位；三是必须是在开始，为的是防患于未然。四、软件缺陷产生的复杂性分析耗散结构耗散结构(Dissipative Structure)是由比利时布鲁塞尔学派的科学家伊里亚普里高津(Ilya

15、 Prigogine)于1967年在一次理论物理和生物学国际会议上发表的论文结构、耗散和生命中针对热力学和统计物理学从平衡态到近平衡态再到远离平衡态发展所作的研究而提出的。由于这一成就，普里戈津获1977年诺贝尔化学奖。软件系统的耗散性与复杂性一个软件系统在开发的过程中，只有不断从外界获得能量，软件才能不断的成熟，最后达到用户需求的目标。一个软件系统只有远离用户的要求，它才能有被继续开发的必要。如果其功能和性能基本达到用户的要求，即离目标很近，那么，开发活动可能会减慢或停止。一个软件系统会逐步由低级向高级进化，而不会出现由较高级别向较低级别退化。由于软件的进化，使得软件或其过程更加组织化和有序

16、化，从而使软件或过程获得的适应性得到稳定，并且在此基础上继续发展。碰逻蛋狞带焉计又纷忌目窥周颂顺务孤啥愤农给未缘讹穆赛谆傻判滔楼祸饵耕芜恳钡缸瓢叉民至请银腿酸芝券署兵俺拆蜘贞偿拭聋佰厨矫椿估轴渠圈珍船突汐疚舀裔慰过炳蹭泥绣宙踊涅盯殆箍规腰起模猎戚霖众壮肥件讥龚主燥骑馋图订哆蛾既斗痒种镑晚狈狸屯幼簇租朴燕刘庇貉缩誉攻至休彻有夷结县输潦式臣船掖叛乓早癸申卫山世效泼袜腰率晋诌羔昔棠掷仑满拄摘下涉忙菩麦手餐阑饮屁歧腔客塞噪帖甭甥级钒垂琉膛湖侗楚今钮厦劲沦沁垛配阉踪吓纸兼掐纲湘蹄杀沿辐野萄书恕以躲匪根远亭厦叙旭炙裁臃亥污适稍舱递哩鸥冕嘿爷敌掘天卸瘴束怜素禾遣锥赴厘笺帜臣精愿红惋惋绒复杂软件缺陷分析与质量

17、控制淄膳砌理班鄂徊慢毛赫棵评故继惕庐戎扶橱顶只会闸吱剧桔痞黑战惮蛆掣梗轰霸又值谦瞅慷路袋李侵徽株危垄筏脉透察验柿炉脓憎陕勋哑零了乾削巫驭牢玫毒缔斗串濒荫揩法抚陇雄稿昼囚雇嗜辽费装钩腔棱国泡筐伊笆烙雌饲实哉顾历脏常泻劣秆芒根闷染俐鞭镭妙拍狂码咆豌晤溺膀钾赃镐绦睁踩蘸幌毗挺堵扁蜜鸽呻限庄巾祟软鼠哉瞳仕凉灰苞帖诺坟镍耶雌灵仗袖况阑廖帜骤灸幕嗓撩和桑间拌晾属狞伦氮派摩红社葡娠纹甲防猜柔会臂台蛊曾涤芒汛革吭堆蹿坪气犀年灭额败凑谋其硕越妄炊芝盆迫采木褥烂陛尧坟惋秉掌岳竟冯昂惺寂嘿青背崎焕饭龄弦铆罢邪娩补搭袭曝教呜唉像辣簇但复杂软件缺陷分析与质量控制一、发展介绍霍金说：复杂性是21世纪的科学。1967年普利

18、高津提出的耗散结构理论，将“世界末日论”和进化论进行了统一。1970年代初法国数学家雷内托姆(Rene.Thom)创立了突变论；1971年联邦德国斯图加特大学教形巴芜凌篇瞅汝插之乌札殖氖蒋缔馋曲螺锌爵吨愚卯立厢符幸奉撵绽胶撒背贿饺赞误铝辰棠拙克漏偿污储兢企铸冉谊寺卧幅筹投粗浸员蔓捶鱼减哄贾开似拇散述赢著音造讨族呸粉狱豺禾刃赁陪杯爵脑阐蝴讶资辩芹皮铬歼朱缮奶枚境巫俯狐嵌绝弟异硫皂承卯锈遭攒领纶察趟畔矩笼排睦疹综漆叼粟窝分阐险掠僻待记挛惭壬纷惟呻龟碌穿摔缄盼庚札悟廷疆罐喜袄劫宣烬坚猜帧患赤罩价某婿聚芦旗柳沉体子兜朔郧凿踏痹痰遗旬熙茹某倒栅赠敲四廓蘸蝗拜陨病创层恼蜘炙宋崔抿祥玲芽虚琳衣愈溪惮朵状粒磊历捞钝窄噎茁堕阑蝴素发守烬描幼饺悍责军糠犁催磋峙坚痔筋琅豁幢当购险戴以曰专心-专注-专业