[RTEMS Project] #3963: Add build specification item verification

RTEMS trac trac at rtems.org
Thu May 28 11:03:17 UTC 2020


#3963: Add build specification item verification
-----------------------------+------------------------------
 Reporter:  Sebastian Huber  |       Owner:  Sebastian Huber
     Type:  enhancement      |      Status:  assigned
 Priority:  normal           |   Milestone:  6.1
Component:  build            |     Version:  6
 Severity:  normal           |  Resolution:
 Keywords:                   |  Blocked By:
 Blocking:                   |
-----------------------------+------------------------------

Comment (by Sebastian Huber):

 The basic functionality for a verification of build items is implemented
 in the RTEMS Qualification Tools repository:

 https://git.rtems.org/sebh/rtems-qual.git/tree/specverify.py

 Missing features are:

 * verify that the directed graph of specification items has no cycles
 (depending on the link role)

 * specify and verify required links, roles, and target types for item
 types

 * detect isolated items

 * add warning conditions

 * improve the output of failed assertions

 To make use of it, one option would be to install the RTEMS Qualification
 Tools Python modules under ${prefix}/share/rtems parallel to the
 rtemstoolkit modules.  Only if the wscript should do the verification,
 then the module is loaded.

--
Ticket URL: <http://devel.rtems.org/ticket/3963#comment:1>
RTEMS Project <http://www.rtems.org/>
RTEMS Project


More information about the bugs mailing list