Coupling Categories
![]()
¨ Module m1 & m2 are controlled coupled if:
· M1 calls m2.
· An element-of-control is passed between m1 and m2.
¨ Advantages
· Requires only one entry point to a number of functions. Justified when the environment only supports a limited number of external symbols.
¨ Consequences
·
Called module is controlled by calling module.
Therefore calling module
changes with the called module
·
Control code provides an additional burden in verification.
![]()