IEC 61508:2010 - Functional Safety of E/E/PE Safety-related Systems
Part 3, Clause 7: Software safety lifecycle – IEC 61508:2010 - Functional Safety of E/E/PE Safety-related Systems

IEC 61508:2010 - Functional Safety of E/E/PE Safety-related Systems 3-7.4.7: Part 3, 7.4.7 Requirements for software module testing

Each module is verified against the module test specification written during software system design, showing whether it does what it is meant to do and nothing it is not meant to do. Results are documented and corrective action procedures for failed tests are specified. Together with code review, module testing gives the assurance that a module satisfies its specification.

Maintained by Gerard Blokdyk

What else in your programme already covers this

This control maps to 2 controls across 2 other frameworks. If you already hold one of them, the evidence you collected for it is the starting point here rather than new work.

  • 6:9.4 9.4 Software unit verification

Every mapping shown was judged rather than inferred from wording similarity, and the ones that failed review are published too. See the coverage reports and what was rejected.

Other controls in Part 3, Clause 7: Software safety lifecycle – IEC 61508:2010 - Functional Safety of E/E/PE Safety-related Systems

Query this from an agent

The graph holds this control, the 2 it maps to, and the evidence behind each claim, over MCP and REST.