Abstract
自動化校正技術，可以很有效的增進程式的可靠性。尤其對於大型程式系統，其效果更加顯著。靜態校正，是校正技術的一類，以靜態方式分析程式，而不用真正去執行。 在此論文，提出一些針對程式流程結構的校正技術，並加以討論。這些技術，並不考慮程式的語意。圖論□所發展出的技術，可用為程式流程結構的校正，有向圖的可達概念，用為程式架構好壞的校正，並可指出可能的結構缺陷。例如，多餘的指令，沒有出口的環路等。其應用範圍可限於子程式層次，方可推至系統層次。對結構的正確性，文中也加以定義。結構的正確與否可利用有向圖的同義觀念去校對。此論文中所用的校對方法，是根據(１)中所提出的回返法。並提出一新的改進方法。