基于知识软件可信性需求获取.pdf

第 2A期 电 子 学 报 V0I．38 No．2A 2010年2月 ACrAELECn NICASINICA Feb． 2O1O 基于知识的软件可信性需求获取 刘 春 ，王 越 ，金 芝 ，2 (1．中国科学院数学与系统科学研究院，北京 1~190；2．北京大学信息科学与技术系，北京 1~871) 摘 要：．针对软件系统的可信性需求获取，本文提出了基于知识的需求获取方法．该方法认为软件系统给环境 所带来的问题是导致软件系统不可信的原因，因而系统的可信性需求就是为避免软件系统给环境带来问题而定义的 对策，并且现实世界积累的软件系统失效和其引发问题的相关知识，可以帮助用户来识别软件系统可能带来的问题以 及相应的对策 ．该方法可以弥补分析人员在获取软件需求时的知识不足，从而帮助分析人员发现更多的软件系统的可 信性需求 ． 关键词： 软件可信性；软件失效知识；可信性需求 中图分类号： TP311 文献标识码： A 文章编号： 0372—2112(2010)2A一188—06 ElicitingDependabilityRequirements：aKnowledge—basedApproach HUChun ，WANGYue，JINZhi， (1．AcademyofMathematicsandSystemsScei~e，ChineseAcademyofSceinces，Being 1~190，hCina 2．SchoolofInformationScienceandTechnology，PekingUniversity，＆ 1~871，China) Abstract： Thispaperpmpomsamehtodforthesystem dependabifityrequirementeficitationbasedonexperientialknowledge abouthow thesoftwareoftencausesissuestohteenvironment．Thebasicideaofthisapproachisot capturedeniabilityrequirements byidentifyingtheissuesthathtesystem may晰 ngtohteenvironmentanddetermininghtecountermeasures幻 tack】ehtem ．Toiden— tifyhtepotentialissuesnaddeterminehtecountermeasures，weproposetoutilizehteaccumulatedknowledgeabo uthow htesystem failsnadbringsissuesot hteenviromn ent．Bytakingadvnatageofthiskindofknowledge，hteproposedapproachCna bdphtealia— lyststofindmoredependabifityrequirementsforhtesoftwareot bedeveloped． Keywords： softwaredependab~ ；softwarefailureknowldege；dependabilityrequirement 的原因．用户对软件系统的可信性需求正是为了避免系 1 引言 统失效可能会造成的各种问题 ．因此，为了获取软件系 软件在现实社会中扮演着越来越重要的角色 ．它在 统的可信性需求 ，了解软件系统通常如何失效、如何给 给我们带来巨大的利益的同时，也可能会因为其失效而 环境带来问题是必要的