第三单元博客 (1)设计策略 参照指导书和JML规格进行实现。 (2)结合课程内容，整理基于JML规格来设计测试的方法和策略 Junit单元测试，通过使用Junit达到对每个函数的测试，从而保证每个函数都符合JML规格。 (3)总结分析容器选择和使用的经验 HashMap和HashSet在查找时候能 ...
分类：
其他好文 时间：
2021-06-02 20:19:33
阅读次数：
0
express是一个基于node的极其轻量级的框架，用于快速开发web及移动端应用 首先，电脑中如果没有express全局环境，需要指令 npm install express -g 进行全局环境的安装。如果想用express脚手架创建项目，也要用指令 npm install express-gen ...
分类：
其他好文 时间：
2021-06-02 20:18:55
阅读次数：
0
大家知道EasyCVR是一个支持协议很宽泛的视频平台，因此兼容了很多协议的优点，比如支持云台控制设备，也支持通过不同协议的级联平台等。近期EasyCVR在测试中出现本地平台能云台控制下级设备，但是上级设备却无法控制下级设备的情况。 针对此情况，我们进行了抓包分析。 通过抓包分析，能够查看到上级发送的 ...
分类：
其他好文 时间：
2021-06-02 20:17:06
阅读次数：
0
打开MATLAB 命令窗口输入 guide 弹出 可以修改路径 点击确定，弹出设计界面 点击运行按钮 弹出 这个界面就是我们最终设计好的界面 现在由于什么都没有加入 所以一片空白 可以拖动左边的组件 来创建GUI 点击运行 调整组件的排列，第一种是在第三部的界面直接拖动组件，第二种如下： 选中要排列 ...
分类：
其他好文 时间：
2021-06-02 20:03:55
阅读次数：
0
字符生成工具（println，java）如果让我们手工的来编辑这些字符画，显然是一件非常困难的差事。所以，我们可以借助下面这些工具，轻松地根据文字或图片来生成用于Banner输出的字符画。 http://patorjk.com/software/taaghttp://www.network-scie ...
分类：
编程语言 时间：
2021-06-02 19:58:43
阅读次数：
0
看起来和3很相似，但是测试未成功发现错误，要用别的方法 查看默认目录得到日志路径，抓包将一句话木马插入于用于代理中 放包后蚁剑进行连接 找到flag ...
分类：
Web程序 时间：
2021-06-02 19:56:24
阅读次数：
0
什么是ddt：ddt是ddt+unittest来进行数据处理的第三方库装饰器：会在你的函数运行之前运行，不会改变代码结构一般进行接口测试时，每个接口的传参都不止一种情况，一般会考虑正向、逆向等多种组合。所以在测试一个接口时通常会编写多条case，而这些case除了传参不同外，其实并没什么区别。这个时 ...
分类：
其他好文 时间：
2021-06-02 19:52:08
阅读次数：
0
程序员的工作怎么量化？bug 数？代码行？版本数？ 做过程序员的都知道，这些指标都是不可行的。 例如某通信大厂考核程序员的 bug 数和等级，并且更加让人蛋疼的是同时考核测试人员发现 bug 的数量，结果程序员和测试员为了一个问题是 bug 还是需求遗漏、bug 等级是严重还是一般，能够吵上 2 个 ...
分类：
其他好文 时间：
2021-06-02 19:49:21
阅读次数：
0
发现打包失败 测试发现 npm run build 打包失败 发现问题1 node_modules 库 没装 rm -rf node_modules 进行 npm install 安装失败 发现linux下网不通，有代理设置 解决网络问题，然后网通了 npm install 安装还是失败 安装 cn ...
分类：
系统相关 时间：
2021-06-02 19:41:35
阅读次数：
0
?# 简介 此文章整合了其他文章，为了能迅速找到合适的插件而创作，也是为了自己碍于找不着插件名称而烦恼 Key Promoter X Key Promoter X 插件，IDEA 快捷键提示工具。 MyBatisX MyBatisX 插件，对 MyBatis 框架的增强 插件，提升使用 MyBati ...
分类：
其他好文 时间：
2021-06-02 19:41:18
阅读次数：
0
