新闻动态NEWS

当前位置:主页 > 新闻动态 > 公司新闻 > 公司新闻

软件过程模型之形式化系统开发和基于组件的开

       形式化系统开发
 
       苏州软件开发认为形式化方法建立在严格的数学基础上,其开发过程基于的是用形式化数学转换来将系统描述转换为一个可执行的程序。因此,用形式化开发方法开发的系统具有较高的可信度和正确性,它适用于开发对安全性、可靠性等要求极高的系统。
 
       如图2.7所示.形式化方法类似于瀑布模型的方法。但两者有着本质的区别:形式化开发方法中将需求用数学符号进行形式化描述;瀑布模型中的设计、实现和单元测试等开发过程被形式化转换过程代替。
 
       苏州安卓软件开发认为在形式化变换过程中,系统形式化的数学表达被转换成更详细但仍然正确的数学表达。每转换一次增加一些细节,直至形式化描述最终被转换成一个可执行的程序。由于转换过程的正确性得到数学上的保证,因此转换的结果程序具有较少的缺陷和较高的安全性。尽管如此,除了一些特殊的系统,形式化方法的应用并不多。原因主要在于以下几个方面。
 
       (1)形式化方法的掌握需要经过特殊的训练。
 
       (2)形式化描述和转换的人力、物力费用很大,采用这种方法开发软件在成本和质量上并不占优势。
 
       (3)形式化方法很难描述系统交互,而系统交互是大多现实系统的重要部分。
 
       基于组件的开发模型
 
       软件复用被认为是提高软件开发效率和质量的最有效途径。最近几年,一个面向复用的软件开发方法(基于组件的开发方法)出现了,并且正在逐渐地被广泛使用。基于组件的开发方法依赖于可获取的可复用组件及能集成这些组件的框架。基于组件的软件开发过程模型如图2.8所示。
 
       苏州adnroid开发认为基于组件开发方法的需求分析和系统验证与其他过程类似,不同之处在于中间的几个阶段。在需求确定后,开发人员会搜寻可供使用的组件,并分析得到的组件。通常没有刚好满足要求的组件,在分析组件信息基础上,开发人员可能调整需求以适应组件或者修改现有组件以适应需求。所选的组件可能是从市场上采购或从旧组件中提炼出来的,也可能是新开发的。选完组件后,开发人员要依据所选组件设计系统架构或者复用已有的架构。最后,将所有组件集成起来并完成测试工作。
 
       基于组件的开发方法可以减少待开发软件数量,减低软件成本,提高软件质量,相对其他过程具有明显的优势。然而,该方法的使用也受到一些因素的制约。为适应组件,需求的修改通常是不可避免的,而这种修改有可能导致系统不符合用户的需要。此外,系统的进化无法控制,因为可复用组件的新版本不一定是由开发机构控制的。
 
       计算机辅助软件工程
 
       计算机辅助软件工程(CASE)是帮助进行应用程序开发的软件,包括:需求分析、设计,程序开发和测试。CASE是一组工具和方法的集合,用来促进软件过程的自动化,提高软件开发的效率和软件的质量。
 
       CASE具由许多部分组成,一般按软件开发的不同阶段分为上游CASE、下游CASE和支持项目管理的CASE产品。上游或前端CASE具自动进行应用程序的计划、设计和分析,帮助用户定义需求,产生需求说明,并可完成与应用开发相关的所有计划工作。下游或后端 CASE具自动进行应用系统的编程、测试和维护工作。支持项目管理的CASE贯穿于整个软件开发周期,主要支持项目管理和评估等活动。
 
       另一种分类方法是将CASE依据其支持活动的范围分为工具、工作平台和环境。工具用以支持单个过程的任务,包括:编辑器、程序编译、比较测试结果等。这些工具可以独立存在,也可以被集成到工作平台中。工作平台通常是一系列 CASE具的集成,用来支持过程某一阶段的活动,包括:分析和设计平台、程序设计平台、测试平台等。CASE环境用以支持软件开发的全部过程或者大多数过程,通常由多个工作平台集成。图2.9所示给出了CASE的分类说明。
 
       苏州苹果软件开发认为以上简单阐述了CASE技术的分类。应当指出的是,在实际过程中,这些不同分类之间并没有清晰的界限。孤立的 CASE具虽然能支持软件工程的某项活动,但工具之间缺乏统一的通信平台。因此,有必要将相互独立的 CASE具集成起来,为软件开发人员提供完整的、一体化的支持,从而进一步提高软件生产率和产品质量。事实上,目前已经很少使用单独的CASE具。

在线咨询
在线咨询
在线客服