ˆ˚$ (#6 - ruilima.com.br · ˆ˝˛ 45’ ˆ " ˚ ’l˙ ˙ d ˇ ˚ ’lˆ ˆ n ˚ / ˆ dxˇ ˆ˙ ˆ$7$ $6 :
012 3 )ˆ , + / ˇ & * ˆ ˜ # )# # · 3)&+ 6&+( 1 ˘ ˇˆ˙˝ < ˚ / "(˘ (* m l ˛ ˚ l # l ˆ...
Transcript of 012 3 )ˆ , + / ˇ & * ˆ ˜ # )# # · 3)&+ 6&+( 1 ˘ ˇˆ˙˝ < ˚ / "(˘ (* m l ˛ ˚ l # l ˆ...
����������� � �� ���������������������� ��� ! ��" #��$��� % � &�' ����((� ����#� # � $��� �&)� #�)&$�$ #��&)��&#�*# $��&����#�$"*� &��) �� )$ �) +#� �� )&$#�� (&��&������ � #� "��� �,& #�
- )(�.)��&�/�)���012�3 )� , +�/ �� & �"��*����� �� #��)# #��012�4# �&/ &" ��5 (�&�����
3 )&+�� 6&+( � ���������
��(�((� &$�&� ��3 )&+�7��( � -� ��5#"������
&�)"�8�9��(�)((� &$�&� ��/ )&+�+��( :;$ ��#"��"�
����������3 )&+�� 6&+( 1 ����������<���/ �"( �(*��&#
�
=*�(�&
� �*����� �� #��&��- >*� � &�#
� ��012�3 )� , +
� � #��&��? +/(,
� ��5�-1�4�=@��A=0
� �'� &#�&#���#�)&$) $���012
����������3 )&+�� 6&+( 1 ����������<���/ �"( �(*��&#
2
�*����� �� #��&��- >*� � &�#
���������������� ��� �������������������������������
� ����* #���$)�#�� )��&�/�� #��� &"� #
� �*��)� $�� #�#��&$ � &$ &��/�� #��� &"� #
� 3( '��( �"��#���&�/�� #��� &"� #�/ ��� #���(#
� �'"�)&� �/�� #��5 &"���(�� &$ #�)&$�� #�&
�������� � �����
� � #��")# #��*#��� � 1*# $�)&$�)$)�� $�)" ##�� #��B C "�#
� ����� )� #�/�$�// &���4� ( )# #��*#��� ��)&)� $
� B " ##1#)/ �)$��&�#� )��&�/�� #��B C "�#�/ ��4��) �)&�#
����������3 )&+�� 6&+( 1 ����������<���/ �"( �(*��&#
�
�*����� �� #��&��- >*� � &�#
?�)��$ #����� )&D
���������������� ��� �������������������������������
� ����* #���$)�#�� )��&�/�� #��� &"� #
� �*��)� $�� #�#��&$ � &$ &��/�� #��� &"� #
� 3( '��( �"��#���&�/�� #��� &"� #�/ ��� #���(#
� �'"�)&� �/�� #��5 &"���(�� &$ #�)&$�� #�&
���#� )"��&�()� �� �, &�� #��)# #�)&$�� #��5 &"��
�� #��)# #�")&�� � ' "*� $�&�$�// &��� #��5 &"� #
����������3 )&+�� 6&+( 1 ����������<���/ �"( �(*��&#
�
��#� ��*&$ � #�
�*����� �� #��&��- >*� � &�#�
� #��5 &"��� "��� "�*
�4E� �4E� �4E'
%) �)&�#
Abstraction LayerTool Adapter
ToolLayer �(E�
TestCase
��E�
% #�&#
�(E)
% &$ #
F
% ��"( �@$ (Port/Signature
�(E5
��E5
% #�&#
�(E�
% &$ #
F
�4�!�)�&#��"#
�(E
��E
% #�&#
�(E"
% &$ #
F
F��
�E'
IuTLayer
����������3 )&+�� 6&+( 1 ����������<���/ �"( �(*��&#
�
�*����� �� #��&��- >*� � &�#
� #��5 &"��� "��� "�*
@ )#* � &�
!�)�&#��"#
)(�� )��&
���1=� )��&�1B
�A�1���*()�
3()#��G�?1!,&()$H
�4
3)*(�����*()��&
����������3 )&+�� 6&+( 1 ����������<���/ �"( �(*��&#
�
�*����� �� #��&��- >*� � &�#
?�)��$ #����� )&D
�������� � �����
� � #��")# #��*#��� � 1*# $�)&$�)$)�� $�)" ##�� #��B C "�#
� ����� )� #�/�$�// &���4�G#/�,) �<��) $,) H� ( )# #��*#��� ��)&)� $
� B " ##1#)/ �)$��&�#� )��&�/�� #��B C "�#�/ ��4��) �)&�#
�3 ,�(��")(�� #��)# #�) �� )&#/ � $��&���)&�����#�")(�� #��)# #����� #��B) )� � �.)��&
��&")�#*()��&�/��4�� C "��#� "�/�"����( � &�)��&�/�/*&"��&)(�
)"��&#�G �����4�I=0J ")&�� �$& ��&�$�// &��,)�#H�
�! /�&���&�/�)�#�)&$) $���012�/ )� , +
�� #��@)&)� � &��)&$�� #���' "*��&��(#�G��5�-1�4�=@��A=0H
����������3 )&+�� 6&+( 1 ����������<���/ �"( �(*��&#
K
L �������������������� ������
��012�3 )� , +
TC_x.ttcnTC_x.ttcn
TE_1.ttcn
TE_a.ttcn
TC_x.exeTC_x.exe
TE_m.ttcn
TE_n.ttcn
L ��������������B ��$ #��� ��) )� � ��&� /)" / ���5�-1�4�=@��A=0��� #��)# ��#�"��# $�/�� #���&���� #�
L �������� �������B ��$ #�)�#�&�( �� #��#" &) �
8
����������3 )&+�� 6&+( 1 ����������<���/ �"( �(*��&#
M
L � �� ���
L ��� #
L � ��()� #
L � #��� &"��) "��� "�*
L @)�� �)��")(�/*&"��&#
L 4# /*(�/*&"��&#
L 3*&"��&#��� &")�#*()� �
��0�� ��#��&)�* #
L &� &� &" �3*&"��&#���
� ��$ �)�#�)&$) $��4��)"" ##
L ? )�� �/*&"��&#
L ������,��"��&���4�&�<�//
L �*�� ��/*&"��&#
L 3 �(���&��
L 3 � ��)&$(�&�
��012�3 )� , +
SYSTEM-Framework (module view)SYSTEM-Framework (module view)
module Templ{..}module Templ{..}
module UF {..}module UF {..}
module Types {..}module Types {..}
module Architecture {..}module Architecture {..}
module EASExtFuncLibrary {..}module EASExtFuncLibrary {..}
module Errorhandling {..}module Errorhandling {..}
module Logging {..}module Logging {..}
module WF {..}module WF {..}
����������3 )&+�� 6&+( 1 ����������<���/ �"( �(*��&#
��
L ������������������� �!�������
L #�)&$) $�. $���0��$*( �*#)� �
L #�)&$) $�. $�#� *"�* ���"$ �)�
��0�� #��")#
L #�)&$) $�. $��$*( �) #
G� #���) )� � �$ /�&���&H
L #�)&$) $�. $��<����) )� � ��)���&�
L #�)&$) $�. $����")((�&��� "�)&�#�
L #�)&$) $�. $�� $�"��)&$� ��)&$(�&�
��012�3 )� , +
TC Framework
Modulepars(definition of parameters)
“Main” Part (Control of TE handling)
Verdict-handlingLogging
Call of TE_x
:
Parameter adaptation from modulepars towards TE execution
Parameter adaptation from modulepars towards TE execution
����������3 )&+�� 6&+( 1 ����������<���/ �"( �(*��&#
��
L ������������������� �!�������
L B) )� � �"()##�/�")��&�/�@$*( �) �) )� � #���#*�� ���� �
�) )� � ��)(* �)##��&� &�
��012�3 )� , +
Standard Operating Parametersproject specific parameter settings forthe normal operation mode of an ECU
Global Parametersselect specific functionality
Postamble Parametersdetermines the parameter settings after a run of atest scenario
Investigation Parametersdefines the physical parameter set for the abstract test case during test scenario
realization dependant
(purpose irrelevant)
purpose relevant
(realization Independant)
realization dependant
(purpose irrelevant)
����������3 )&+�� 6&+( 1 ����������<���/ �"( �(*��&#
��
L ������������������� �!�������
L #�)&$) $�. $��$*( �) #�) )� � ���� #
��012�3 )� , +
“Standard operating Parameter” “Global Parameter”
“Operation“
“Environment”
“Investigation”
40°C-10°C
Straight ahead Circular drivingStraight ahead Circular driving
{WP1;Action1;Eval1}{WP2;Action1;Eval2}{WP1;Action1;Eval1}{WP2;Action1;Eval2}{WP1;Action1;Eval1}{WP2;Action1;Eval2}{WP1;Action1;Eval1}{WP2;Action1;Eval2}
����������3 )&+�� 6&+( 1 ����������<���/ �"( �(*��&#
�2
L ������������������� �!�������
L #�)&$) $�. $��$*( �) #
GB) )� � �$ /�&���&H
��012�3 )� , +
TC Framework
Modulepars(definition of parameters)
“Main” Part (Control of TE handling)
Verdict-handlingLogging
Call of TE_x
:
Parameter adaptation from modulepars towards TE execution
Parameter adaptation from modulepars towards TE execution
����������3 )&+�� 6&+( 1 ����������<���/ �"( �(*��&#
��
L ������������������� �!�������
L B) )� � � ')��(
��012�3 )� , +
const Type_SUT_Rflt C_UBatt_StandardOperating_Rflt:= {val := 13.5 , // default valuelbl := "Batteryvoltage", // ASAP-Path, if SUT access requiredunit := "V", // unit in voltval_min := 0, // min valueval_max := 24.0, // max valuecomment := "Standard Battery supply voltage", // comment for LCA-Tool username := "StandardBatteryVoltage" // LCA-Tool GUI displayed name
}
const Type_SUT_Rflt C_UBatt_StandardOperating_Rflt:= {val := 13.5 , // default valuelbl := "Batteryvoltage", // ASAP-Path, if SUT access requiredunit := "V", // unit in voltval_min := 0, // min valueval_max := 24.0, // max valuecomment := "Standard Battery supply voltage", // comment for LCA-Tool username := "StandardBatteryVoltage" // LCA-Tool GUI displayed name
}
type record Type_STOPPA_RUR {charstring name,charstring functionality,charstring comment,Type_SUT_Rflt Ubatt_operating_Rflt:
} // END Type_STOPPA_RUR
type record Type_STOPPA_RUR {charstring name,charstring functionality,charstring comment,Type_SUT_Rflt Ubatt_operating_Rflt:
} // END Type_STOPPA_RUR
const Type_STOPPA_RUR C_MP_STOPPA_RUR := {name := "STOPPA",functionality := "",comment := "Project specific settings",Ubatt_operating_Rflt := C_UBatt_StandardOperating_Rflt
:} // End C_MP_STOPPA_RUR
const Type_STOPPA_RUR C_MP_STOPPA_RUR := {name := "STOPPA",functionality := "",comment := "Project specific settings",Ubatt_operating_Rflt := C_UBatt_StandardOperating_Rflt
:} // End C_MP_STOPPA_RUR
����������3 )&+�� 6&+( 1 ����������<���/ �"( �(*��&#
��
L �������� ������������ �!�������
L #�)&$) $�. $�#� *"�* ���"$ �)�
��0�� #�� &�����G� #�)# H
L #�)&$) $�. $���0��$*( �*#)� �
L #�)&$) $�. $��) )� � �$ /�&���&
L #�)&$) $�. $� ��)&$(�&�
L #�)&$) $�. $��1�� �1@ ��$
1 A&���)(�#)��&
1 ����*()��&�N�@ )#* � &�
1 ��)(*)��&�G� $�"���$ &��/�")��&H
1 3�&)(�#)��&�
��012�3 )� , +
TE_x.ttcnTE_x.ttcn
state machinestate machine
TE-ParameterTE-Parameter
Stim & MeasureStim & Measure
InitialisationInitialisation
EvaluationEvaluation
FinalisationFinalisation
ErrorError
����������3 )&+�� 6&+( 1 ����������<���/ �"( �(*��&#
��
� #��&��? +/(,
Test Case DevelopmentTest Case Development Test Management ProcessTest Management Process
Test ExecutionTest Execution
Test project manager
Test project manager
Test parametermanager
Test parametermanager
Test campaignmanager
Test campaignmanager
Test HandlerTest Handler
Report ViewerReport ViewerTestbench
configuratorTestbench
configurator
Lets take the reportsto the customer / project
(“pack and go”)
Reports
TC developer
TC developer
TCC Manager
TCC Manager
����������3 )&+�� 6&+( 1 ����������<���/ �"( �(*��&#
��
��5�-1�4�=@��A=0�G�����B $*"�H
7 ��3 )�* #
� ��5�-1�4�=@��A=0� &)�( #�)*����� �"��)&� #���$ � (����)&)� �)&$� ' "*� �#�#� �)��"�)&$� //�"� &��)*��)� $�� #�#/ ��4�#/�,) �
� A�#��$*() �)&$�� &�) "��� "�* �� ��$ #�� #��� &"��)&$�� #��()&�*)� ��&$ � &$ &" �
� *#�� #�� & /���/ �� *# �/�� #��")# #�)&$�� #��� C "�#/ �$�// &��� #��� &"��# �*�#�
� *#�� #�� & /���/ ���&� � )� $�� " ##1#)/ �� #���)&)� � &��)&$��) )� � �.)��&�# ��" #�/ ��)&$(�&���4��) �)&�#��
����������3 )&+�� 6&+( 1 ����������<���/ �"( �(*��&#
�K
���������
� #���' "*��&
� #�� &"��
� #��)# �
! � (�� &�
� #�� &"�5
��5�-1�4�=@��A=0
3 ��� #��)# �! � (�� &����� #���' "*��&
����������"������
� ���
� #��@)&)� � &�
#��� ��������#�$���
� #��)# (( "��&@)&)� � &�
����������������� ��
� ���
��������� ��� � � ��� ��
����������3 )&+�� 6&+( 1 ����������<���/ �"( �(*��&#
�M
������% �
��&'�����(
����)*+�
��5�-1�4�=@��A=0
��5�-1�4�=@��A=0
B $*"��� "��� "�*
��5�-1�!��� #��! #��&�&& "�
��5�-1��� #���' "*��&
��5�-1�@� #��@)&)�
��5�-1�5�� #��5 &"��&& "�
��5�-1�-%� #��- � ��%� ,
��5�-1=B�-��=-�)�� ,�-
��5�-!%��#��*()��&
A4�
*#�� 1#� "�/�"�� #��$ #��&�"&& "� #
*#�� 1#� "�/�"
�(�)$)�� #
��������%��%��'���� %������
����������3 )&+�� 6&+( 1 ����������<���/ �"( �(*��&#
��
�'� &#�&#�����)&$) $���012�/ ��*����� B �#)(�/ �/*�* �#�)&$) $�.)��&� // �#
L #���� �������� �!
L �1�� �1@ ��$�
L �.����������� ���� ����/����� ��
L � �� ��
L 5)#�"��)�� �)��")(�/*&"��&#�
L �� �&��� )��&#
L 3*&"��&#�/ �#��&)(�)&)(�#�#
L FF
L -������ 0������������������������
L B��#�")(�*&�����)'<��&��)(* �#*�� �
L �� &�#
L ��������������� �%��������
L �'" ���&��)&$(�&��
����������3 )&+�� 6&+( 1 ����������<���/ �"( �(*��&#
��
��)&+��*�/ ��* �)�� &��&O
P* �>* #��&#�) �, ("� O