AF，RI，，checkrep和Safety from rep expsure的写法

最新推荐文章于 2024-08-09 09:30:00 发布
最新推荐文章于 2024-08-09 09:30:00 发布
阅读量219 收藏
点赞数
分类专栏： 软件构造 文章标签： java
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/Yuuki_maomao/article/details/125074224
版权

Af：抽象函数（Abstraction function）

RI：表示不变量（Rep invariant）

在R和A可建立一个映射：

这种映射一定是满射（surjective），而不一定是单射（not injective）

（2） 抽象函数：即R和A之间映射关系的函数

（3） 在表示的过程中，就出现了表示不变性RI

 

checkrep：

检查不变性就是确定RI是否还成立.
在实现中采用断言技术assert来检查不变性是否保持，可以更早地捕获bug

关于assert的用法：assertTrue 如果为true，则运行success，反之Failure
assertEquals 如果预期值与真实值相等，则运行success，反之Failure

Yuuki_maomao
关注
  • 0
    点赞
  • 踩
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
REP-REQ.zip_Rep和req_zmq_zmq REP_zmq REP REQ_zmq_req
09-20
这个"REP-REQ.zip_Rep和req_zmq_zmq REP_zmq REQ_zmq_req"文件包含的是一个关于ZMQ中REPLY（REP）和REQUEST（REQ）模式的示例代码，这种模式是ZMQ中的基本通信模式之一，常用于客户端-服务器架构。 **ZMQ的REPLY...
AF，RI ，checkRep ，rep exposure
George的博客
03-28 1117
1.表示独立性 client使用ADT时无需考虑内部如何实现，ADT内部表示的变化不应影响外部spec与client 除非ADT的操作指明了具体的pre-condition和post-condition，否则不能改变ADT的内部 表示，因为spec规定了client和和implementer之间的契约。 2.测试ADT的方法： （1）测试c...
重写equals和hashcode和checkRep的写法
xuexiaobai123的博客
07-03 295
关于重写equals方法： 共需要六个步骤 需要比较的对象是否为空 是否在和自身比较 两个对象类是否相同 比较的内容是否都为空 比较的内容是否相等 返回true @override public boolean equals(object obj){ //比较的对象就是本身true if(this==obj) return true; //比较的对象为空返回false if(obj==null) return false; //比较两个对象的类是否相等，如果不想等返回false if(t
Randoop不变量检查--@CheckRep
维尼的博客
12-03 1334
Randoop不变量检查–@CheckRep 我的目录结构（高亮部分是Triangle是步骤一编写的三角形类；randoop-4.1.0是官网下载的） Randoop相关地址： GitHub：https://randoop.github.io/randoop/ 官方手册：https://randoop.github.io/randoop/manual/ 操作步骤   &nbs...
ADT的表示独立性，测试ADT的方法，不变量，RI与AF
qq_38969070的博客
06-17 1997
1.    表示独立性    client使用ADT时无需考虑内部如何实现，ADT内部表示的变化不应影响外部spec与client    除非ADT的操作指明了具体的pre-condition和post-condition，否则不能改变ADT的内部    表示，因为spec规定了client和和implementer之间的契约。2.    测试ADT的方法：    （1）测试creators，pr...
哈工大2022软件构造Lab2
Castria的博客
05-19 1164
此博客内容为哈工大2022春季学期软件构造Lab2:ADT and OOP，文章为个人记录，不保证正确性，仅供练习和思路参考，请勿抄袭。
javascript写一个简单的表单校验
lzpzwy的博客
04-24 637
<!DOCTYPE html> <html> <head> <meta charset="UTF-8"> <title></title> <script> //检查用户名是否正确 function checkName() { //获取到输入框的颜色为白色
V-rep软件仿真安装包亲测可用
10-23
V-rep（V-REP，Virtual Robot Experimentation Platform）是一款强大的机器人仿真软件，它提供了丰富的功能，用于模拟机器人系统、传感器和环境。该软件广泛应用于教育、研究和工业领域，帮助用户在虚拟环境中进行...
ros-vrep-slam：用于机器人映射和本地化的ROS和V-REP
02-03
ROS和V-REP用于机器人映射和本地化 它是使用和V-REP模拟器实现的机器人映射和本地化。 在该项目中，机器人可以绕过未知区域并使用激光传感器生成地图。 此外，我们还有使用摄像头和OpenCV进行视觉伺服和面部识别等...
基于V-REP和MATLAB的七自由度机械臂跟踪控制
06-16
基于V-REP和MATLAB的七自由度机械臂跟踪控制,详细效果可以见我的博客https://blog.csdn.net/qq_33243369/article/details/92422980,资源有问题可以在博客评论区反馈. 为方便大家,压缩包里附带一个机器人工具箱
V-rep安装文件.txt
04-20
由于https://www.coppeliarobotics.com/网站需要翻墙才能...V-REP_PRO_EDU_V3_6_2_Ubuntu18_04，V-REP_PRO_EDU_V3_6_2_Setup，V-REP_PRO_EDU_V3_5_0_Setup，V-REP_PRO_EDU_V3_5_0_Linux，V-REP_PRO_EDU_V3_3_2_Setup
关于AF, RI, Rep exposure
lavender_hhl的博客
05-07 1700
在Lab2的时候开始了解，试着去写每个类的Abstraction function，Representation invariant，Safety from rep exposure，即抽象函数AF，表示不变量RI和防止表示暴露。在进行了两次实验多次书写的体会中，在这里记录一下对其的比较通俗的理解AF：A：抽象值构成的空间，client看到和使用的值。ADT实现者关注表示空间R，用户关注抽象空间A...
Lab 4
FZ6576625523的博客
06-10 289
1 实验目标概述 本次实验重点训练学生面向健壮性和正确性的编程技能，利用错误和异常处 理、断言与防御式编程技术、日志/断点等调试技术、黑盒测试编程技术，使程序 可在不同的健壮性/正确性需求下能恰当的处理各种例外与错误情况，在出错后 可优雅的退出或继续执行，发现错误之后可有效的定位错误并做出修改。 实验针对Lab3中写好的ADT代码和基于该ADT的三个应用的代码，使用以下技术进行改造，提高其健壮性和...
AF RI和checkRep
lee3258的博客
06-19 513
AF 即抽象函数, RI 即表示不变性 抽象函数(Abstraction Function) 抽象函数为表示值空间到抽象值空间的一个映射 R:面向实现的表示值空间 A:面向规格说明的抽象值空间 R ==>A 一定是满射,但不一定是单射. 抽象函数即一个R到A的映射: AF : R → A 表示不变性(Repretation Invariance) "表示"即ADT中的各个属性; ...
软件构造0.2 一个正确的checkRep的重要性
cesium_hunter的博客
05-28 205
我一开始也认为保持不变量这个东西，只要脑袋记着就行了。既然已经知道你的目标是什么，怎么可能还会破坏不变量呢？写checkRep应该一直都是能正常运行的。 就如同在进入大学生活后，人人都知道要以学习为中心，可是最后同学中总是不乏掉队之辈。或许不是我们忘了要以学习为中心，而是我们没有正确的方法去检验我们是否做到了以学习为中心。 可能有些时候草草应付老师作业，上课去了也吊儿郎当，到期末再在考前一两天匆匆忙忙复习，最后也拿了个不高不低的分数。似乎每一天都很充实而疲倦，这样生活看似也做到了以学习为中心，毕竟也算是中规
软件构造（二）checkRep遍历迭代器时死循环可能是因为assert没有设置开启
Skyrious的博客
07-05 230
private void checkRep() { Iterator<String> It1 = set.iterator(); while (It1.hasNext()) { assert It1.next()!=null; } } 第一次写checkRep的时候写成类似上面的格式，结果发现运行的时候如果It1.next的key为null，结果就会死循环，不能从while中退出。 后来发现是一个很愚蠢的错误。在eclipse中assert功能是默认关闭的，需要自己..
深入理解Java的基本概念：ADT&OOP的概念具体实现（3）
CyanTangerine的博客
05-17 86
8、接口（interface） 定义一个接口，来指定一个“要求”，让所有实现它的类都要完成接口指定的要求。 譬如，可以在函数的参数定义接口，让其传入指定要求的类方法（这在一些语言中叫做回调函数callback）；也可以是一个接口，有不同的实现方法进而写不同的类去实现，比如Java提供的集合类：List接口可以由ArrayList、LinkedList实现。 一个接口中不可以含有非静态的属性，但可以含有静态属性。 接口无法被创建，因此也没有构造函数。 接口中的方法没有函数体，只有返回值、函数名和参数列表。
HIT软件构造LAB3
MrsYoutiao的博客
07-08 412
​ **2021年春季学期 ** 计算学部《软件构造》课程 **Lab 3实验报告 ** 姓名 学号 班号 电子邮件 手机号码 目录 1 实验目标概述··· 1 2 实验环境配置··· 1 3 实验过程··· 1 3.1 待开发的三个应用场景··· 1 3.2 面向可复用性和可维护性的设计：IntervalSet· 1 3.2.1 IntervalSet的共性操作··· 1 3.2.2 局部共性特征的设计方案··· 2 3.2.3 面向各应用的IntervalSe
Java面试篇（JVM相关专题）
最新发布
聂可以的博客
08-09 2735
Java面试篇（JVM相关专题）
V-REP MATLAB仿真接口指南
Matlab作为广泛使用的数学计算和工程应用软件，与V-rep的接口使得用户可以利用Matlab的强大计算能力来控制和分析V-rep中的仿真过程。 为什么需要仿真？ 机器人仿真在设计、测试和优化机器人行为及控制系统时起着...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值