Function-linked binding analysis

This method is an adaptation of the thermodynamic analysis of linked functions, the binding of multiple ligands to macromolecules (e.g., Wyman, 19) and the binding of gases to hemoglobin. 

Standards such as RTCA DO-178B include the recommendation (depending on criticality level) to trace all code to requirements. In the absence of dynamic binding, this is relatively straightforward to achieve. Each procedure at the outermost layer of the software is typically present to support directly a stated functional requirement. Static analysis of the program can identify all lower-level procedures that are directly or indirectly called from the outermost procedures. Thus a lattice can be generated in which every procedure is directly or indirectly linked to one or more functional requirements. 

---