, спеціаліста, бакалавра та курсових робіт студентами ФПМ ДНУ ім. Олеся Гончара; Кісельова О.М., Варех Н.В., Бойко Л.Т., Сорокін В.І., Зайцева Т.А., Сірик С.Ф., Сегеда Н.Є., Хижа О.Л., 2011.- 33 с.
. Software testing techniques, Boris Beizer, 1983. - 290 p.
. Coding Standards for AutoIt Good Code, A.Skumina, 2011. Режим доступу: # «justify">. Testing of Applications that Work with Databases, A.Skumina, 2010. Режим доступу: # «justify">. Берж Теорія графів та її застосування. М.: ІЛ, 1962 - 320c.
. Бєлов В. В., Воробйов Є. М., Шаталов В. Є. Теорія графів.- М.:
Вища. школа, 1976. - 392 c.
. Крістофідес Н.Теорія графів. Алгоритмічний підхід. М.: Світ,
2008 - 429 c.
. Харарі Ф. Теорія графів.- М.: Світ, 1973 - 296 с.
15. В. В. Кулямін, Тестування на основі моделей, 1999 - 16 c.
. Ayaz Farooq, Reiner R. Dumke, Evaluation Approaches in
Software Testing, University of Magdeburg, 2008 - 79 p.
ДОДАТОК А
Проект реалізованого Додатках має Наступний структуру:
Edge.h
# ifndef EDGE_H_
# define EDGE_H_
# include edge_id: boost :: totally_ordered
{: _id (size_t vertex_source, size_t vertex_target) _vertex_source (vertex_source)
m_vertex_target (vertex_target)
{} operator == (const edge_id & rhs) const
{((rhs.m_vertex_source == this-> m_vertex_source) && (rhs.m_vertex_target == this-> m_vertex_target));
} operator < (Const edge_id & rhs) const
{(
(rhs.m_vertex_source m_vertex_source) | |
((rhs.m_vertex_source == this-> m_vertex_source) && (rhs.m_vertex_target m_vertex_target))
);
}: _t m_vertex_source;
size_t m_vertex_target;
};
# endif / / EDGE_H_
graph_coverage.h
# ifndef GRAPH_COVERAGE_H_
# define GRAPH_COVERAGE_H_
# include «edge.h»
# include
# include
# include
# include
///////////////////////////////////////////////////////////////////////////////////////////////////graph_coverage
{: graph_coverage (const Graph & graph); _t aditional_coverage_for_path (std :: list path) const; fully_covered () const; add_coverage_for_path (const std :: list < size_t> & path);: std :: map coverage_map; _map m_covered_edges;
};
///////////////////////////////////////////////////////////////////////////////////////////////////<typenam...
