- 博客(6)
- 收藏
- 关注
RSS订阅原创 软件构造6：语法驱动编程
一、引入：对于编程环节，一个经常会出现的任务就是将给定的文本内容进行读取并将读取的字符串转化为应用中所需要的各类数据。显然仅仅通过编译器而不是人为设定某些规则的话我们无法做到将读取的字符串根据我们想要的划分结果进行分割。而如果对于每一次读入的字符均给定划分方式固然可行，但是这样做会造成两个负面结果：一是代码的可读性与整洁性大大下降，毕竟对于每个文本的处理并不是那么容易；二是如果文本的容量很大（比如10000行），这个时候对于每种情况给出划分显然不合适。对于输入的文本存在一定的格式规律的情况，我们通常使用一
2022-06-26 05:55:47
79
1
原创 软件构造5：ADT
一、ADT的特性表示泄露、抽象函数AF、表示不变量RI二、操作的分类三、AF和RI1.两个表示空间抽象空间：client看到和使用的空间ADT开发者关注表示空间R，client关注抽象空间A。2.抽象函数AFR和A之间的映射关系的函数，即如何去解释R中的每一个值为A中的每一个值。AF：满射、非单射、未必双射=>R中的部分值并非合法的，在A中无映射值。3.RI表示不变性：某个具体的“表示”是否是“合法的”也可将RI看作：所有表示值的一个子集，包含了所有合法的表示值也可将RI看作：一个条件，描述了什么是“合法”
2022-06-22 10:58:59
64
原创 软件构造4：Specification规约
一、为什么需要规约很多bug来自于双方之间的误解，若不写规约，那么不同开发者的理解可能不同，没有规约，难以定位错误。开发者代码中的数据类型和一些关键字本身蕴含了设计决策，给编译器读。采取规约，以注释形式写出设计决策，给自己和别人读，防止自己记不住或别人看不懂。规约还可以扮演防火墙角色，将用户和开发者隔离开，只讲能做什么，不讲怎么实现。二、行为等价性行为等价形是站在客户角度看行为等价性，不看内部具体实现。根据规约判断是否行为等价。若两个方法满足同一个规约，则可以说这两个方法行为等价。三、设计规约前置条件：对客
2022-06-22 10:33:53
92
原创 软件构造3
面向对象编程——Object Oriented Programming，简称OOP，是一种程序设计思想。OOP把对象作为程序的基本单元，一个对象包含了数据和操作数据的函数。面向过程的程序设计把计算机程序视为一系列的命令集合，即一组函数的顺序执行。为了简化程序设计，面向过程把函数继续切分为子函数，即把大块函数通过切割成小块函数来降低系统的复杂度。而面向对象的程序设计把计算机程序视为一组对象的集合，而每个对象都可以接收其他对象发过来的消息，并处理这些消息，计算机程序的执行就是一系列消息在各个对象之间传递。在Py
2022-06-05 21:13:02
53
原创 软件构造LAB2 收获
LAB2 收获：泛型1.定义：2.优点：3.泛型的使用： 泛型虽然通常会被大量的使用在集合当中，但是我们也可以完整的学习泛型只是。泛型有三种 使用方式，分别为：泛型类、泛型方法、泛型接口。将数据类型作为参数进行传递。3.1泛型类泛型类型用于类的定义中，被称为泛型类。通过泛型可以完成对一组类的操作对外开放相同的接口。最典型的就是各种集合框架容器类，如：List、Set、Map。 注意： 定义的泛型类，就一定要传入泛型类型实参么？ 并不是这样，在使用泛型的时候如果传入泛型实参，则会根据传
2022-06-01 12:47:38
67
原创 软件构造1
一：白盒测试是什么：白盒测试又称结构测试、透明盒测试、逻辑驱动测试或基于代码的测试。白盒测试是一种测试用例设计方法，盒子指的是被测试的软件，白盒指的是盒子是可视的,你清楚盒子内部的东西以及里面是如何运作的。"白盒"法全面了解程序内部逻辑结构、对所有逻辑路径进行测试。"白盒"法是穷举路径测试。在使用这一方案时，测试者必须检查程序的内部结构，从检查程序的逻辑着手，得出测试数据。贯穿程序的独立路径数是天文数字。二：测试方法：强度由低到高:语句覆盖、判定覆盖、条件覆盖、判定条件覆盖、条件组合覆盖、路径覆
2022-05-26 10:32:49
122
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人