扩展用例驱动技术在软件系统中的分析与应用摘要：当前成熟的软件系统分析与设计方法大多关注于软件系统的功能性，而可信性并未得到充分的考虑。随着软件本身及其运行环境日渐复杂，功能实现过程中软件的可信性引起人们越来越多的关注O为了构建出既满足功能性需求又满足可信性需求的对象模型，提出一种扩展用例驱动的设计方法，运用现有开发方法ICONIX方法，对软件分析设计过程中的健壮性分析过程进行扩展。引入一种新的用例来实现软件功能性和可行性的结合，并最终得出所需对象模型。关键词：软件分析；可信性；扩展用例；对象模型号:1004?373X(2016)08?0033?04AnalysisandapplicationofextendedusecasedrivingtechnologyinsoftwaresystemYANXi,SHABairong,ZHENGWei(SchoolofElectronicsandInformation9JiangsuUniversityofScienceandTechnology,Zhenjiang212003,China)Abstract:Currentmaturesoftwareanalysisanddesignmethodsaremainlyconcernedwiththefunctionofthesoftwaresystem,butthecredibilityofthesoftwarehasnotbeenfullyconsidered・Sincethesoftwareanditsrunningenvironmentbecomemoreandmorecomplex,thesoftwarereliabilityintherealizationprocessofitsfunctionhasattractedmoreandmore中图分类号：TN911734；TP311文献标识码:A文章编attention・Inordertobuildtheobjectmodel,whichnotonlymeetsthefunctionalrequirements,butalsosatisfiesthedemandofthecredibility,adesignmethodoftheextendedusecaseisproposedinthispaper.Theexistingmethod,ICONIXmethod,isusedtoextendtheanalysisprocessofrobustnessinsoftwareanalysisanddesignprocess・Anewusecaseswasintroducedtoachieveacombinationofsoftwarefunctionalityandfeasibility,andtheobjectmodelneededforsoftwaredesignwasobtained・Keywords：softwareanalysis；credibility；extendedusecase；objectmodel0引言随着软件系统应用领域越来越多，软件系统使用中也正面临着各式各样的功能性以外的干扰（比如网络恶意攻击、用户操作失误等）；在这些情况下，构建一个可信属性的系统已成为开发人员所面临解决的一大难题。然而，怎样在软件分析与设计中综合考虑功能性和可信性，目前并无行之有效的方法。文中基于当前常用的用例驱动分析设计方法ICONIX,提出了一种扩展用例驱动的方法，将可信软件系统建模为一个有前馈和反馈控制的系统。过程中，系统将通过引入的前馈和反馈控制来应对自身可能出现的行为偏差以及外在存在的威胁，从而提高可信性，最终构建出既满足功能性需求又满足可信性需求的对象模型。1用例驱动方法ICONIX［1］是众多用例驱动开发方法中比较轻量级的一种，过程的规模大概在重量级RationalUnifiedProcess(RUP)和轻量级的极限编程(XP)之间，在软件系统分析设计的过程中使用一个最小的UML核心子集(4种UML元素：用例图、健壮性图、时序图、类图)来实现对用例驱动的00设计。ICONIX方法的基本设计过程包含领域建模、用例建模、健壮性分析、交互建模［2］四个步骤；该动态过程的目标是不断精化，并运用适当方式进行测试［3］以完善用例系统对象模型设计。其中，领域建模和用例建模构成需求分析阶段的主要活动，健壮性分析和交互建模则构成在统设计阶段的主要活动。在开发可信性软件系统时，主要考虑“影响系统的可信性的潜在因素有哪些？”，从根本出发，将可信的软件系统建模为前馈?反馈控制系统［4?5］,被控对象是软件系统的核心，其对外展现了系统的基本行为和所有服务。其中，前馈控制主要用来应对需求分析时出现的威胁，然而在分析阶段过程中很难预计运行时所将面临的各类威胁，因而需要反馈控制来应对处理运行过程中出现的行为偏差。通过两者相互协作，确保软件系统能够保障行为符合预期、服务可信赖，从而提高自身可信性。2扩展用例驱动的方法2.1扩展用例驱动模型扩展用例驱动模型是对原有用例驱动模型进一步扩展，在其中引入一个新的用例。如图1所示的系统元模型图展示了用例相关的各个概念及之间存在的关系。图1中新引入用例的主要作用是控制其他用例以及自身的活动序列，并从中采取相应...