一.作业公共信息区
| 博客信息 | 沈阳航空航天大学计算机学院2020软件工程作业 |
|---|---|
| 作业要求 | https://edu.cnblogs.com/campus/sau/Computer1701-1705/homework/10616 |
| 课程目标 | 熟悉一个“高质量”软件的开发过程 |
| 作业目标 | 熟悉代码规范及结对互审 |
二.代码相关
代码链接:
代码功能:动态图最短路径算法，实现四种算法基本模型.
代码评价:本文主要实现了四个算法，stl使用熟练，代码思路清晰，标有注释,封装度不够好，可移植性太差，没有体现c++的编程思想，继承，多态，封装，建议多使用c++的特征，多使用智能指针防止资源泄漏，多利用继承多态体现良好的封装性.
相关的思路就是用stream 表示 temporal graph，就是根据时间发生的先后，最早到达时间算法，这个算法就是根据贪心来的，只需要把temporal graph用stream表示出来，这样就限制了发生时间的顺序，然后就是根据传统算法dij边的松弛思想去做，复杂度O(n+m)，这个算法也是基于贪心，源点s到v都是最早到达时间.另外三个算法（1）latest-depature paths和（2）fastest paths 及其优化算法，(1)根据算法1，将所有的边倒过来，反过来排序，然后就是和算法1的过程一样了，思想和证明都是类似，(2)算法是根据 算法一和(2)算法的定义来的，就是给定初始的出发时间，那么路上花的时间就是t[v]-t,注意这里的出发时间是源点s与之相邻边的初始时间，不是算法中的tmin，所以需要多加一个for循环来限制这个初始时间，然后进行算法1的过程，复杂度O(S(n+m)),那么改进算法就是引入了一个L集合，里面有s[v],a[v],s[v]是初始时间，a[v]是到达时间，那么a[v]-s[v]就可以用来更新s[v]了，复杂度O（n+m*logc）.
-
三.审核
功能模块名称 动态图最短路径算法 审查人 姜智文 审查日期 2020.04.13 代码名称 动态图最短路径算法 代码作者 潘室泽 文件结构 重要性 审查项 结论 头文件和定义文件的名称是否合理？ 是 头文件和定义文件的目录结构是否合理？ 是 版权和版本声明是否完整？ 无 重要 头文件是否使用了 ifndef/define/endif 预处理块? 是 头文件中是否只存放“声明”而不存放“定义” 无 程序的版式 重要性 审查项 结论 空行是否得体？ 是 代码行内的空格是否得体？ 是 长行拆分是否得体？ 是 “{” 和 “}” 是否各占一行并且对齐于同一列？ 是 重要 一行代码是否只做一件事？如只定义一个变量，只写一条语句。 是 重要 If、for、while、do等语句自占一行，不论执行语句多少都要加 “{}”。 是 重要 在定义变量（或参数）时，是否将修饰符 * 和 ＆ 紧靠变量名？注释是否清晰并且必要？ 是 重要 注释是否有错误或者可能导致误解？ 否 重要 类结构的public, protected, private顺序是否在所有的程序中保持一致？ 无 命名规则 重要性 审查项 结论 重要 命名规则是否与所采用的操作系统或开发工具的风格保持一致？ 是 标识符是否直观且可以拼读？ 是 标识符的长度应当符合“min-length && max-information”原则？ 是 重要 程序中是否出现相同的局部变量和全部变量？ 是 类名、函数名、变量和参数、常量的书写格式是否遵循一定的规则？ 是 静态变量、全局变量、类的成员变量是否加前缀？ 是 表达式与基本语句 重要性 审查项 结论 重要 如果代码行中的运算符比较多，是否已经用括号清楚地确定表达式的操作顺序？ 是 是否编写太复杂或者多用途的复合表达式？ 否 重要 是否将复合表达式与“真正的数学表达式”混淆？ 否 重要 是否用隐含错误的方式写if语句? 例如 否 （1）将布尔变量直接与TRUE、FALSE或者1、0进行比较。 无 （2）将浮点变量用“==”或“！=”与任何数字比较。 否 （3）将指针变量用“==”或“！=”与NULL比较。 否 如果循环体内存在逻辑判断，并且循环次数很大，是否已经将逻辑判断移到循环体的外面？ 否 重要 Case语句的结尾是否忘了加break？ 否 重要 是否忘记写switch的default分支？ 是 重要 使用goto 语句时是否留下隐患? 例如跳过了某些对象的构造、变量的初始化、重要的计算等。 无 常量 重要性 审查项 结论 是否使用含义直观的常量来表示那些将在程序中多次出现的数字或字符串？ 是 在C++ 程序中，是否用const常量取代宏常量？ 否 重要 如果某一常量与其它常量密切相关，是否在定义中包含了这种关系？ 是 是否误解了类中的const数据成员？因为const数据成员只在某个对象 无 生存期内是常量，而对于整个类而言却是可变的。 无 函数设计 重要性 审查项 结论 参数的书写是否完整？不要贪图省事只写参数的类型而省略参数名字。 是 参数命名、顺序是否合理？ 是 参数的个数是否太多？ 否 是否使用类型和数目不确定的参数？ 否 是否省略了函数返回值的类型？ 否 函数名字与返回值类型在语义上是否冲突？ 否 重要 是否将正常值和错误标志混在一起返回？正常值应当用输出参数获得，而错误标志用return语句返回。 否 重要 在函数体的“入口处”，是否用assert对参数的有效性进行检查？ 否 重要 使用滥用了assert？ 例如混淆非法情况与错误情况，后者是必然存在的并且是一定要作出处理的。 否 重要 return语句是否返回指向“栈内存”的“指针”或者“引用”？ 无 是否使用const提高函数的健壮性？const可以强制保护函数的参数、返回值，甚至函数的定义体。“Use const whenever you need” 否 内存管理 重要性 审查项 结论 重要 用malloc或new申请内存之后，是否立即检查指针值是否为NULL？（防止使用指针值为NULL的内存） 无 重要 是否忘记为数组和动态内存赋初值？（防止将未被初始化的内存作为右值使用） 是 重要 数组或指针的下标是否越界？ 否 重要 动态内存的申请与释放是否配对？（防止内存泄漏） 无 重要 是否有效地处理了“内存耗尽”问题？ 否 重要 是否修改“指向常量的指针”的内容？ 无 重要 是否出现野指针？例如（1）指针变量没有被初始化;（2）用free或delete释放了内存之后，忘记将指针设置为NULL。 否 重要 是否将malloc/free 和 new/delete 混淆使用？ 否 重要 malloc语句是否正确无误？例如字节数是否正确？类型转换是否正 确？ 无 重要 在创建与释放动态对象数组时，new/delete的语句是否正确无误？ 无 其它常见问题 重要性 审查项 结论 重要 数据类型问题： （１）变量的数据类型有错误吗？ 无 （２）存在不同数据类型的赋值吗？ 否 （３）存在不同数据类型的比较吗？ 无 重要 变量值问题： （１）变量的初始化或缺省值有错误吗？ 无 （２）变量发生上溢或下溢吗？ 无 （３）变量的精度够吗？ 是 重要 逻辑判断问题： （１）由于精度原因导致比较无效吗？ 无 （２）表达式中的优先级有误吗？ 无 （３）逻辑判断结果颠倒吗？ 无 重要 循环问题： （１）循环终止条件不正确吗？ 无 （２）无法正常终止（死循环）吗？ 无 （３）错误地修改循环变量吗？ 无 （４）存在误差累积吗？ 无 重要 错误处理问题： （１）忘记进行错误处理吗？ 否 （２）错误处理程序块一直没有机会被运行？ 无 （３）错误处理程序块本身就有毛病吗？如报告的错误与实际错误不一致，处理方式不正确等等。 无 （４）错误处理程序块是“马后炮”吗？如在被它被调用之前软件已经出错。 无 重要 文件I/O问题： （１）对不存在的或者错误的文件进行操作吗？ 否 （２）文件以不正确的方式打开吗？ 否 （３）文件结束判断不正确吗？ 否 （４）没有正确地关闭文件吗? 否