论文部分内容阅读
程序控制流图不能表示DA交互发生点处实际执行的SQL语句，因而不能清晰地表示出程序数据库的交互过程。针对该问题提出了用有限状态自动机表示DMLSQL语句，根据自动机的运行过程确定交互语句使用或定义的数据对象，并利用此信息生成表示交互语句的结点，以扩展CFG。实验表明，经过扩展后的ECFG能够直观地表示DA程序中与数据库的交互结构。