11
!"#$ %&’ ((##$ &)#)&$$#&)&#*#$&#$"*&))$)+#)&$#(&&#",&# -)(.)&/)0123),+ /&"*#)## 012 4#&/&"5(& 3)&+ 6&+( (((&$&3)&+7(-5#" &)" 89( )((&$&/)&+ +(:;$ #" " 3)&+ 6&+(1 </"((*&# =*(& *#&->*&# 012 3),+ #&?+/(, 5- 14=@A=0 ’&#&##)&$)$012

012 3 )ˆ , + / ˇ & * ˆ ˜ # )# # · 3)&+ 6&+( 1 ˘ ˇˆ˙˝ < ˚ / "(˘ (* &# m l ˛ ˚ l # l ˆ () # l # ˙ &" )" " * l@) ˆ) ")( /*&" &# l4# /*( /*&" &# l3*&" &# &") #*() 0

  • Upload
    others

  • View
    2

  • Download
    0

Embed Size (px)

Citation preview

Page 1: 012 3 )ˆ , + / ˇ & * ˆ ˜ # )# # · 3)&+ 6&+( 1 ˘ ˇˆ˙˝ < ˚ / "(˘ (* &# m l ˛ ˚ l # l ˆ () # l # ˙ &" )" " * l@) ˆ) ")( /*&" &# l4# /*( /*&" &# l3*&" &# &") #*() 0

����������� � �� ���������������������� ��� ! ��" #��$��� % � &�' ����((� ����#� # � $��� �&)� #�)&$�$ #��&)��&#�*# $��&����#�$"*� &��) �� )$ �) +#� �� )&$#�� (&��&������ � #� "��� �,& #�

- )(�.)��&�/�)���012�3 )� , +�/ �� & �"��*����� �� #��)# #��012�4# �&/ &" ��5 (�&�����

3 )&+�� 6&+( � ���������

��(�((� &$�&� ��3 )&+�7��( � -� ��5#"������

&�)"�8�9��(�)((� &$�&� ��/ )&+�+��( :;$ ��#"��"�

����������3 )&+�� 6&+( 1 ����������<���/ �"( �(*��&#

=*�(�&

� �*����� �� #��&��- >*� � &�#

� ��012�3 )� , +

� � #��&��? +/(,

� ��5�-1�4�=@��A=0

� �'� &#�&#���#�)&$) $���012

Page 2: 012 3 )ˆ , + / ˇ & * ˆ ˜ # )# # · 3)&+ 6&+( 1 ˘ ˇˆ˙˝ < ˚ / "(˘ (* &# m l ˛ ˚ l # l ˆ () # l # ˙ &" )" " * l@) ˆ) ")( /*&" &# l4# /*( /*&" &# l3*&" &# &") #*() 0

����������3 )&+�� 6&+( 1 ����������<���/ �"( �(*��&#

2

�*����� �� #��&��- >*� � &�#

���������������� ��� �������������������������������

� ����* #���$)�#�� )��&�/�� #��� &"� #

� �*��)� $�� #�#��&$ � &$ &��/�� #��� &"� #

� 3( '��( �"��#���&�/�� #��� &"� #�/ ��� #���(#

� �'"�)&� �/�� #��5 &"���(�� &$ #�)&$�� #�&

�������� � �����

� � #��")# #��*#��� � 1*# $�)&$�)$)�� $�)" ##�� #��B C "�#

� ����� )� #�/�$�// &���4� ( )# #��*#��� ��)&)� $

� B " ##1#)/ �)$��&�#� )��&�/�� #��B C "�#�/ ��4��) �)&�#

����������3 )&+�� 6&+( 1 ����������<���/ �"( �(*��&#

�*����� �� #��&��- >*� � &�#

?�)��$ #����� )&D

���������������� ��� �������������������������������

� ����* #���$)�#�� )��&�/�� #��� &"� #

� �*��)� $�� #�#��&$ � &$ &��/�� #��� &"� #

� 3( '��( �"��#���&�/�� #��� &"� #�/ ��� #���(#

� �'"�)&� �/�� #��5 &"���(�� &$ #�)&$�� #�&

���#� )"��&�()� �� �, &�� #��)# #�)&$�� #��5 &"��

�� #��)# #�")&�� � ' "*� $�&�$�// &��� #��5 &"� #

Page 3: 012 3 )ˆ , + / ˇ & * ˆ ˜ # )# # · 3)&+ 6&+( 1 ˘ ˇˆ˙˝ < ˚ / "(˘ (* &# m l ˛ ˚ l # l ˆ () # l # ˙ &" )" " * l@) ˆ) ")( /*&" &# l4# /*( /*&" &# l3*&" &# &") #*() 0

����������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)*(�����*()��&

Page 4: 012 3 )ˆ , + / ˇ & * ˆ ˜ # )# # · 3)&+ 6&+( 1 ˘ ˇˆ˙˝ < ˚ / "(˘ (* &# m l ˛ ˚ l # l ˆ () # l # ˙ &" )" " * l@) ˆ) ")( /*&" &# l4# /*( /*&" &# l3*&" &# &") #*() 0

����������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

Page 5: 012 3 )ˆ , + / ˇ & * ˆ ˜ # )# # · 3)&+ 6&+( 1 ˘ ˇˆ˙˝ < ˚ / "(˘ (* &# m l ˛ ˚ l # l ˆ () # l # ˙ &" )" " * l@) ˆ) ")( /*&" &# l4# /*( /*&" &# l3*&" &# &") #*() 0

����������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

Page 6: 012 3 )ˆ , + / ˇ & * ˆ ˜ # )# # · 3)&+ 6&+( 1 ˘ ˇˆ˙˝ < ˚ / "(˘ (* &# m l ˛ ˚ l # l ˆ () # l # ˙ &" )" " * l@) ˆ) ")( /*&" &# l4# /*( /*&" &# l3*&" &# &") #*() 0

����������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}

Page 7: 012 3 )ˆ , + / ˇ & * ˆ ˜ # )# # · 3)&+ 6&+( 1 ˘ ˇˆ˙˝ < ˚ / "(˘ (* &# m l ˛ ˚ l # l ˆ () # l # ˙ &" )" " * l@) ˆ) ")( /*&" &# l4# /*( /*&" &# l3*&" &# &") #*() 0

����������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

Page 8: 012 3 )ˆ , + / ˇ & * ˆ ˜ # )# # · 3)&+ 6&+( 1 ˘ ˇˆ˙˝ < ˚ / "(˘ (* &# m l ˛ ˚ l # l ˆ () # l # ˙ &" )" " * l@) ˆ) ")( /*&" &# l4# /*( /*&" &# l3*&" &# &") #*() 0

����������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

Page 9: 012 3 )ˆ , + / ˇ & * ˆ ˜ # )# # · 3)&+ 6&+( 1 ˘ ˇˆ˙˝ < ˚ / "(˘ (* &# m l ˛ ˚ l # l ˆ () # l # ˙ &" )" " * l@) ˆ) ")( /*&" &# l4# /*( /*&" &# l3*&" &# &") #*() 0

����������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 ��� #��)# �! � (�� &����� #���' "*��&

����������"������

� ���

� #��@)&)� � &�

#��� ��������#�$���

� #��)# (( "��&@)&)� � &�

����������������� ��

� ���

��������� ��� � � ��� ��

Page 10: 012 3 )ˆ , + / ˇ & * ˆ ˜ # )# # · 3)&+ 6&+( 1 ˘ ˇˆ˙˝ < ˚ / "(˘ (* &# m l ˛ ˚ l # l ˆ () # l # ˙ &" )" " * l@) ˆ) ")( /*&" &# l4# /*( /*&" &# l3*&" &# &") #*() 0

����������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 �'" ���&��)&$(�&��

Page 11: 012 3 )ˆ , + / ˇ & * ˆ ˜ # )# # · 3)&+ 6&+( 1 ˘ ˇˆ˙˝ < ˚ / "(˘ (* &# m l ˛ ˚ l # l ˆ () # l # ˙ &" )" " * l@) ˆ) ")( /*&" &# l4# /*( /*&" &# l3*&" &# &") #*() 0

����������3 )&+�� 6&+( 1 ����������<���/ �"( �(*��&#

��

��)&+��*�/ ��* �)�� &��&O

P* �>* #��&#�) �, ("� O