摘要：本文介绍四种面向对象形式规格语言。Object-Z是Z语言的一种扩充,可用于面向对象软件需求规格的形式说明。为研究软件维护和逆向工程,提出了Z^(++),是Z的另一种扩充,其中引入了过程式描述机制。COLD-K是基于代数规格说明技术的面向对象软件设计语言,是一种核心语言,可设计面向用户的形式规格语言,JOOSL是基于COLD-K和Z语言的一种面向对象设计语言,可用于软件自动化的研究。

摘要：介绍了两种测试面向对象软件的方法，针对类的多重继承性进行测试的继承层次测试法（ＩＬＴ）和利用测试图并通过设计辅助类来对面向对象应用程序进行自动测试的方法。分析了这两种方法的缺陷与不足，并指出了较Ｚ语言形式化规格说明所具有的优缺点。

摘要：从面向对象的理论和应用两个方面论述了该领域的新进展,并结合软件工程的实践,表述面向对象的分析、设计和编程的新原理、新方法,结合计算机辅助工具和软件项目的管理方法,对面向对象软件工程的综合应用作系统的说明。

摘要：近年来面向对象程序设计方法逐渐成为软件设计的思想主流。在面向对象程序设计中,往往将系统分解成一系列对象和与对象相关联的类。而类和对象的识别是面向对象程序开发中最重要的一部分,不同的分析员可能采用不同的方法。文章通过实例介绍了两种简单易行的在面向对象程序设计中识别类和对象的方法。

摘要：关于面向对象的软件耦合性度量方法的研究,能够有效降低软件系统开发成本,提高系统可用性和灵活性。对软件耦合性进行度量,需要构造投影指标函数,得到面向对象软件耦合性度量阈值,完成面向对象的软件耦合性度量。传统方法获取类间的继承关联性,计算耦合因子,但忽略了得到面向对象软件耦合性度量阈值,导致度量精度偏低。提出基于复杂网络的面向对象软件耦合性度量方法。该方法定义面向对象软件系统的二分图,组建特殊二分图耦合关系模型,计算出软件系统加权平均扇出数,计算出类和类间的连边,选取软件耦合性度量指标,将对象软件耦合性度量样本的各指标值进行线性归一化处理,构造投影指标函数,得到面向对象软件耦合性度量阈值,以此为依据对面向对象软件耦合性进行度量。实验结果表明,所提方法度量精度高,大幅度提升了软件开发的技术水平。

摘要：软件失效模式及影响分析(FMEA)是一种提高软件安全性和可靠性的有效方法。本文提出基于程序依赖关系的面向对象软件程序级FMEA方法,在详细设计及代码实现阶段,通过构造系统依赖图描述代码间存在的复杂的依赖关系,并采用切片技术提高失效原因和影响分析的效率。

摘要：分析了面向对象软件工程的优点 ,介绍了UML方法 ,给出UML方法的图形表示法 。

摘要：今天,面向对象软件已经成为软件行业的主流,人们已经习惯于使用面向对象的软件开发工具设计开发面向对象软件并使之硕果累累.但是好的软件系统离不开严密的软件测试体系,在面向对象软件空前繁荣的今天如何对其进行有效的测试已经成为软件界的一个热门话题.测试面向对象软件可以使用传统过程软件的测试方法,但是面向对象软件系统在某些方面尤其是在单元测试方面提出了一些新的挑战,其测试策略值得深入探讨.本文从面向对象软件的自身特点出发,在传统的过程软件测试的基础上探讨如何有效地对面向对象软件进行测试.

摘要：面向对象软件测试是保证软件质量提高软件可靠性的关键问题,已经成为当前研究的热点。面向对象具有的封装性、继承性和多态性等特性,给程序设计带来了好处,但却给软件测试提出了新的要求,加大了测试难度。在分析了面向对象语言对软件测试的影响之后,讨论了软件测试的策略和技术并提出了一种适应于作为基本测试单元的类测试途径。因此,提出一种测试方法——人为植入错误法,这种方法可以为被测试软件找出错误和错误总数,来评估软件的质量。

摘要：目前面向对象程序设计技术已经得到了广泛的使用,然而传统的面向过程式软件测试方法已经不能更好地与之相适应,如何对面向对象的程序进行测试?本文主要讨论了面向对象软件测试中的一些问题,包括面向对象软件编码阶段的单元测试和系统集成测试的实施测试。