一 测试的优点在于它十分方便快捷，缺点在于可能的测试数据通常极为庞大，难以保证通过了测试后代码就完全没有错误；而正确性论证相对较为繁琐，但是能在一定程度上确保代码没有错误。 二 它们都是基于数学中的逻辑表达式而精确描述的一种语言，而OCL偏向于建模，JSF偏向于行为描述。 三 四 4.1 前两个单元 ...
分类：
其他好文 时间：
2018-06-22 20:31:48
阅读次数：
181
测试与正确性论证的效果差异 测试只能是根据规格对所有可能的情况的子集多次试验，而正确性论证是对指定的描述的所有可能的情况进行逻辑验证，更加严密。 二者的优缺点：二者各有优势，互为补充 测试是一种基于数据的验证方法，通过大量不同数据试图查出缺陷，需要花大量时间穷尽所有组合的可能，很难达到完整。 正确性 ...
分类：
其他好文 时间：
2018-06-18 17:13:07
阅读次数：
179
一、iostat背景是我们在进行大量的数据更新操作，以此来查看磁盘的状态情况。我们查看磁盘IO，也主要是通过iostat这个命令来进行查看。iostat-d-k15-d表示，显示设备（磁盘）使用状态，去掉可以和CPU状态一起显示；-k某些使用block为单位的列强制使用Kilobytes为单位，改为-m（以MB为单位展示）；15表示，数据显示每隔1秒刷新一次，共显示10次。[root@olap02
分类：
数据库 时间：
2018-06-09 10:18:41
阅读次数：
170
wireshark过滤条件： 千万别写成 ,这样子就看不到服务器给我们返回的包了 此时，在浏览器输入 ，敲下回车，然后查看wireshark的捉包； 在计算机网络课上，我们知道有下面的理论；现在我就从wireshark抓包中论证这个理论。 