Project

General

Profile

Actions

Feature #7306

closed

Describe verification objects generation strategies and their options

Added by Evgeny Novikov over 8 years ago. Updated almost 8 years ago.

Status:
Closed
Priority:
High
Category:
Documentation
Target version:
-
Start date:
06/20/2016
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

To prepare verification jobs using Bridge (the primary use case) users need to understand differences between various verification objects generation strategies and how their options affect generated verification objects by reading appropriate help pages. Since these pages can be quite large, they shouldn't be inlined.

Here just one or several HTML pages are assumed. These pages can be attached directly here so everybody will be able to review them prior to including in Bridge.


Related issues 2 (1 open1 closed)

Related to Klever - Feature #7307: Support help pagesNewVladimir Gratinskiy06/20/2016

Actions
Related to Klever - Feature #7309: Describe how to specify target modules to be verifiedRejected06/20/2016

Actions
Actions #1

Updated by Alexey Khoroshilov over 8 years ago

These pages can be attached directly here so everybody will be able to review them prior to including in Bridge.

Wiki at forge.ispras.ru could be used for development of these pages if it would иу convenient.

Actions #2

Updated by Ilja Zakharov over 8 years ago

I think showing help pages and descriptions of strategies are separate tasks. Proper place for the description of strategies is Klever sphinx documentation. Help pages based on the documentation in Web ui would be very helpful, but this is a different task.

Actions #3

Updated by Evgeny Novikov over 8 years ago

  • Description updated (diff)
  • Subject changed from Describe verification objects generation strategies and their opinions to Describe verification objects generation strategies and their options

Ilja Zakharov wrote:

I think showing help pages and descriptions of strategies are separate tasks. Proper place for the description of strategies is Klever sphinx documentation. Help pages based on the documentation in Web ui would be very helpful, but this is a different task.

#7307 is responsible for showing help pages while this feature request is just for description as it was originally specified in description.
As for the initial description format wiki does look the best.
Your thoughts on showing Klever documentation in Bridge I will add to #7307. It does have sense.

Actions #4

Updated by Alexey Polushkin over 8 years ago

  • Status changed from New to Resolved
Actions #5

Updated by Evgeny Novikov almost 8 years ago

  • Status changed from Resolved to Closed

Let's assume that the first version is well enough and update it later appropriately.

Actions

Also available in: Atom PDF