- 博客(5)
- 收藏
- 关注
RSS订阅原创 对软构中LSP的理解
父类中定义的前置条件、后置条件和不变量在子类中必须得到满足，子类可以加入额外的前置条件和弱化后置条件，但不得改变原有约束条件的含义。子类型必须能够替换父类型：如果 S 是 T 的子类型，那么任何程序中可以使用 T 类型的地方都可以使用 S 类型，而不会引发错误、异常或导致不一致的行为。减少错误和异常：通过确保子类能够无缝替换父类，可以减少由于类型不匹配而引发的错误和异常，提高代码的稳定性和可靠性。使用抽象类和接口：通过使用抽象类和接口，可以定义规范和约束，确保子类在实现时遵循相同的行为和约束条件。
2023-05-26 23:27:37
190
1
原创 软件构造的技术基础OOP
OOP 的核心思想是以对象为中心，将问题领域的概念映射到软件系统中，使得代码更加符合人类思维方式，提高了开发效率和软件质量。然而，合理使用 OOP 需要平衡设计的复杂性和性能的考虑，并结合具体的应用场景进行权衡和选择。OOP 是一种以对象为核心的编程范式，通过封装、继承和多态等机制，将数据和操作组织为相互关联的对象，从而实现模块化、可重用和可维护的软件系统。抽象和接口：抽象是对类和对象的一种概括，通过抽象可以定义共享的特性和行为。通过抽象和接口，可以实现代码的松耦合和高内聚，提高系统的可扩展性和可维护性。
2023-05-26 23:21:36
116
1
原创 软件构造的理论基础ADT
软件构造中的ADT（Abstract Data Type，抽象数据类型）是一种理论基础，它提供了一种组织和操作数据的方式，使得数据的实现细节与其使用者分离开来。ADT 可以被看作是一种数据的抽象，它定义了数据的逻辑结构和操作，而不涉及具体的实现细节。总结来说，ADT 是软件构造的重要理论基础，通过将数据和操作抽象为一个整体，提供了模块化、可维护、可重用、灵活和安全的设计方式。安全性：ADT 提供了一定的数据访问控制，通过定义接口的访问权限，可以控制对数据的访问方式和范围，从而提高数据的安全性。
2023-05-26 23:19:49
205
1
原创 白盒测试与黑盒测试
这种方法是把测试对象看做一个打开的盒子，它允许测试人员利用程序内部的逻辑结构及有关信息，设计或选择测试用例，对程序所有逻辑路径进行测试。这种方法是把测试对象看做一个黑盒子，测试人员完全不考虑程序内部的逻辑结构和内部特性，只依据程序的需求规格说明书，检查程序的功能是否符合它的功能说明。由于任何程序只能进行少量(相对于穷举的巨大数量而言)的有限的测试，在未发现错误时，不能说明程序中没有错误。白盒测试：已知产品的内部工作过程，可以通过测试证明每种内部操作是否符合设计规格要求，所有内部成分是否以经过检查。
2023-05-26 23:11:25
78
1
原创 对敏捷开发的理解
敏捷开发（Agile Development）不是指某一种具体的方法论、过程或框架，而。敏捷并不是一门具体的技术，而。它可以指导我们更加高效的开发。相比于“传统”的瀑布开发模式，敏捷开发是一种“现代”的开发模式。
2023-05-26 23:08:27
75
1
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人