软件工程实验_01.doc

软件工程小调查 概述与说明，实现方法，度量与评价方法，工具与支持技术 可修改性： 概述与说明 允许对软件系统进行修改而不增加其复杂性。它支持软件调试与维护。 实现方法 该过程的实现包括“编写程序”和“测试程序”。 “编写程序”是在详细设计的基础上进行的，它将详细设计得到的处理过程的描述转换为基于某种计算机语言的程序，即源程序代码。 “测试程序”则是在软件投入运行前，对软件需求分析、设计规格说明和编码的最终复审，是发现软件故障，保证软件质量，提高软件可靠性的主要手段。随着人们对软件质量越来越高重视，软件测试在软件开发中的地位也越来越重要。 度量与评价方法 数据说明的次序应当规范化 说明语句中变量安排有序化 使用注解说明复杂数据结构 工具与支持技术 有效性： 概述与说明 指软件系统的时间和空间效率。这是一个应当努力追求的重要目标 实现方法 用测试系统测试多次 度量与评价方法 在最短的时间内而且在最适合的空间内做出做好的事情 工具与支持技术 软件的白盒测试是基于过程细节的封闭检查。通过提供检查特定条件集合和循环的测试用例，测试贯穿软件的逻辑路径和构件间的协作。利用白盒测试方法，软件工程师设计的测试用例可以： （1）保证一个模块中的所有独立路径至少被执行一次 （2）对所有的逻辑值均需检测真和假 （3）在上下边界及可操作的范围内执行所有的循环 （4）检验内部数据结构以确保其有效性 可靠性： 概述与说明 软件可靠性是软件在给定的时间间隔及给定的环境条件下，按设计要求，成功地运行程序的概率。在测试中可靠性的体现如下：在软件开发的过程中，利用测试的统计数据，估算软件的可靠性，以控制软件的质量是至关重要的。推测错误的产生频度，即推测错误产生的时间间隔推测残留在程序中的错误数评价测试的精确度和覆盖率。 实现方法 估算错误产生频度的一种方法是估算平均失效等待时间MTTF (Mean Time To Failure) MTTF估算公式(Shooman模型) Hyman分别测试法： 由两个测试员同时互相独立地测试同一程序的两个副本，用 t 表示测试时间，记 t＝0时，程序中原有故障总数是 B0；t＝t1 时，测试员甲发现的故障总数是 B1；测试员乙发现的故障总数是 B2；其中两人发现的相同故障数目是 bc；两人发现的不同故障数目是 bi。 测试结束时软件产品质量水准： 度量与评价方法 SPQL (Software Product Quality Level) 用如下公式度量： SPQL ＝ Ac×Cv 其中，Ac (Test Accuracy) 是测试的精确度，它反映了测试的质量；Cv (Test Coveragy) 是测试的覆盖度，它反映了测试的数量。 对于一般功能单纯的小规模的程序模块，具有时间延迟的NHPP模型比较合适； 对于功能比较复杂的程序模块，S型NHPP模型比较合适； 对于80000行以上的程序，最基本的指数型NHPP模型比较合适。 可理解性： 概述与说明 指系统具有清晰的结构，能直接反映问题的需求。可理解性有助于控制软件系统的复杂性，并支持软件的维护、移植和重用。 实现方法 注意在写程序的时候写文档 度量与评价方法 用特制的一些软件进行测试 工具与支持技术：JBuilder、VisualAge for Java等 可维护性： 概述与说明 软件可维护性即维护人员对该软件进行维护的难易程度,具体包括理解、改正、改动和改进该软件的难易程度。1. 维护组织 2. 维护文档维护申请表、维护报告、维护记录。 3.维护的过程 （1）提出申请 （2）安排维护 （2）维护和记录 （3）维护的复审 软件的可维护性，主要表现在它的可理解性、可测试性、可修改性、可移植性等诸方面。 度量与评价方法 如何提高软件的可维护性 1．明确软件工程的质量目标 2．利用先进的软件技术和工具 3．选择便于维护的程序设计语言 4．采取有效的质量保证措施 5．完善程序的文档 工具与支持技术：JBuilder、VisualAge for Java等 可重用性： 概述与说明 重用也叫再用或复用，是指同一事物不作修改或稍加改动就多次重复使用。在软件工程中，重用是指使用一个产品中的组件来简化另一个不同的产品的开发。 实现方法 最早的软件重用技术:人们建造了子程序库，开发成运行时支持程序，使用时只需要调用相应的函数或方法即可，而不用从头开始建造相应的程序。重用不但可以缩短开发过程、降低开发成本、提高软件产品的质量，还可以减少维护的时间和降低维护成本。 大量使用可重用的组件来开发软件，可以从下述两个方面提高软件的可维护性： 第一方面，通常可重用的组件在开发时经过很严格的测试，可靠性比较高，且在每次重用过程中都会发现并清除一些错误，