Main Content

Projector Controller Testing Using verify and Real-Time Tests

Perform real-time testing on a target computer and verify simulation and real-time results.

This example demonstrates testing a projector control system using model simulation and real-time execution on a target computer. The tests verify the controller by using test sequence scenarios that exercise the top-level controller model. The controller uses a push button input and a temperature sensor input, and outputs signals controlling the fan, fan speed, and projector lamp.

This example uses Simulink® Real-Time™. Before beginning, review the Simulink Real-Time system requirements.

Set the test file, model, and internal harness names for the example.

testFile = 'sltestProjectorCtrlTests.mldatx';
model = 'sltestProjectorController';
testharness = 'Test_Scenarios';

Open the model.

open_system(model)

View the Test Harness

Open the Test_Scenarios internal test harness.

sltest.harness.open(model,testharness);

The test harness uses a Test Sequence block to define the test scenarios and a Test Assessment block to verify the results.

Test harness for top level projector controller model showing Tests Sequence and Test Assessment blocks

In the test harness, open the Test Sequence block to view the scenarios, which are defined in tabs.

Test sequence scenario steps for normal operations

Open the Test Assessment block to view the verify statements.

Test Assessment block verify statements for overheat, high temperature, and normal conditions

Open the Test File and Configure the Real-Time Target Computer

Open the test file in the Test Manager by entering:

open(testFile)

The test file contains a test suite with two test cases, each of which tests the four test scenarios. The Simulation_Tests test case simulates the model, and the HIL_Tests test case runs the tests on a real-time target computer.

Before running the example:

  1. Configure your target computer using the Simulink Real-Time Explorer.

  2. Connect to your target computer.

  3. If your target computer is not the default target, update Target Computer in the HIL_Tests test case's System Under Test section.

For more information on real-time configuration see System Configuration (Simulink Real-Time).

Run the Model Simulation Tests

Run the Simulation_Tests test case. After simulation completes, click the Results and Artifacts pane in the test manager.

Expand the Simulation_Tests results and each scenario to see the Verify Statements results. The verify statements demonstrate fail, pass, and untested results:

  • In all scenarios except Basic_Overheat, the controller does not operate in high-temperature or overheat mode, so the verify_overheat and verify_high_temp statements of the associated verify statements are untested.

  • In all scenarios, the controller passes the test that if the lamp is on, the fan is also on: verify_lamp_implies_fan.

  • In the Overheat_Shutoff scenario, the controller passes the test that the system stays off if the on_off button is pressed when the temperature is above a limit: verify_sc4_on. For other scenarios, verify_sc4_on is untested.

  • In only the Overheat_Shutoff scenario, the controller fails the test that the system shuts off if the on_off button is pressed when the temperature is above a limit: verify_sc4_off. Resolving this failure requires modifying the OnOff Check subsystem in the main model.

For more information, see Assess Model Simulation Using verify Statements.

In the Overheat_Shutoff scenario, select the verify_sc4_off, verify_lamp_implies_fan, and verify_overheat results to visualize the verify statement results.

Simulation test results with plots of the verify statements

Execute the Real-Time Tests and Review the Results

The real-time test case (HIL_Tests) verifies that real-time execution results match model simulation results, and that the verify statements pass.

In the Test Manager, run the real-time test case (HIL_Tests).

The Results of the Simulation_Tests and HIL_Tests show matching pass, fail, and untested statuses.

In the Overheat_Shutoff scenario, select the verify_sc4_off, verify_lamp_implies_fan, and verify_overheat results to visualize the verify statement results. The Verify Statements section shows similar results to the model simulation.

HIL test results with plots of the verify statements

close_system(testharness,0)
close_system(model,0)
sltest.testmanager.clear;
sltest.testmanager.clearResults;
sltest.testmanager.close
clear testFile testHarness model;