Jump to content

conditions evaluated during generation or simulation

Recommended Posts

I know this question had been asked for version-1 also, but is there some clarity/decision taken on whether the conditions of if-else (13.4.5) and repeat-while (13.4.2) statements should be evaluated during generation or during simulation?

In other words, should these conditional statements be generated into the target language, or will they be evaluated and the appropriate branch taken during generation itself?

I tried searching in the new document, but did not find any discussion/resolution on this topic. If it is already answered, please provide a link to that section.

Link to comment
Share on other sites

Hi Raj,

The answer is that it depends on what is involved in the expression and the capabilities of the tool. If the expression depends on run-time values, then clearly the expression must be evaluated at run-time and the generated code must reflect this.

For expressions that do not involve data from the environment, the tool could evaluate these up-front and factor these into the test generation process.

Link to comment
Share on other sites

Join the conversation

You can post now and register later. If you have an account, sign in now to post with your account.
Note: Your post will require moderator approval before it will be visible.

Reply to this topic...

×   Pasted as rich text.   Paste as plain text instead

  Only 75 emoji are allowed.

×   Your link has been automatically embedded.   Display as a link instead

×   Your previous content has been restored.   Clear editor

×   You cannot paste images directly. Upload or insert images from URL.

  • Create New...