Анализ кода по методу МакКейба и подсчёт Спена

@Orange17 · Регистрация: 01.10.2013

Студворк — интернет-сервис помощи студентам

Дан код программы на C#. необходимо провести анализ кода по методу МакКейба и выполнить подсчёт Спена на java. Как это сделать без понятия, а делать надо. Я так понимаю необходимо использовать регулярные выражения и парсить строку кода, но опять же необходима помощь, скоро сдавать работу, поэтому времени разбираться немного осталось(
Вот исходный код C#:

C#
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
#include <pthread.h>
 
// объявляем структуру данных для одного задания
struct producer_consumer_queue_item {
  struct producer_consumer_queue_item *next;
  // здесь идут собственно данные. вы можете поменять этот кусок,
  // использовав структуру, более специфичную для вашей задачи
  void *data;
};
 
// объявляем очередь с дополнительными структурами для синхронизации.
// в этой очереди будут храниться произведённые, но ещё не потреблённые задания.
struct producer_consumer_queue {
  struct producer_consumer_queue_item *head, *tail;
                              // head == tail == 0, если очередь пуста
  pthread_mutex_t lock;       // мьютекс для всех манипуляций с очередью
  pthread_cond_t cond;        // этот cond "сигналим", когда очередь стала НЕ ПУСТОЙ
  int is_alive;               // показывает, не закончила ли очередь свою работу
};
 
 
void
enqueue (void *data, struct producer_consumer_queue *q)
{
  // упакуем задание в новую структуру
  struct producer_consumer_queue_item *p = (typeof(p))malloc(sizeof(*p));
  p->data = data;
  p->next = 0;
 
  // получим "эксклюзивный" доступ к очереди заданий
  pthread_mutex_lock(&q->lock);
  // ... и добавим новое задание туда:
  if (q->tail)
    q->tail->next = p;
  else {
    q->head = p;
    // очередь была пуста, а теперь нет -- надо разбудить потребителей
    pthread_cond_broadcast(&q->cond);
  }
  q->tail = p;
 
  // разрешаем доступ всем снова
  pthread_mutex_unlock(&q->lock);
}
 
void *
dequeue(struct producer_consumer_queue *q)
{
  // получаем эксклюзивный доступ к очереди:
  pthread_mutex_lock(&q->lock);
 
  while (!q->head && q->is_alive) {
    // очередь пуста, делать нечего, ждем...
    pthread_cond_wait(&q->cond, &q->lock);
    // wait разрешает доступ другим на время ожидания
  }
 
  // запоминаем текущий элемент или 0, если очередь умерла
  struct producer_consumer_queue_item *p = q->head;
 
  if (p)
  {
    // и удаляем его из очереди
    q->head = q->head->next;
    if (!q->head)
      q->tail = q->head;
  }
 
  // возвращаем эксклюзивный доступ другим участникам
  pthread_mutex_unlock(&q->lock);
 
  // отдаём данные
  void *data = p ? p->data : 0; // 0 означает, что данных больше не будет
  // согласно 7.20.3.2/2, можно не проверять на 0
  free(p);
  return data;
}
 
 
struct producer_consumer_queue *
producer_consumer_queue_create()
{
  struct producer_consumer_queue *q = (typeof(q))malloc(sizeof(*q));
  q->head = q->tail = 0;
  q->is_alive = 1;
  pthread_mutex_init(&q->lock, 0);
  pthread_cond_init(&q->cond, 0);
 
  return q;
}
 
 
void
producer_consumer_queue_stop(struct producer_consumer_queue *q)
{
  // для обращения к разделяемым переменным необходим эксклюзивный доступ
  pthread_mutex_lock(&q->lock);
  q->is_alive = 0;
  pthread_cond_broadcast(&q->cond);
  pthread_mutex_unlock(&q->lock);
}
 
// это поток-потребитель
void *
consumer_thread (void *arg)
{
  struct producer_consumer_queue *q = (typeof(q))arg;
 
  for (;;) {
    void *data = dequeue(q);
    // это сигнал, что очередь окончена
    if (!data)
      break; // значит, пора закрывать поток
 
    char *str = (char *)data;
    // тут наша обработка данных
    printf ("consuming: %s\n", str);
    sleep(2);
    printf ("consumed: %s\n", str);
    free(str);
  }
  return 0;
}
 
int
main ()
{
  pthread_t consumer_threads[2];
 
  void *res = 0;
 
  char *in = NULL;
  size_t sz;
 
  // создадим очередь:
  struct producer_consumer_queue *q = producer_consumer_queue_create();
 
  // и потоки-«потребители»
  pthread_create(&consumer_threads[0], 0, consumer_thread, (void *)q);
  pthread_create(&consumer_threads[1], 0, consumer_thread, (void *)q);
 
  // главный цикл
  // получаем данные с клавиатуры:
  while (getline(&in, &sz, stdin) > 0) {
    enqueue(in, q);
    in = NULL;
  }
 
  producer_consumer_queue_stop(q);
  if (pthread_join(consumer_threads[0], &res) ||
      pthread_join(consumer_threads[1], &res))
    perror("join");
 
  return (long)res;
}
 
public class ProducerConsumer<T> where T : class
{
    object mutex = new object();
    Queue<T> queue = new Queue<T>();
    bool isDead = false;
 
    public void Enqueue(T task)
    {
        if (task == null)
            throw new ArgumentNullException("task");
        lock (mutex)
        {
            if (isDead)
                throw new InvalidOperationException("Queue already stopped");
            queue.Enqueue(task);
            Monitor.Pulse(mutex);
        }
    }
 
    public T Dequeue()
    {
        lock (mutex)
        {
            while (queue.Count == 0 && !isDead)
                Monitor.Wait(mutex);
 
            if (queue.Count == 0)
                return null;
 
            return queue.Dequeue();
        }
    }
 
    public void Stop()
    {
        lock (mutex)
        {
            isDead = true;
            Monitor.PulseAll(mutex);
        }
    }
}
 
class Program
{
    static public void Main()
    {
        new Program().Run();
    }
 
    ProducerConsumer<string> q = new ProducerConsumer<string>();
 
    void Run()
    {
        var threads = new [] { new Thread(Consumer), new Thread(Consumer) };
        foreach (var t in threads)
            t.Start();
 
        string s;
        while ((s = Console.ReadLine()).Length != 0)
            q.Enqueue(s);
 
        q.Stop();
 
        foreach (var t in threads)
            t.Join();
    }
 
    void Consumer()
    {
        while (true)
        {
            string s = q.Dequeue();
            if (s == null)
                break;
            Console.WriteLine("Processing: {0}", s);
            Thread.Sleep(2000);
            Console.WriteLine("Processed: {0}", s);
        }
    }
}
 
class Program
{
    static public void Main()
    {
        new Program().Run();
    }
 
    BlockingCollection<string> q = new BlockingCollection<string>();
 
    void Run()
    {
        var threads = new [] { new Thread(Consumer), new Thread(Consumer) };
        foreach (var t in threads)
            t.Start();
 
        string s;
        while ((s = Console.ReadLine()).Length != 0)
            q.Add(s);
 
        q.CompleteAdding(); // останавливаем
 
        foreach (var t in threads)
            t.Join();
    }
 
    void Consumer()
    {
        foreach (var s in q.GetConsumingEnumerable())
        {
            Console.WriteLine("Processing: {0}", s);
            Thread.Sleep(2000);
            Console.WriteLine("Processed: {0}", s);
        }
    }
}

@KEKCoGEN · 22.09.2014, 23:36

Orange17, вы бы хоть ссылки какие постили на эти методы и подсчеты чтобы можно было понять о чем речь пусть даже из интереса.

@Orange17 · 22.09.2014, 23:43 **[ТС]**

Вот инфа по метрикам:
Пусть представлена некоторая программа. Для данной программы строится ориентированный граф, содержащий лишь один вход и один выход, при этом вершины графа соотносят с теми участками кода программы, в которых имеются лишь последовательные вычисления, и отсутствуют операторы ветвления и цикла, а дуги соотносят с переходами от блока к блоку и ветвями выполнения программы. Условие при построении данного графа: каждая вершина достижима из начальной, и конечная вершина достижима из любой другой вершины [4].

Самой распространенной оценкой, основанной на анализе получившегося графа, является цикломатическая сложность программы (цикломатическое число Мак-Кейба) [4]. Она определяется как V(G)=e — n + 2p, где e — количество дуг, n — количество вершин, p — число компонент связности. Число компонентов связности графа можно рассматривать как количество дуг, которые необходимо добавить для преобразования графа в сильно связный. Сильно связным называется граф, любые две вершины которого взаимно достижимы. Для графов корректных программ, т. е. графов, не имеющих недостижимых от точки входа участков и «висячих» точек входа и выхода, сильно связный граф, как правило, получается путем замыкания дугой вершины, обозначающей конец программы, на вершину, обозначающую точку входа в эту программу. По сути V(G) определяет число линейно независимых контуров в сильно связном графе. Так что в корректно написанных программах p=1, и поэтому формула для расчета цикломатической сложности приобретает вид:

V(G)=e — n + 2.

Метрика спена основывается на локализации обращений к данным внутри каждой программной секции. Спен — это число утверждений, содержащих данный идентификатор, между его первым и последним появлением в тексте программы. Следовательно, идентификатор, появившийся n раз, имеет спен, равный n-1. При большом спене усложняется тестирование и отладка.

@turbanoff · 22.09.2014, 23:46

Orange17, у вас там и C++, и C#. Так и задумано?

@Orange17 · 23.09.2014, 00:15 **[ТС]**

Сообщение от turbanoff

Orange17, у вас там и C++, и C#. Так и задумано?

Не могли бы вы указать блок кода с С++?

@turbanoff · 23.09.2014, 00:44

Orange17,

Всё что до 156 строки - C++, всё что дальше - C#

@Orange17 · 24.09.2014, 17:36 **[ТС]**

Сообщение от turbanoff

Orange17,

Всё что до 156 строки - C++, всё что дальше - C#

Ага, мне хотя бы проанализировать только C#..

Добавлено через 1 минуту
Код упрощен до минимума

C#
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
public class ProducerConsumer<T> where T : class
{
    object mutex = new object();
    Queue<T> queue = new Queue<T>();
    bool isDead = false;
 
    public void Enqueue(T task)
    {
        if (task == null)
            throw new ArgumentNullException("task");
        lock (mutex)
        {
            if (isDead)
                throw new InvalidOperationException("Queue already stopped");
            queue.Enqueue(task);
            Monitor.Pulse(mutex);
        }
    }
 
    public T Dequeue()
    {
        lock (mutex)
        {
            while (queue.Count == 0 && !isDead)
                Monitor.Wait(mutex);
 
            if (queue.Count == 0)
                return null;
 
            return queue.Dequeue();
        }
    }
 
    public void Stop()
    {
        lock (mutex)
        {
            isDead = true;
            Monitor.PulseAll(mutex);
        }
    }
}
 
class Program
{
    static public void Main()
    {
        new Program().Run();
    }
 
    ProducerConsumer<string> q = new ProducerConsumer<string>();
 
    void Run()
    {
        var threads = new [] { new Thread(Consumer), new Thread(Consumer) };
        foreach (var t in threads)
            t.Start();
 
        string s;
        while ((s = Console.ReadLine()).Length != 0)
            q.Enqueue(s);
 
        q.Stop();
 
        foreach (var t in threads)
            t.Join();
    }
 
    void Consumer()
    {
        while (true)
        {
            string s = q.Dequeue();
            if (s == null)
                break;
            Console.WriteLine("Processing: {0}", s);
            Thread.Sleep(2000);
            Console.WriteLine("Processed: {0}", s);
        }
    }
}

Добавлено через 18 часов 51 минуту
Обновление кода./

C#
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
using System;
using System.Collections.Generic;
using System.Collections.ObjectModel;
using System.Windows;
 
namespace Fifteen
{
 
    public partial class MainWindow
    {
        private Tuple<int, int> m_emptyCell;
        public MainWindow()
        {
            InitializeComponent();
            Cells = new ObservableCollection<Cell>();
            for (var i = 1; i < 16; i++)
            {
                var cell = new Cell { Text = string.Format("{0}", i) };
                cell.MouseLeftButtonDown += (o, e) => CellClick((Cell)o);
                Cells.Add(cell);
            }
            Initialize();
        }
 
        private void Initialize()
        {
            var tuples = new List<Tuple<int, int>>();
            for (var col = 0; col < 4; col++)
                for (var row = 0; row < 4; row++)
                    tuples.Add(new Tuple<int, int>(col, row));
            var index = 0;
            var random = new Random(DateTime.Now.Millisecond);
            do
            {
                var tuple = tuples[random.Next(tuples.Count)];
                var cell = Cells[index];
                cell.Column = tuple.Item1;
                cell.Row = tuple.Item2;
                tuples.Remove(tuple);
                index++;
            } while (tuples.Count > 1);
            m_emptyCell = tuples[0];
        }
        private void CellClick(Cell cell)
        {
            if (m_emptyCell.Item1 == cell.Column - 1 && m_emptyCell.Item2 == cell.Row)
            {
                m_emptyCell = new Tuple<int, int>(cell.Column, m_emptyCell.Item2);
                cell.Column -= 1;
            }
            else if (m_emptyCell.Item1 == cell.Column + 1 && m_emptyCell.Item2 == cell.Row)
            {
                m_emptyCell = new Tuple<int, int>(cell.Column, m_emptyCell.Item2);
                cell.Column += 1;
            }
            else if (m_emptyCell.Item1 == cell.Column && m_emptyCell.Item2 == cell.Row - 1)
            {
                m_emptyCell = new Tuple<int, int>(m_emptyCell.Item1, cell.Row);
                cell.Row -= 1;
            }
            else if (m_emptyCell.Item1 == cell.Column && m_emptyCell.Item2 == cell.Row + 1)
            {
                m_emptyCell = new Tuple<int, int>(m_emptyCell.Item1, cell.Row);
                cell.Row += 1;
            }
 
            CheckResult();
        }
 
        private void CheckResult()
        {
            //TODO: Must be implemented
        }
 
        #region Cells...
        private static readonly DependencyPropertyKey CellsPropertyKey = DependencyProperty.RegisterReadOnly("Cells", typeof(ObservableCollection<Cell>), typeof(MainWindow), new UIPropertyMetadata(default(ObservableCollection<Cell>)));
        public static readonly DependencyProperty CellsProperty = CellsPropertyKey.DependencyProperty;
        public ObservableCollection<Cell> Cells
        {
            get { return (ObservableCollection<Cell>)GetValue(CellsProperty); }
            private set { SetValue(CellsPropertyKey, value); }
        }
        #endregion
    }
}

Новые блоги и статьи Все статьи Все блоги /
http://iceja.net/ математические сервисы iceja 20.01.2026 Обновила свой сайт http:/ / iceja. net/ , приделала Fast Fourier Transform экстраполяцию сигналов. Однако предсказывает далеко не каждый сигнал (см ограничения http:/ / iceja. net/ fourier/ docs ). Также. . .	http://iceja.net/ сервер решения полиномов iceja 18.01.2026 Выкатила http:/ / iceja. net/ сервер решения полиномов (находит действительные корни полиномов методом Штурма). На сайте документация по API, но скажу прямо VPS слабенький и 200 000 полиномов. . .	Расчёт переходных процессов в цепи постоянного тока igorrr37 16.01.2026 / * Дана цепь постоянного тока с R, L, C, k(ключ), U, E, J. Программа составляет систему уравнений по 1 и 2 законам Кирхгофа, решает её и находит переходные токи и напряжения на элементах схемы. . . .	Восстановить юзерскрипты Greasemonkey из бэкапа браузера damix 15.01.2026 Если восстановить из бэкапа профиль Firefox после переустановки винды, то список юзерскриптов в Greasemonkey будет пустым. Но восстановить их можно так. Для этого понадобится консольная утилита. . .
Сукцессия микоризы: основная теория в виде двух уравнений. anaschu 11.01.2026 https:/ / rutube. ru/ video/ 7a537f578d808e67a3c6fd818a44a5c4/	WordPad для Windows 11 Jel 10.01.2026 WordPad для Windows 11 — это приложение, которое восстанавливает классический текстовый редактор WordPad в операционной системе Windows 11. После того как Microsoft исключила WordPad из. . .	Classic Notepad for Windows 11 Jel 10.01.2026 Old Classic Notepad for Windows 11 Приложение для Windows 11, позволяющее пользователям вернуть классическую версию текстового редактора «Блокнот» из Windows 10. Программа предоставляет более. . .	Почему дизайн решает? Neotwalker 09.01.2026 В современном мире, где конкуренция за внимание потребителя достигла пика, дизайн становится мощным инструментом для успеха бренда. Это не просто красивый внешний вид продукта или сайта — это. . .

@KEKCoGEN 2399 / 2224 / 565 Регистрация: 28.12.2010 Сообщений: 8,672
	22.09.2014, 23:36
	Orange17, вы бы хоть ссылки какие постили на эти методы и подсчеты чтобы можно было понять о чем речь пусть даже из интереса. 0

@Orange17 2 / 2 / 5 Регистрация: 01.10.2013 Сообщений: 203
	22.09.2014, 23:43 [ТС]
	Вот инфа по метрикам: Пусть представлена некоторая программа. Для данной программы строится ориентированный граф, содержащий лишь один вход и один выход, при этом вершины графа соотносят с теми участками кода программы, в которых имеются лишь последовательные вычисления, и отсутствуют операторы ветвления и цикла, а дуги соотносят с переходами от блока к блоку и ветвями выполнения программы. Условие при построении данного графа: каждая вершина достижима из начальной, и конечная вершина достижима из любой другой вершины [4]. Самой распространенной оценкой, основанной на анализе получившегося графа, является цикломатическая сложность программы (цикломатическое число Мак-Кейба) [4]. Она определяется как V(G)=e — n + 2p, где e — количество дуг, n — количество вершин, p — число компонент связности. Число компонентов связности графа можно рассматривать как количество дуг, которые необходимо добавить для преобразования графа в сильно связный. Сильно связным называется граф, любые две вершины которого взаимно достижимы. Для графов корректных программ, т. е. графов, не имеющих недостижимых от точки входа участков и «висячих» точек входа и выхода, сильно связный граф, как правило, получается путем замыкания дугой вершины, обозначающей конец программы, на вершину, обозначающую точку входа в эту программу. По сути V(G) определяет число линейно независимых контуров в сильно связном графе. Так что в корректно написанных программах p=1, и поэтому формула для расчета цикломатической сложности приобретает вид: V(G)=e — n + 2. Метрика спена основывается на локализации обращений к данным внутри каждой программной секции. Спен — это число утверждений, содержащих данный идентификатор, между его первым и последним появлением в тексте программы. Следовательно, идентификатор, появившийся n раз, имеет спен, равный n-1. При большом спене усложняется тестирование и отладка. 0

@turbanoff 4094 / 3828 / 745 Регистрация: 18.05.2010 Сообщений: 9,331 Записей в блоге: 12
	22.09.2014, 23:46
	Orange17, у вас там и C++, и C#. Так и задумано? 0

@turbanoff 4094 / 3828 / 745 Регистрация: 18.05.2010 Сообщений: 9,331 Записей в блоге: 12
	23.09.2014, 00:44
	Orange17, Всё что до 156 строки - C++, всё что дальше - C# 0