Test Generation Report for Model: Model1 Rev: -

Honeywell Confidential   –   © 2005-2011 Honeywell International Inc.
This copyrighted work and all information and expression are the property of Honeywell International Inc., contain trade secrets and may not, in whole or in part, be licensed, used, duplicated, or disclosed for any purpose without prior written permission of Honeywell International Inc. All Rights Reserved.
Auto-Generated by HiLiTE Version 7.9.0.3_VVFCS on 3/6/2012 11:51:07 AM
HiLiTE Released Templates Version: 7.6.0.0; Template Family Revision: Standard=22
Template Family Used: Standard

        

Tests for Block: Abs
      Block Type: Abs; Mask Type: Absolute Value (HW)

Test Case Templates (Standard): Zero Input, Positive Input, Tightly Above Zero Input, Tightly below Zero Input, Negative Input

Block Under Test Ports
Test Case Name Test Case Description Test Requirements Covered No. of Time Steps Normal Range Input Output Step Description
min ® -10000 0
max ® 10000 10000
Zero Input This test case is to test the functionality of block with zero value at the input. Robustness: ZeroOrNearZeroInput 1
0 0 Set input to zero value.
Positive Input This test case is to test the functionality of block with maximum value at the input. Functional: PositiveInput 1
10000 10000 Set input to maximum value.
Tightly Above Zero Input This test case is to test the functionality of block with value tightly above zero value at the input. Robustness: ZeroOrNearZeroInput 1
0.001 0.001 Set input to tightly above zero value.
Tightly below Zero Input This test case is to test the functionality of block with value tightly below zero value at the input. Robustness: ZeroOrNearZeroInput 1
-0.001 0.001 Set input to tightly below zero value.
Negative Input This test case is to test the functionality of block with negative value at the input. Functional: NegativeInput 1
-10000 10000 Set input to negative value.
 
Formula:

Generated Test Vectors

signal name ®  External_A External_B Sum.O1 Gain.O1 Abs.Abs_1_TP$
Test Case Name Time Steps range       Input Output
min ® -1000 -1000 -2000 -10000 0
max ® 1000 1000 2000 10000 10000
Zero Input 1
0.000000E+ 0.000000E+ 0.000000E+ 0.000000E+ 0.000000E+
Positive Input 1
1000 -1000 2000 10000 10000
Tightly Above Zero Input 1
0.0001 -0.0001 0.0002 0.001 0.001
Tightly below Zero Input 1
-0.0001 0.0001 -0.0002 -0.001 0.001
Negative Input 1
-1000 1000 -2000 -10000 10000
For Help or Legend, see top of page.

Tests for Block: ConvertToOneBasedIndex
      Block Type: Sum; Mask Type: Sum (HW)

Test Case Templates (Standard): AllMax [12], AllMin [12], MinOut [1], MinOut [2], MaxOut [1], MaxOut [2]

Block Under Test Ports
Test Case Name Test Case Description Test Requirements Covered No. of Time Steps Normal Range Input[1] Input[2] Output Step Description
min ® 0 1 1
max ® 100 1 101
AllMax [12] each input at max or min of its op range such that output = op range max Functional: SumOperation (1 of 2) 1
100 1 101 output = op range max
AllMin [12] each input at min or max of its op range such that output = op range min Functional: SumOperation (1 of 2) 1
0 1 1 output = op range min
MinOut [1] one input = op range min, others = 0; output = non zero input Functional: SumOperation (1 of 2) 1
10 1 11 one input = op range min, others = 0; output = non zero input
MinOut [2] one input = op range min, others = 0; output = non zero input Functional: SumOperation (2 of 2) 1
0 1 1 one input = op range min, others = 0; output = non zero input
MaxOut [1] one input = op range min, others = 0; output = non zero input Functional: SumOperation (1 of 2) 1
100 1 101 one input = op range min, others = 0; output = non zero input
MaxOut [2] one input = op range min, others = 0; output = non zero input Functional: SumOperation (2 of 2) 1
0 1 1 one input = op range min, others = 0; output = non zero input
 
Formula:

Generated Test Vectors

signal name ®  External_F One Intermediate_I
Test Case Name Time Steps range Input[1] Input[2] Output
min ® 0 1 1
max ® 100 1 101
AllMax [12] 1
100 1 101
AllMin [12] 1
0 1 1
MinOut [1] 1
10 1 11
MinOut [2] 1
0 1 1
MaxOut [1] 1
100 1 101
MaxOut [2] 1
0 1 1
For Help or Legend, see top of page.

Tests for Block: Gain
      Block Type: Gain; Mask Type: Gain (HW)

Test Case Templates (Standard): NearMin, NearMax, Zero

Block Under Test Ports
Test Case Name Test Case Description Test Requirements Covered No. of Time Steps Normal Range Input Output Step Description
min ® -2000 -10000
max ® 2000 10000
NearMin input = op range min; output = op range min Functional: Non Zero Output 1
-2000 -10000 input = op range min; output = op range min
NearMax input = op range max; output = op range max Functional: Non Zero Output 1
2000 10000 input = op range max; output = op range max
Zero 0 in; 0 out Functional: Zero Out 1
0 0 Zero output
 
Formula:

Generated Test Vectors

signal name ®  External_A External_B Sum.O1 Gain.Gain_1_TP$
Test Case Name Time Steps range     Input Output
min ® -1000 -1000 -2000 -10000
max ® 1000 1000 2000 10000
NearMin 1
-1000 1000 -2000 -10000
NearMax 1
1000 -1000 2000 10000
Zero 1
0.000000E+ 0.000000E+ 0.000000E+ 0.000000E+
For Help or Legend, see top of page.

Tests for Block: Sqrt
      Block Type: SquareRoot; Mask Type: Square Root (HW)

Test Case Templates (Standard): Input OperatingRange Min to Output, Input OperatingRange Max to Output

Block Under Test Ports
Test Case Name Test Case Description Test Requirements Covered No. of Time Steps Normal Range Input Output Step Description
min ® 0 0
max ® 10000 100
Input OperatingRange Min to Output Input is set to minimum value Functional: MinInput 1
0 0 Input is set to minimum value
Input OperatingRange Max to Output Input is set to maximum value Functional: MaxInput 1
10000 100 Input is set to maximum value
 
Formula:

Generated Test Vectors

signal name ®  External_A External_B Sum.O1 Gain.O1 Abs.O1 Intermediate_X
Test Case Name Time Steps range         Input Output
min ® -1000 -1000 -2000 -10000 0 0
max ® 1000 1000 2000 10000 10000 100
Input OperatingRange Min to Output 1
0.000000E+ 0.000000E+ 0.000000E+ 0.000000E+ 0.000000E+ 0.000000E+
Input OperatingRange Max to Output 1
1000 -1000 2000 10000 10000 100
For Help or Legend, see top of page.

Tests for Block: Sqrt1
      Block Type: SquareRoot; Mask Type: Square Root (HW)

Test Case Templates (Standard): Input OperatingRange Min to Output, Input OperatingRange Max to Output

Block Under Test Ports
Test Case Name Test Case Description Test Requirements Covered No. of Time Steps Normal Range Input Output Step Description
min ® -2000 -44.721359
max ® 2000 44.7213595
Input OperatingRange Min to Output Input is set to minimum value Functional: MinInput 1
-2000 -44.721359 Input is set to minimum value
Input OperatingRange Max to Output Input is set to maximum value Functional: MaxInput 1
2000 44.7213595 Input is set to maximum value
 
Formula:

Generated Test Vectors

Model Defects:



  1. Operational input range float?{[-2000:2000]}: is outside the valid input range float?{[0:Infinity)} for the function sqrt


signal name ®  External_A External_B Sum.O1 Gain.O1 Intermediate_Y Abs.O1
Test Case Name Time Steps range     Input   Output  
min ® -1000 -1000 -2000 -10000 -44.721359 0
max ® 1000 1000 2000 10000 44.7213595 10000
Input OperatingRange Min to Output 1
-1000 1000 -2000 -10000 -44.721359 10000
Input OperatingRange Max to Output 1
1000 -1000 2000 10000 44.7213595 10000
For Help or Legend, see top of page.

Tests for Block: Sum
      Block Type: Sum; Mask Type: Sum (HW)

Test Case Templates (Standard): AllMax [12], AllMin [12], MinOut [1], MinOut [2], MaxOut [1], MaxOut [2]

Block Under Test Ports
Test Case Name Test Case Description Test Requirements Covered No. of Time Steps Normal Range Input[1] Input[2] Output Step Description
min ® -1000 -1000 -2000
max ® 1000 1000 2000
AllMax [12] each input at max or min of its op range such that output = op range max Functional: SumOperation (1 of 2) 1
1000 -1000 2000 output = op range max
AllMin [12] each input at min or max of its op range such that output = op range min Functional: SumOperation (1 of 2) 1
-1000 1000 -2000 output = op range min
MinOut [1] one input = op range min, others = 0; output = non zero input Functional: SumOperation (1 of 2) 1
-1000 0 -1000 one input = op range min, others = 0; output = non zero input
MinOut [2] one input = op range min, others = 0; output = non zero input Functional: SumOperation (2 of 2) 1
0 -1000 1000 one input = op range min, others = 0; output = non zero input
MaxOut [1] one input = op range min, others = 0; output = non zero input Functional: SumOperation (1 of 2) 1
1000 0 1000 one input = op range min, others = 0; output = non zero input
MaxOut [2] one input = op range min, others = 0; output = non zero input Functional: SumOperation (2 of 2) 1
0 1000 -1000 one input = op range min, others = 0; output = non zero input
 
Formula:

Generated Test Vectors

signal name ®  External_A External_B Sum.Sum_1_TP$
Test Case Name Time Steps range Input[1] Input[2] Output
min ® -1000 -1000 -2000
max ® 1000 1000 2000
AllMax [12] 1
1000 -1000 2000
AllMin [12] 1
-1000 1000 -2000
MinOut [1] 1
-1000 0.000000E+ -1000
MinOut [2] 1
0.000000E+ -1000 1000
MaxOut [1] 1
1000 0.000000E+ 1000
MaxOut [2] 1
0.000000E+ 1000 -1000
For Help or Legend, see top of page.

Tests for Block: greaterThan
      Block Type: RelationalOperator; Mask Type: Greater Than (HW)

Test Case Templates (Standard): A GT B, Using A Normal Range Max, A LT B, Using B Normal Range Max, A == B, Using A Normal Range Max

Block Under Test Ports
Test Case Name Test Case Description Test Requirements Covered No. of Time Steps Normal Range Input1 Input2 Output Step Description
min ® 1 0 0
max ® 101 100 1
A GT B, Using A Normal Range Max value on B < A.Op.Max, A can be constant Functional: a > b 1
uint32{[10 uint32{[0: 1 A greater than B, with A.Op.Max
A LT B, Using B Normal Range Max value on A < B.Op.Max, B can be constant Functional: a < b 1
uint32{[0: uint32{[10 0 A Less than B, with B.Op.Max
A == B, Using A Normal Range Max A equal to B, with Normal range max at A, A can be constant Functional: a == b 1
101 101 0 A Equal to B, with A.Op.Max
 
Formula:

Generated Test Vectors

signal name ®  External_F External_F1 One ConvertToOneBasedIndex.O1 Intermediate_I1
Test Case Name Time Steps range   Input2   Input1 Output
min ® 0 0 1 1 0
max ® 100 100 1 101 1
A GT B, Using A Normal Range Max 1
100 100 1 101 1
A LT B, Using B Normal Range Max 1
98 100 1 99 0
A == B, Using A Normal Range Max 1
100 101 1 101 0
For Help or Legend, see top of page.