#3715: Add Requirements Engineering chapter to RTEMS Software Engineering Handbook -----------------------------+------------------------------ Reporter: Sebastian Huber | Owner: Sebastian Huber Type: task | Status: accepted Priority: normal | Milestone: 6.1 Component: doc | Version: 6 Severity: normal | Resolution: Keywords: qualification | Blocked By: Blocking: 3703 | -----------------------------+------------------------------
Comment (by Sebastian Huber <sebastian.huber@…>): In [changeset:"0213e8efab9dcc1f0feac1a16d48f9ee2b6e43da/rtems-docs" 0213e8e/rtems-docs]: {{{ #!CommitTicketReference repository="rtems-docs" revision="0213e8efab9dcc1f0feac1a16d48f9ee2b6e43da" eng: Add a specification type for actions Add support to specify functional requirements for actions (functions or macros) via a transition map of pre-conditions to post-conditions. This will be the work horse for functional requirements. Generation of corresponding validation tests is supported. Update #3715. }}} -- Ticket URL: <http://devel.rtems.org/ticket/3715#comment:15> RTEMS Project <http://www.rtems.org/> RTEMS Project
_______________________________________________ bugs mailing list bugs@rtems.org http://lists.rtems.org/mailman/listinfo/bugs