HTTP协议是无状态协议。但对于一个商业网站，它需要保持不同的页面间的会话信息。 如用户在网站注册过程中需要跳转页面，但又要保证之前填写的信息不丢失。 这种情况下 Cookie 很好的帮我们解决了问题。 Cookie 是如何工作的？ 几乎所有的网站设计者在进行网站设计时都使用了Cookie，因为他们 ...
分类：
其他好文 时间：
2020-05-23 18:11:40
阅读次数：
54
一、关于JML JML理论基础 所谓的JML，它是一种形式化的，面向JAVA的行为接口规格语言。对于我们所写的代码，正确性的重要性不言而喻，JML正是我们为了获得回答方法正确性问题的一种重要的技术手段，同时可作为我们开展测试设计时的依据，是多人协同开发时的交互基础。 方法规格： 举一个例子，首先我们 ...
分类：
其他好文 时间：
2020-05-23 00:39:52
阅读次数：
55
一、JML理论基础 1.概览 在概述JML之前我想我们应该首先了解契约式设计（Design by Contract, DbC）。DbC要求在软件程序设计时明确每一个模块单元在调用前后的状态变化，抽象出来就是要求明确前置条件、后置条件和不变式。和诸多设计模式一样，DbC可以说是一种方法学，一种软件开发 ...
分类：
其他好文 时间：
2020-05-21 19:02:25
阅读次数：
58
一、前言在分布式系统架构中多个系统之间通常是通过远程RPC调用进行通信，也就是 A 系统调用 B 系统服务，B 系统调用 C 系统的服务。当尾部应用 C 发生故障而系统 B 没有服务降级时候可能会导致 B，甚至系统 A 瘫痪，这种现象被称为雪崩现象。所以在系统设计时候要使用一定的降级策略，来保证当服 ...
分类：
其他好文 时间：
2020-05-19 18:29:00
阅读次数：
69
Mac音频处理工具哪款好用？Acoustica Premium Edition Mac版好用吗？Acoustica Premium Edition for Mac是专业录音，编辑，混音和掌握的综合软件。直观的用户界面设计时考虑到了速度，准确性和易用性，并且可以访问大量强大的工具，使您的录音听起来更好 ...
分类：
系统相关 时间：
2020-05-11 18:52:38
阅读次数：
80
当我开始学习领域驱动设计时, 有大量的理论需要吸收理解, Eric Evans 从理论的视角做了非常好的解释. 作为一个软件开发者我想查看一些代码和效仿一些示例, 但是, 我却发现很少有资源用 C# 去展示领域驱动设计的应用. 接下来的几周¹我将会发表关于这个主题 (领域驱动设计) 的系列文章, 我... ...
分类：
其他好文 时间：
2020-05-09 23:47:22
阅读次数：
105
对于如何设计一个自动化框架之前，首先得清楚什么是自动框架，设计时有哪些是需要注意的，然后该怎么去做？什么是自动化测试框架？1、什么是框架？特指为解决一个开放性问题而设计的具有一定约束性的支撑结构。在此结构上可以根据具体问题扩展、安插更多的组成部分，从而更迅速和方便地构建完整的解决问题的方案。框架是整个或部分系统的可重用设计，表现为一组抽象构件及构件实例间交互的方法。也就是说框架本身不解决特定的问题
分类：
其他好文 时间：
2020-04-20 23:53:33
阅读次数：
111
指令集架构 1. 指令和指令系统 指令：微处理器依靠指令来进行计算和控制系统，指令是微处理器能够直接识别的底层机器编码。 指令系统：微处理器在设计时规定了一系列与其硬件电路相配合的指令系统，称之为“指令集”或“指令集架构”（简称ISA） 2. 指令集架构： 计算机体系结构中与程序设计相关的一部分，包 ...
分类：
其他好文 时间：
2020-04-17 22:09:41
阅读次数：
130
公司要求使用 .Net Core + EF Core + Mysql 开发项目，为了以后可以部署到Linux服务器上，实际是奇葩的客户需求。 数据库设计时虽然大部分表的主键都采用了UUID（也就是SQL Server的GUID），好处是啥我也就不（bu）说（hui）了（shuo），大家自行百度下吧。 ...
分类：
数据库 时间：
2020-04-14 18:55:48
阅读次数：
287
本文可以作为学习Oracle体系结构很好的教材！值得大家收藏！
分类：
数据库 时间：
2020-04-10 17:14:14
阅读次数：
115
