当前位置: 开发笔记 > 编程语言 > 正文

17_随机约束和分布

作者：value'); DROP TABLE table; | 来源：互联网 | 2023-10-17 12:14

文章目录1.为什么需要随机约束？2.随机化3.约束1.为什么需要随机约束？减少了代码量实际上是减少了测试用例的代码（test(࿰

文章目录

1. 为什么需要随机约束&＃xff1f;
2. 随机化
3. 约束

1. 为什么需要随机约束&＃xff1f;

在这里插入图片描述

减少了代码量实际上是减少了测试用例的代码&＃xff08;test(&＃xff09;中的代码&＃xff09;。
约束变形&＃xff1a;前期约束窄中期宽后期窄
AC。验证环境结构可以随机

2. 随机化

在这里插入图片描述

随机变量只能是class中的成员变量
new只是创建了变量&＃xff0c;但是还没有随机化。必须调用randomize()&＃xff0c;成功随机化返回1.
本例子中的constraint中只约束了src&＃xff0c;所以只随机了src。
若constraint中有一个约束不合适导致随机失败&＃xff0c;那么constraint中的所有变量都会随机失败。
有一副扑克牌&＃xff0c;rand的意思是每次随机抽出一张牌的概率永远是1/54&＃xff0c;randc的意思是一直抽一副牌抽完一副牌之后重新换一副。&＃xff08;c代表cycle&＃xff0c;即周期随机&＃xff09;。一般rand用的多&＃xff0c;randc常用于周期遍历。

3. 约束

在这里插入图片描述

AB。month的位宽限制其值只能是0~7.
const只能在初始化赋初值。
0&＃xff1a;&＃61;40意味着0被选中的可能是40个单位&＃xff0c;[1:3]:&＃61;意味着123被选中的可能是60个单位
[0:3]&＃xff1a;/60表示123权重之和是60&＃xff0c;每个都是20个单位
constraint中所有的约束是并行执行的&＃xff0c;并行约束&＃xff0c;与谁先谁后没有关系
约束之间也可以嵌套&＃xff0c;在一个constraint中也可以再有一个constraint&＃xff0c;二者是平级的。
约束之间可以继承&＃xff0c;父子约束不可以有冲突。对子类中的成员进行随机化时&＃xff0c;两重约束都会生效。

推荐阅读

import
毕业设计：基于机器学习与深度学习的垃圾邮件（短信）分类算法实现

本文详细介绍了如何使用机器学习和深度学习技术对垃圾邮件和短信进行分类。内容涵盖从数据集介绍、预处理、特征提取到模型训练与评估的完整流程，并提供了具体的代码示例和实验结果。 ... [详细]

蜡笔小新 2024-12-25 17:38:50
match
Java 序列化接口详解

本文深入探讨了 Java 中的 Serializable 接口，解释了其实现机制、用途及注意事项，帮助开发者更好地理解和使用序列化功能。 ... [详细]

蜡笔小新 2024-12-27 15:06:12
match
C++: 实现基于类的四面体体积计算

本文介绍如何使用C++编程语言，通过定义类和方法来计算由四个三维坐标点构成的四面体体积。文中详细解释了四面体体积的数学公式，并提供了两种不同的实现方式。 ... [详细]

蜡笔小新 2024-12-27 14:31:39
数组
UNP 第9章：主机名与地址转换

本章探讨了用于在主机名和数值地址之间进行转换的函数，如gethostbyname和gethostbyaddr。此外，还介绍了getservbyname和getservbyport函数，用于在服务器名和端口号之间进行转换。 ... [详细]

蜡笔小新 2024-12-27 11:26:39
instance
Unity 客户端框架设计：UI管理系统的构建

本文详细介绍了如何构建一个高效的UI管理系统，集中处理UI页面的打开、关闭、层级管理和页面跳转等问题。通过UIManager统一管理外部切换逻辑，实现功能逻辑分散化和代码复用，支持多人协作开发。 ... [详细]

蜡笔小新 2024-12-27 10:28:40
instance
组合数学问题：棋盘上的组合数计算

本文探讨了如何在模运算下高效计算组合数C(n, m)，并详细介绍了乘法逆元的应用。通过扩展欧几里得算法求解乘法逆元，从而实现除法取余的计算。 ... [详细]

蜡笔小新 2024-12-26 21:41:44
import
Objective-C 编程中的关键语法点

本文探讨了 Objective-C 中的一些重要语法特性，包括 goto 语句、块（block）的使用、访问修饰符以及属性管理等。通过实例代码和详细解释，帮助开发者更好地理解和应用这些特性。 ... [详细]

蜡笔小新 2024-12-26 19:42:38
copy
Apache Jena 中 Txn.executeWrite 方法详解与代码示例

本文详细介绍了 Apache Jena 库中的 Txn.executeWrite 方法，通过多个实际代码示例展示了其在不同场景下的应用，帮助开发者更好地理解和使用该方法。 ... [详细]

蜡笔小新 2024-12-26 17:55:52
import
Java中访问器与修改器的深入解析

本文详细介绍了Java中的访问器（getter）和修改器（setter），探讨了它们在保护数据完整性、增强代码可维护性方面的重要作用。通过具体示例，展示了如何正确使用这些方法来控制类属性的访问和更新。 ... [详细]

蜡笔小新 2024-12-26 17:25:24
tree
Weight the Tree（树形dp）

题目Link题目学习link1题目学习link2题目学习link3%%%受益匪浅！－－－－－&# ... [详细]

蜡笔小新 2024-12-26 15:55:56
tree
C++构造函数与初始化列表详解

本文深入探讨了C++中构造函数的初始化列表，包括赋值与初始化的区别、初始化列表的使用规则、静态成员初始化等内容。通过实例和调试证明，详细解释了初始化列表在对象创建时的重要性。 ... [详细]

蜡笔小新 2024-12-26 14:19:13
copy
文件描述符、文件句柄与打开文件之间的关联解析

本文详细探讨了文件描述符、文件句柄和打开文件之间的关系，通过具体示例解释了它们在操作系统中的作用及其相互影响。 ... [详细]

蜡笔小新 2024-12-26 14:00:46
text
VxWorks中的双向链表与环形缓冲应用

本文详细探讨了VxWorks操作系统中双向链表和环形缓冲区的实现原理及使用方法，通过具体示例代码加深理解。 ... [详细]

蜡笔小新 2024-12-26 13:26:16
text
Linux设备驱动程序：异步时间操作与调度机制

本文介绍了Linux内核中的几种异步延迟操作方法，包括内核定时器、tasklet机制和工作队列。这些机制允许在未来的某个时间点执行任务，而无需阻塞当前线程，从而提高系统的响应性和效率。 ... [详细]

蜡笔小新 2024-12-26 08:55:03
tree
MySQL索引详解与优化

本文深入探讨了MySQL中的索引机制，包括索引的基本概念、优势与劣势、分类及其实现原理，并详细介绍了索引的使用场景和优化技巧。通过具体示例，帮助读者更好地理解和应用索引以提升数据库性能。 ... [详细]

蜡笔小新 2024-12-25 19:52:47

value'); DROP TABLE table;

这个家伙很懒，什么也没留下！

Tags | 热门标签

RankList | 热门文章