LIBRARY

Sources.Tests.BooleanStep

Test that validates Boolean step signal behavior.

This component creates a test setup for validating the BooleanStep block by connecting its output through a BooleanToReal converter. Both step directions are covered at startTime=0.5:

• case1: startValue=false, so b2r.y steps 0.0 -> 1.0.

• case2: startValue=true, so b2r.y steps 1.0 -> 0.0.

Usage

BlockComponents.Sources.Tests.BooleanStep()

Behavior

using BlockComponents #hide
using ModelingToolkit #hide
@named sys = BlockComponents.Sources.Tests.BooleanStep() #hide
let eqs = full_equations(sys); Base.length(eqs) > 25 ? nothing : eqs end #hide

<< @example-block not executed in draft mode >>

Source

"""
Test that validates Boolean step signal behavior.

This component creates a test setup for validating the `BooleanStep` block by
connecting its output through a `BooleanToReal` converter. Both step directions
are covered at `startTime=0.5`:
- `case1`: `startValue=false`, so `b2r.y` steps 0.0 -> 1.0.
- `case2`: `startValue=true`, so `b2r.y` steps 1.0 -> 0.0.
"""
test component BooleanStep
  "Generates a Boolean step signal"
  signal = BlockComponents.Sources.BooleanStep(startTime = 0.5, startValue = false) {
    "Dyad": {
      "placement": {
        "diagram": {"iconName": "default", "x1": 20, "y1": 20, "x2": 120, "y2": 120, "rot": 0}
      }
    }
  }
  "Converts Boolean output to Real for verification"
  b2r = BlockComponents.Math.BooleanToReal() {
    "Dyad": {
      "placement": {
        "diagram": {"iconName": "default", "x1": 155, "y1": 20, "x2": 255, "y2": 120, "rot": 0}
      }
    }
  }
relations
  "Connects the Boolean step output to the converter"
  connect(signal.y, b2r.u) {"Dyad": {"edges": [{"S": 1, "M": [], "E": 2}], "renderStyle": "standard"}}
metadata {
  "Dyad": {
    "icons": {"default": "dyad://BlockComponents/Example.svg"},
    "tests": {
      "case1": {"stop": 1, "expect": {"signals": ["b2r.y"]}},
      "case2": {
        "stop": 1,
        "params": {"signal.startValue": true},
        "expect": {"signals": ["b2r.y"]}
      }
    }
  }
}
end

Flattened Source

"""
Test that validates Boolean step signal behavior.

This component creates a test setup for validating the `BooleanStep` block by
connecting its output through a `BooleanToReal` converter. Both step directions
are covered at `startTime=0.5`:
- `case1`: `startValue=false`, so `b2r.y` steps 0.0 -> 1.0.
- `case2`: `startValue=true`, so `b2r.y` steps 1.0 -> 0.0.
"""
test component BooleanStep
  "Generates a Boolean step signal"
  signal = BlockComponents.Sources.BooleanStep(startTime = 0.5, startValue = false) {
    "Dyad": {
      "placement": {
        "diagram": {"iconName": "default", "x1": 20, "y1": 20, "x2": 120, "y2": 120, "rot": 0}
      }
    }
  }
  "Converts Boolean output to Real for verification"
  b2r = BlockComponents.Math.BooleanToReal() {
    "Dyad": {
      "placement": {
        "diagram": {"iconName": "default", "x1": 155, "y1": 20, "x2": 255, "y2": 120, "rot": 0}
      }
    }
  }
relations
  "Connects the Boolean step output to the converter"
  connect(signal.y, b2r.u) {"Dyad": {"edges": [{"S": 1, "M": [], "E": 2}], "renderStyle": "standard"}}
metadata {
  "Dyad": {
    "icons": {"default": "dyad://BlockComponents/Example.svg"},
    "tests": {
      "case1": {"stop": 1, "expect": {"signals": ["b2r.y"]}},
      "case2": {
        "stop": 1,
        "params": {"signal.startValue": true},
        "expect": {"signals": ["b2r.y"]}
      }
    }
  }
}
end

Test Cases

using BlockComponents
using DyadInterface: TransientAnalysis, rebuild_sol, ODEAlg
using ModelingToolkit: toggle_namespacing, get_initial_conditions, @named
using CSV, DataFrames, Plots

snapshotsdir = joinpath(dirname(dirname(pathof(BlockComponents))), "test", "snapshots")

<< @setup-block not executed in draft mode >>

Test Case case1

@named model_case1 = BlockComponents.Sources.Tests.BooleanStep()
model_case1 = toggle_namespacing(model_case1, false)

model_case1 = toggle_namespacing(model_case1, true)
result_case1 = TransientAnalysis(; model = model_case1, alg = ODEAlg.Auto(), start = 0e+0, stop = 1e+0, abstol=1e-6, reltol=1e-6)
sol_case1 = rebuild_sol(result_case1)

<< @setup-block not executed in draft mode >>

df_case1 = DataFrame(:t => sol_case1[:t], :actual => sol_case1[model_case1.b2r.y])
dfr_case1 = try CSV.read(joinpath(snapshotsdir, "BlockComponents.Sources.Tests.BooleanStep_case1_sig0.ref"), DataFrame); catch e; nothing; end
plt = plot(sol_case1, idxs=[model_case1.b2r.y], width=2, label="Actual value of b2r.y")
if !isnothing(dfr_case1)
  scatter!(plt, dfr_case1.t, dfr_case1.expected, mc=:red, ms=3, label="Expected value of b2r.y")
end

<< @setup-block not executed in draft mode >>

plt

<< @example-block not executed in draft mode >>

Test Case case2

@named model_case2 = BlockComponents.Sources.Tests.BooleanStep(signal.startValue=true)
model_case2 = toggle_namespacing(model_case2, false)

model_case2 = toggle_namespacing(model_case2, true)
result_case2 = TransientAnalysis(; model = model_case2, alg = ODEAlg.Auto(), start = 0e+0, stop = 1e+0, abstol=1e-6, reltol=1e-6)
sol_case2 = rebuild_sol(result_case2)

<< @setup-block not executed in draft mode >>

df_case2 = DataFrame(:t => sol_case2[:t], :actual => sol_case2[model_case2.b2r.y])
dfr_case2 = try CSV.read(joinpath(snapshotsdir, "BlockComponents.Sources.Tests.BooleanStep_case2_sig0.ref"), DataFrame); catch e; nothing; end
plt = plot(sol_case2, idxs=[model_case2.b2r.y], width=2, label="Actual value of b2r.y")
if !isnothing(dfr_case2)
  scatter!(plt, dfr_case2.t, dfr_case2.expected, mc=:red, ms=3, label="Expected value of b2r.y")
end

<< @setup-block not executed in draft mode >>

plt

<< @example-block not executed in draft mode >>

Related

• Examples

• Experiments

• Analyses

• Tests

  • BooleanStep

  • BooleanStep

  • BooleanToReal