[软工导论]第4章 形式化说明技术.pptVIP

需求分析阶段 软件工程的发展 软件工程的发展大体围绕着两条主线:一条是形式化技术，一条是工程化技术。 工程化技术的研究包括方法学的研究以及与其相关的支撑环境的研制。在方法学方面，大体可分为程序设计方法学和软件开发方法学，前者是关于小规模程序设计，后者是关于大规模软件的开发过程。目前，主要有结构化方法和面向对象方法. 形式化技术的研究及应用的成果:程序设计语言语义方面和抽象数据类型方面的研制。 形式化技术与软件开发方法学相结合，形成形式化的软件开发方法，试图实现从软件的规格说明、软件的设计到软件的代码实现的自动转换和验证。例如:基于模型的VDM、Z和基于代数的Larch; 软件自动化目标：计算机真正成为人们的一种工具，用户即为系统分析员，“软件过程是软件”。 途径:形式化技术与工程化技术有机的统一，并容纳其它相关的技术，产生一种新的软件生产方法、技术、规程以及相应的工业标准. 优点:能引导软件工程师或程序员按照严格的步骤写出需求说明， 但使用任何形式化方法的前提是已经确切和完整地收集到了用户的需求信息。 因此应尽可能多地把用户吸引到软件开发过程中来，使用户能尽早发现正在研制中的软件与他的需求之间的偏差。 缺点：很难被直接用作软件工程师和用户之间合作的基础。 在研制和运行软件的过程中，需求信息可能改变，修改设计或重新设计都会给这两部分人带来沉重负担。 解决方案:不仅要把用户吸引到软件