Оценка оттестированности проекта: метрики и методика интегральной оценки

Оценка степени тестированности плоской модели определяется долей прогнанных трасс из набора необходимых для покрытия в соответствии с критерием С.

(1) $$TV(G,С) = (V-DV)/V = \sum PT_{i}(G) / (\sum P_{i}(G))$$,

где PTi(G) - тестовый путь ( ti ) в графе G плоской модели равен 1, если он протестирован (прогнан), или 0, если нет.

Например, если в УГП (Пример 4.1) тесты t6 и t7, которым соответствуют трассы P6 и P8, не прогнаны, то в соответствии с соотношением (1) для TV(G,С) степень тестированности будет оценена в 0.71.

Оценка тестированности иерархической модели определяется на основе учета оценок тестированности компонентов. Если трасса некоторого теста tj УГП G включает узлы, представляющие компоненты Gj1,..Gjm, оценка TV степени тестированности которых известна, то оценка тестированности PTi(G) при реализации этой трассы определяется не 1, а минимальной из оценок TV для компонентов.

Интегральная оценка определяется соотношением (2):

(2) $$TV(G,C) = (V-DV)/V = (\sum PT_{i}(G) * \sum (TV(G_{ij},C))) / (\sum P_{i}(G))$$

где PTi(G) - тестовый путь ( ti ) в графе G равен 1, если протестирован, или 0, если нет. В путь PTi графа G может входить j узлов модулей Gij со своей степенью тестированности TV(Gij,С), из которых мы берем min, что дает худшую оценку степени тестированности пути.

// Пример плоской модели проекта
public void G()
{
	int TerminalStatus=0, CommandStatus=0;
	bool IsPresent=true, CommandFound=true;

1	Init();
2	switch (TerminalStatus)
    {
        case 11 :
11            AddCommand();
16            switch (CommandStatus)
            {
                case 12 :
12                    GetMessage();
13                    ClearQueue();
                    break;
                case 17 :
17                    ClearQueue();
                    break;
                case 18 :
18                    DumpQueue();
                    break;
            }
14            ProcessCommand();
15            Commit();
            break;                    
        case 3 :
3            AskTerminal();
4            if (IsPresent)
            {
5                Connect();
            }
6            RebuildQueue();
            break;                    
        case 19 :
19            SearchValidCommand();
20            if (CommandFound)
            {
21                AnalyzeCommand();
            }
            else
            {
23                LogError();
            }
22            MoveNextCommand();
            break;                    
    }
7    LogResults();
10    DisposeAll();
}

// Пример плоской модели проекта
void G()
{
    int TerminalStatus=0, CommandStatus=0;
    int IsPresent=1, CommandFound=1;

1    Init();
2    switch (TerminalStatus)
    {
        case 11 :
11            AddCommand();
16            switch (CommandStatus)
            {
                case 12 :
12                    GetMessage();
13                    ClearQueue();
                    break;
                case 17 :
17                    ClearQueue();
                    break;
                case 18 :
18                    DumpQueue();
                    break;
            }
14            ProcessCommand();
15            Commit();
            break;                    
        case 3 :
3            AskTerminal();
4            if (IsPresent)
            {
5                Connect();
            }
6            RebuildQueue();
            break;                    
        case 19 :
19            SearchValidCommand();
20            if (CommandFound)
            {
21                AnalyzeCommand();
            }
            else
            {
23                LogError();
            }
22            MoveNextCommand();
            break;                    
    }
7    LogResults();
10    DisposeAll();
}

// Пример иерархической модели проекта
public void G1()
{
    int CommandStatus=0;
    AddCommand();
    switch (CommandStatus)
    {
        case 12 :
            GetMessage();
            ClearQueue();
            break;
        case 17 :
            ClearQueue();
            break;
        case 18 :
            DumpQueue();
            break;
    }
    ProcessCommand();
    Commit();
}
public void G2()
{
    bool CommandFound=true;
    SearchValidCommand();
    if (CommandFound)
    {
        AnalyzeCommand();
    }
    else
    {
        LogError();
    }
    MoveNextCommand();
}

public void G()
{
    int TerminalStatus=0;
    bool IsPresent=true;

1    Init();
2    switch (TerminalStatus)
    {
        case 11 :
8            G1();
            break;                    
        case 3 :
3            AskTerminal();
4            if (IsPresent)
            {
5                Connect();
            }
6            RebuildQueue();
            break;                    
        case 19 :
// Пример иерархической модели проекта - продолжение
9            G2();
            break;                    
    }
7    LogResults();
10    DisposeAll();
}

// Пример иерархической модели проекта
void G1()
{
    int CommandStatus=0;
    AddCommand();
    switch (CommandStatus)
    {
        case 12 :
            GetMessage();
            ClearQueue();
            break;
        case 17 :
            ClearQueue();
            break;
        case 18 :
            DumpQueue();
            break;
    }
    ProcessCommand();
    Commit();
}
void G2()
{
    int CommandFound=1;
    SearchValidCommand();
    if (CommandFound)
    {
        AnalyzeCommand();
    }
    else
    {
        LogError();
    }
    MoveNextCommand();
}

void G()
{
    int TerminalStatus=0;
    int IsPresent=1;

1    Init();
2    switch (TerminalStatus)
    {
        case 11 :
8            G1();
            break;                    
        case 3 :
3            AskTerminal();
4            if (IsPresent)
            {
5                Connect();
            }
6            RebuildQueue();
            break;                    
        case 19 :
9            G2();
            break;                    
    }
7    LogResults();
10    DisposeAll();
}

Методика интегральной оценки тестированности