程序的结构形式是白盒测试的重要参照。在静态结构分析中，测试者运用专门的测试工具，深入剖析程序源代码的内在构造，包括系统结构、数据结构以及内部控制逻辑等要素。由此产生的各类图形图标，如函数调用关系图、模块控制流图、内部文件调用关系图、子程序表、宏及函数参数表等，均能清晰勾勒出整个软件系统的架构，使其更易于阅读和理解。
函数调用关系图是揭示系统构造的关键。它通过展示应用程序中各函数间的调用联系，呈现了系统的运作框架。通过审视这些关系，可以检验函数间的调用是否符合预期，是否出现递归调用过深的问题，以及是否存在孤立未被调用的函数。这一切都有助于识别系统潜在的构造缺陷。
进一步地，通过分析模块控制流图——这种与程序流程图相似的图形构造，我们可以更直观地了解函数的内部逻辑结构。模块控制流图由节点和连接它们的边组成，其中节点代表语句或语句群，边则代表了节点间的控制流向。这一图形工具能够直观地反映出函数的执行逻辑，通过对其的检查，我们可以迅速发现软件的错误与缺陷。
总体而言，这些分析手段能够清晰标识软件系统的组成结构，同时揭示其内在的逻辑与缺陷。它们为测试者提供了强有力的工具，使其能够准确判断软件是否存在问题，哪些函数扮演着关键角色，以及应采用何种级别的覆盖要求等关键信息。