Menu list

Stopping a calculation

The red square button in the toolbar requests that the current calculation stop. It is greyed out when no calculation is running. At the next safe processing checkpoint, Reqchecker writes Interrupted by the user in the status area and discards every partial result, so the Project Viewer cannot show incomplete data.

File Menu

Note

All information for a coverage relationship is stored in a single runnable file : the coverage file (*.cover).

  • New menu creates a new empty project
  • Open menu opens a project file (*.cover)
  • Save menu saves change for the current project file
  • Save As menu saves the current project file with a new name
  • Close menu exits from application

Report Menu

  • Verification table menu launches and opens the Verification Table
  • Coverage Matrix menu launches and opens the Coverage Matrix
  • Printable HTML Report menu launches and opens the Printable HTML Report
  • Text Full Report menu launches and opens the Markdown Report
  • Eclipse Content Assist menu launches and opens the Eclipse Content Assist Export
  • Java Enum menu launches and opens the Java Enum Export

Options Menu

Extraction options

Limit text to first paragraph

This option has not effect if END TEXT tag is used. If END TEXT is empty: * If the option is checked, the statement text is read until the end of the first paragraph. This limits the length of the extracted text. * If the option is unchecked, all paragraphs are read until the next new section (new heading, new sheet) or the next tag.

Limit text to first section

This option has not effect if END TEXT tag is empty.

If END TEXT is defined:

  • If the option is checked, the statement text is read until the next section (new heading, new sheet) or until the next tag.
  • If the option is unchecked, all sections are read until the END TEXT tag is found, or another tag is found.

Syntax Advanced Reg. Exp.

This option allows you to switch from using wildcards to advanced regular expressions for syntax formalisation, see Wildcards vs Regex.

Warning

This kind of expression are very complex and shall not be used for beginners.

Title on next line

Selects if the title is on the same line as the REQUIREMENT ID, or in the next line.

If unchecked, the following syntax is supported:

<DSL_0010> Operating System
The software must be compliant with Windows 10.
...

If checked, the following syntax is supported:

<DSL_0010>
Operating System
The software must be compliant with Windows 10.
...

Title for requirements

Uncheck this box if your requirement do not have a title.

If checked, requirement will have a title that is read just after ID. If unchecked, the ID is followed by text or by custom tags.

Non-standard version

If the option is checked, the version can be a free text with digits 0-9, letters a-zA-Z, dashes -, dots . and spaces .

Trim left

This option cleans up the start of titles, text and requirement attributes. By default, spacing and invisible characters are removed. This option allows you to define the list of characters to be deleted using a regexp.

Trim right

This option cleans up the end of titles, text and requirement attributes. By default, spacing and invisible characters are removed. This option allows you to define the list of characters to be deleted using a regexp.

High probability only

In Auto reading mode, this option limits reading to requirements identified with a medium or high probability. Other phrases are not extracted from the document. This option allows you to read a document with no formal requirements using the same process as others, at the risk of not capturing certain sentences.

Control options

This section lists all available controls. The icon is green when the control is enabled, else gray. See Control Engine.

Project options

AI effort

AI effort is stored in the .cover project file and controls which local AI functions are available: semantic grouping, neighbour calculation, generated group names and semantic-pair analysis.

The value is always visible in the Options / Project menu and can also be changed in Project / Advanced settings.

  • Disabled disables these functions for this project.
  • Semantic enables semantic grouping and neighbour calculation through embeddings, without starting a text model. It does not run duplicate and contradiction analysis.
  • Generative moderate adds the smaller local text model for generated group names and semantic-pair analysis of duplicates and contradictions. It is the appropriate explicit choice when the computer has limited resources.
  • Generative normal adds the larger local text model. It is suited to computers with sufficient RAM and a capable dedicated GPU and also enables duplicate and contradiction analysis; it remains selectable even when it is not the recommended level.

For a new project, Reqchecker recommends a generative level from the usable physical RAM, Vulkan availability and dedicated video memory. This recommendation is not a test of whether AI can run: the local model may use CPU and system RAM when GPU acceleration is unavailable.

The selected level takes effect on the next AI request. If several projects run on the same computer, they share a single local text server. Reqchecker lets current requests finish and then switches model in request order, so changing this option does not interrupt an ongoing analysis.

If the selected model cannot be loaded, Reqchecker reports the error for that analysis and does not silently switch to the other model. A later analysis may try to load the selected model again.

Project version

The Project version is an integer stored in the .cover project file. It identifies the revision of the project configuration and is independent from the versions or automatic footprints of individual requirements.

The value is displayed in the Project Viewer, the Printable HTML Report, the Verification Table, and the Coverage Matrix so that a generated report can be associated with the project revision used to create it.

Auto project version

If enabled, this option increments the Project version each time the .cover file is saved, including Save As. If disabled, edit the project version manually when the project reaches a revision that must be identified in reports.

Report options

If enabled, includes hyper-links to source documents in the Coverage Matrix and the Verification Table.

Excel sorted by ID

If enabled, sorts the requirement by ID in Coverage Matrix and Verification Table. The sorting is "natural" in the sense that if the difference between two IDs is at the level of a number, then this number is considered in its entirety to perform the sort.

For example the following IDs will be sorted as follows: "REQ_4" < "REQ_04" < "REQ_5" < "REQ_10".

If disabled, the requirements are presented in the discovery order.

Table format

Open Options > Report / Advanced Settings and select Table format. The selected value is stored in the .cover project file and controls how tables contained in requirement text are rendered in EXCEL reports, the Printable HTML Report, and the Project Viewer (including the view used by the REQCHECKER™ Add-in for Microsoft Word):

  • TAB (default) stays faithful to the plain text by preserving tab characters and line breaks.
  • RC identifies each non-empty cell with compact one-based row and column coordinates, such as [R1C1].
  • GRID renders an aligned text grid in EXCEL reports and an actual bordered table in the Printable HTML Report and the Project Viewer.

Choose TAB when preserving the extracted text is most important, RC when a compact textual reference to each cell is needed, or GRID when the table structure must remain visually readable. The option applies only to tables originating from requirement text. Tables generated by REQCHECKER™, and the Markdown, XML, Java enum, and Eclipse Content Assist reports, keep their standard rendering.

Extended coverage matrix

If enabled, adds the following information in the Matrix tab of Coverage Matrix:

  • requirement text
  • requirement management rate
  • requirement coverage rate
  • linked requirements
  • custom attributes

These information are always included in the Status tab of Coverage Matrix.

Show NO_STATEMENT_ERROR in Multi-Level matrix

When this option is unchecked, requirements with the status NO_STATEMENT_ERROR are not presented in the multi-level report. In this case, a message is displayed to alert you to the number of requirements hidden in the table.

These requirements may be defined in data sources not included in the project, in which case the lack of a statement may not be an error.

Settings

Opens Settings Dialog.

Help Menu

Help Content

This menu opens the on-line help.

Support

(REQCHECKER™ PRO only)

This menu opens the support Web page. It is enabled for if the maintenance service is active.

About

Opens About Dialog.