Modelar y validar requisitos

Modele requisitos y analice la consistencia e integridad utilizando bloques Requirements Table

Defina requisitos formales en modelos de Simulink® usando el bloque Requirements Table para evaluar la lógica antes y durante el tiempo de ejecución. Utilice requisitos formales para comprobar las salidas del modelo o ejecutar salidas de bloque.

Configure los requisitos formales directamente en el bloque, en Requirements Editor o utilizando los comandos programáticos de MATLAB®.

Confirme que los requisitos estén completos y sean coherentes analizando los requisitos formales mediante Simulink Design Verifier™. Valide los requisitos formales antes de generar pruebas y verificar modelos de especificaciones.

También puede verificar requisitos en bloques Requirements Table generando pruebas. Para obtener más información, consulte Verificar requisitos utilizando pruebas.

Bloques

Requirements TableModel formal requirements with input conditions (Desde R2022a)

Funciones

expandir todo

slreq.modeling.createCreate new model with Requirements Table block (Desde R2022a)
slreq.modeling.findFind Requirements Table blocks (Desde R2022a)
slreq.loadLoad requirement set, link set, or Requirements Table block
anyValueSuppress incompleteness issues for output in Requirements Table block (Desde R2024a)

Operadores

expandir todo

Lógica temporal

durationTime during which condition is valid in Requirements Table block
getPreviousPrevious value of data in Requirements Table block
isStartupWhether simulation time is 0 in Requirements Table block
tElapsed time of simulation in Requirements Table block

Detección de cambios

hasChangedDetect change in data since last time step in Requirements Table block
hasChangedFromDetect change in data from specified value in Requirements Table block
hasChangedToDetect change in data to specified value in Requirements Table block

Crear, concatenar y convertir cadenas

str2doubleConvert string to double-precision value in Requirements Table block
stringConvert value to string in Requirements Table block
plusConcatenate strings in Requirements Table block

Determinar propiedades de cadenas

isletterDetermine which characters are letters in Requirements Table block
isspaceDetermine which characters are spaces in Requirements Table block
isstringDetermine if input is string in Requirements Table block
strlengthDetermine length of string in Requirements Table block
containsDetermine if string contains substring in Requirements Table block

Buscar y reemplazar caracteres de cadenas

containsDetermine if string contains substring in Requirements Table block
endsWithDetermine if string ends with substring in Requirements Table block
matchesDetermine if two strings match in Requirements Table block
replaceFind and replace substrings in Requirements Table block
replaceBetweenReplace substrings between start and end points in Requirements Table block
startsWithDetermine if string starts with substring in Requirements Table block
strfindFind substring within a string in Requirements Table block
strrepFind and replace substrings in Requirements Table block

Editar cadenas

eraseDelete substrings within strings in Requirements Table block
eraseBetweenDelete substring between start and end points in Requirements Table block
extractAfterExtract substring after position in Requirements Table block
extractBeforeExtract substring before position in Requirements Table block
insertAfterInsert string after substring in Requirements Table block
insertBeforeInsert string before substring in Requirements Table block
lowerConvert string to lowercase in Requirements Table block
upperConvert a string to uppercase in Requirements Table block
reverseReverse order of characters in strings in Requirements Table block
stripRemove leading and trailing characters from string in Requirements Table block
strtrimRemove leading and trailing white space from string in Requirements Table block

Comparar cadenas

matchesDetermine if two strings match in Requirements Table block
strcmpCompare strings in Requirements Table block (case sensitive)
strcmpiCompare strings in Requirements Table block (case insensitive)
strncmpCompare first N characters of strings in Requirements Table block (case sensitive)
strncmpiCompare first N characters of strings in Requirements Table block (case insensitive)

Objetos

expandir todo

RequirementsTableConfigure Requirements Table blocks (Desde R2022a)
SymbolConfigure data in Requirements Table blocks (Desde R2022a)
RequirementRowRequirements in Requirements Table block (Desde R2022a)
AssumptionRowAssumptions in Requirements Table block (Desde R2022a)

Funciones de objeto

expandir todo

Gestionar datos de bloque

addSymbolAdd data to Requirements Table block
findSymbolRetrieve data in Requirements Table block

Gestionar filas de bloque

addAssumptionRowAdd assumption to Requirements Table block
addRequirementRowAdd requirement to Requirements Table block
addChildAdd child requirement or assumption to Requirements Table block
getRequirementRowsRetrieve requirements in Requirements Table block
getAssumptionRowsRetrieve assumptions in Requirements Table block
getChildrenRetrieve child requirements and assumptions in Requirements Table block
slreq.getCurrentObjectGet selected objects in Requirements Editor, Requirements Browser, or Requirements Table block
clearClear row in Requirements Table block
removeRowRemove Requirements Table block row

Gestionar columnas de bloque

hideAssumptionColumnHide Precondition column in Assumptions tab
hideRequirementColumnHide columns in Requirements tab
showAssumptionColumnShow Precondition column in Assumptions tab
showRequirementColumnShow columns in Requirements tab

Temas

Crear requisitos

Definir la lógica de evaluación

Configurar propiedades de bloques Requirements Table

Configurar datos

Validar requisitos

Solución de problemas

Debug Requirements Table Blocks

Debug Requirements Table blocks by using breakpoints and analyzing block data during simulation. (Desde R2023a)

Ejemplos destacados

Model Dice Game Rules Using a Requirements Table Block

Model Dice Game Rules Using a Requirements Table Block

Use a Requirements Table block to model the rules and the game outcome associated with a dice game.

Define Formal Requirements with a Duration

Define Formal Requirements with a Duration

Define formal requirements that use a duration.

Analyze Formal Requirements of an Electric Vehicle Charger Locking Mechanism

Analyze Formal Requirements of an Electric Vehicle Charger Locking Mechanism

Use a Requirements Table block and Simulink Design Verifier to construct, analyze, and update formal requirements of an electric vehicle charging station locking mechanism.

Use Specification Models for Requirements-Based Testing

Use Specification Models for Requirements-Based Testing

Follow a systematic approach to verify your design model against requirements.