2 Copyright (c) 2000-2014 Ericsson Telecom AB
4 All rights reserved. This program and the accompanying materials
5 are made available under the terms of the Eclipse Public License v1.0
6 which accompanies this distribution, and is available at
7 http://www.eclipse.org/legal/epl-v10.html
11 <meta http-equiv=
"Content-Type" content=
"text/html; charset=utf-8">
12 <meta http-equiv=
"Content-Language" content=
"en-us">
13 <title>execute
</title>
15 <body bgcolor=
"#DAD3C5" vlink=
"#0094D2" link=
"#003258">
16 <table align=
"left" border=
"0" cellspacing=
"0" cellpadding=
"0" valign=top
>
18 <td width=
105 height=
40><a href=
"https://projects.eclipse.org/projects/tools.titan"><img src=
"../images/titan_transparent.gif" border=
0 width=
105 height=
40 align=
"left" alt=
"Titan"></a></td>
21 <table border=
"0" align=
"right" cellpadding=
"0" cellspacing=
"0">
23 <td><a href=
"../titan_main.html" alt=
"contents"><img border=
"0" src=
"../images/ao.jpg" width=
"53" height=
"40"></a></td>
24 <td><a href=
"../titan_index.html" alt=
"index"><img border=
"0" src=
"../images/up.jpg" width=
"53" height=
"40"></a></td>
25 <td><a href=
"exception.html" alt=
"previous"><img border=
"0" src=
"../images/left.jpg" width=
"53" height=
"40"></a></td>
26 <td><a href=
"extension.html" alt=
"next"><img border=
"0" src=
"../images/right.jpg" width=
"53" height=
"40"></a></td>
33 <hr align=
"left" width=
"75%">
34 <p>The keyword is used to execute a test case.
36 <li>As the result of the execution of a test case, a test case verdict of either
<a href=
"none.html"><b><font face=
"Courier New" color=
"#003258" size=
"4">none
</font></b></a>,
<a
37 href=
"pass.html"><b><font face=
"Courier New" color=
"#003258" size=
"4">pass
</font></b></a>,
<a href=
"inconc.html"><b><font face=
"Courier New" color=
"#003258" size=
"4">inconc
</font></b></a>,
<a
38 href=
"fail.html"><b><font face=
"Courier New" color=
"#003258" size=
"4">fail
</font></b></a> or
<a href=
"error.html"><b><font face=
"Courier New" color=
"#003258" size=
"4">error
</font></b></a> is
40 <li>Optionally, the execution time may be supervised. If the test case does not end within this duration, the result of the test case execution will be an error verdict.
</li>
42 <p>Related keywords:
</p>
44 <li><a href=
"testcase.html"><b><font face=
"Courier New" color=
"#003258" size=
"4">testcase
</font></b></a></li>
45 <li><a href=
"verdicttype.html"><b><font face=
"Courier New" color=
"#003258" size=
"4">verdicttype
</font></b></a></li>
47 <hr align=
"left" width=
"50%">
50 <table border=
"0" width=
"90%" bgcolor=
"#FFB599" cellpadding=
"4">
53 <h3 align=
"center"><font face=
"Courier New" color=
"#003258" size=
"5"><b>execute(
</b></font> <i>test_case_identifier
</i> [
<font face=
"Courier New" color=
"#003258" size=
"5"><b>,
</b></font><i>timer_value
</i>
54 ]
<font face=
"Courier New" color=
"#003258" size=
"5"><b>);
</b></font></h3>
62 <p><i>test_case_identifier
</i> is the
name used to refer to the test case to be executed. It is suggested that the name begin with tc_
</p>
65 <p><i>timer value
</i> is the optional
<a href=
"float.html">float
</a>ing point value stating the execution time limit in seconds.
</p>
68 <hr align=
"left" width=
"50%">
70 <p><font face=
"Courier New">execute(tc_TestCaseName());
</font>
71 <p>The test case called tc_TestCaseName is executed. The test case has no parameters. Execution time supervision is not started.
</p>
73 <p><font face=
"Courier New">vl_doom := execute(tc_SecondTestCaseName(),
5E-3);
</font>
74 <p>The test case called tc_SecondTestCaseName is executed. The result (verdict) is stored in the variable vl_doom . Execution time limit is set to
5 milliseconds.
</p>
75 <hr align=
"left" width=
"25%">
76 <hr align=
"left" width=
"25%">
77 <p><a HREF=
"BNF.html#testcaseinstance">BNF definition
</a> of
<font face=
"Courier New"> execute
</font></p>