06 2022 档案
摘要:这个博客关于面向正确性与健壮性的软件构造 健壮性:系统在不正常输入或不正常外部环境下仍能够表现正常的程度 处理未期望的行为和错误终止 即使终止执行,也要准确/无歧义的向用户展示全面的错误信息 错误信息有助于进行debug 正确性:程序按照spec加以执行的能力,是最重要的质量指标 安全关键型应用往往
阅读全文
摘要:三种模式 创建型模式 结构型模式 行为类模式 工厂方法模式 定义用于创建对象的接口,但让子类决定哪个v 要实例化的类 工厂方法允许类将实例化推迟到子类 我们无法预测需要创建的对象的类 希望其子类指定它创建的对象 所以将责任委派给多个帮助程序子类之一 当client不知道要创建哪个具体类的实例,或者不
阅读全文
摘要:使用DRM技术,服务器会建立一个专门应对这个软件的授权许可,并且在软件中还添加密钥和服务器的url等信息,如果正确购买软件,在启动软件的时候客户端会以密钥和服务器的url等信息作为依据,向服务器申请授权使用的许可,服务器收到这个申请之后会进行比对验证,验证成功之后会发送密钥的解密信息,成功打开软件。
阅读全文