从单元程序到N_S图的生成算法研究

RESEARCH OF AN ALGORITHM TO CONVERT CODES OF UNIT PROGRAM INTO ITS N-S GRAPH

以P_(ascal)语言为例,在研究了各种语句形式与N-S图形对应关系的基础上,提出了从单元程序编码,得到对应的N-S图的主成算法。该算法作为测试阶段使用的软件工具,用以检验单元程序编码与详细设计的一致性,从而保证单元测试的有效性。

An algorithm is introduced with researching corresponding relation between statements of PASCAL and elements of N-S graph. This algo- rithm can convert codes of unit program into N-S graph. As a software tool of software test it is used to check uniformity of unit program and its concrete design and to guarantee validity of unit test.