Project

General

Profile

Feature #7306

Describe verification objects generation strategies and their options

Added by Evgeny Novikov over 3 years ago. Updated about 3 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

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

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

Actions

History

#1

Updated by Alexey Khoroshilov over 3 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.

#2

Updated by Ilja Zakharov over 3 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.

#3

Updated by Evgeny Novikov over 3 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.

#4

Updated by Alexey Polushkin over 3 years ago

  • Status changed from New to Resolved
#5

Updated by Evgeny Novikov about 3 years ago

  • Status changed from Resolved to Closed

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

Also available in: Atom PDF