10 Commits

Author SHA1 Message Date
Léo Creuse
81296974e7 Qualification: Rework qualkit production to use gnatchek-qualkit helpers and style
This involves moving large chuncks of the sources to more deeply nested directories, as there
are some assumptions as to where some config files are located.
2025-09-09 12:02:43 +00:00
Olivier Hainque
cdd9745d37 STR: Fix typo on "This is the" in first pargraph.
Comment #1 on QAC4.4 from U622-030 (gnatcov 19.5 qualkit update)

Change-Id: Ia03333b5564cbbec006d5eeecfd5756423ead59b
2021-11-19 15:36:31 +00:00
Olivier Hainque
124863e571 Remove TRV chapter from the gnatcov STR
Remove the Testsuite Result Verification chapter from the
gnatcov Software Test Results document, part of qualification
kits. This chapter was identified as not belonging to this
document in the course of T624-021.

Change-Id: I6148a0af0f3b8d6c150e8e3998570ec318148ca9
TN: T730-032 (remove test results verification from gnatcov STR)
2021-04-29 11:40:56 +02:00
Olivier Hainque
b6623661fd gnatcov STR: introduce a Testsuite Results Verification section
PC09-029 (gnatcov STR needs section to justify XFAILs)

TEC.PC05-008 (qualkit 1434 p55-elf-windows, STR)
2017-01-04 15:30:16 +01:00
Olivier Hainque
cff1aa7137 gnatcov STR: minor improvements
Fix markup of "Violations" in definition, fix document
title to match do178c designation.

P914-022 (migrate qualkit from 178B to 178C)

Change-Id: I32690fe66fc529a1873ddcdd7896b4c02a01eaa2
2016-10-24 16:08:57 +02:00
Olivier Hainque
0cf9a038d6 gnatcov STR: update copyright and title for do178C
P914-022 (migrate qualkit from 178B to 178C)

Change-Id: I0a14ca6e31e7c9a0a1614c87d04e13906c1e2f03
2016-10-24 16:08:56 +02:00
Olivier Hainque
386af8d256 gnatcov STR: just refer to "the environment" in the introduction table
Don't call that the Qualification Environment explicitly here. This is
taken care of by the enclosing chapter title.

Minor adjustment in the course of N314-024
2014-07-11 17:02:54 +02:00
Olivier Hainque
4980266c97 gnatcov STR: Operational->Qualification environment in TOC entry
Now that a clear distinction is established and acknowledged in
the section titles.

Followup on QA comment #14 on PLANS 1.1, MB14-030
2013-11-21 18:19:43 +01:00
Olivier Hainque
95c4f2743a gnatcov STR: minor corrections in preparation of forthcoming QA
- Arrange to produce STR.pdf, matching partname for genbundle.
- Simplify the genbundle latching logic accordingly.
- Arrange to produce a "content.html" toplevel as for other parts.
- Adjust title to be explicit about the qualif material property,
  as other parts already do.

MA18-014
2013-10-18 14:29:51 +02:00
Olivier Hainque
9b9dbc2601 gnatcov qualkit: move qualification/str to testsuite/STR
tentative helper for kit production using remote testsuite,
aimed at allowing full STR production on the testsuite site.

MA10-013
2013-10-11 09:57:32 +02:00