Pode-se afirmar que:

I - Na modelagem relacional, considere um conjunto de atributos X no esquema de uma relação R1 que referencia uma outra relação R2. Os atributos de X possuem o mesmo domínio que os atributos da chave primária PK de R2. Um valor de X numa tupla t1 do estado corrente (atual) r1( R1 ) ocorre como um valor de PK para alguma tupla t2 no estado corrente r2(R2) ou é nulo. Nestas condições podemos dizer que X no esquema da relação R1 é uma chave estrangeira de R1 que referencia R2.

II - O objetivo dos testes de estrutura é assegurar que cada caminho de programa independente seja executado pelo menos uma vez. Um caminho de programa independente é aquele que atravessa pelo menos um novo ramo no grafo de fluxo. O número de caminhos independentes em um programa pode ser obtido por meio do cálculo da complexidade ciclomática do grafo.