Deutsch
Germany.ruФорумы → Архив Досок→ Программирование

Проект для Бакалавра

267  
Kvint постоялец02.06.17 15:34
Kvint
02.06.17 15:34 

Привет всем,

нужен совет от опытных товарищей.

Моя бакалавровская работа заключается в том, что бы написать пару фичерсов для одного тула.

Тул состоит из множества классов. Сама задача понятна, но я не знаю с чего начать. Изучаю класс за классом, но с моей скоростью и другими занятостями будет это длиться месяцы. Документация есть не на все, да и она написана весьма специфически.

Как вы входите в больгие проекты? Дайте пару советов новичку.

#1 
Murr_0002 постоялец02.06.17 16:18
Murr_0002
NEW 02.06.17 16:18 
в ответ Kvint 02.06.17 15:34

Сама задача понятна, но я не знаю с чего начать.

-----

Ну если ЗАДАЧА понятна, то не будет никакой сложности выделить сущности и определить их функциональность.

Знать что-либо об других сущностях и их функциональности в проекте совершенно не нужно.


Как вы входите в больгие проекты?

-----

Не трогаю ничего из того, что не имеет непосредственного отношения к решаемой задаче.

Если есть умный - т.е. понимающий ограниченность знаний в предметной области - менеджер, то он дает возможность ознакомится с частями в разных заданиях. Ознакомление может быть долгим - работая 3 года на заводе Я НЕ ЗНАЮ всего самописного софта...

#2 
Kvint постоялец02.06.17 16:25
Kvint
NEW 02.06.17 16:25 
в ответ Murr_0002 02.06.17 16:18

Спасибо. Вот как раз за выделением сущностей и сижу. Идет только это долговато.


ps: у меня тоже кошка белая. глухая и глупая, за то нежная

#3 
Murr_0002 постоялец02.06.17 17:34
Murr_0002
NEW 02.06.17 17:34 
в ответ Kvint 02.06.17 16:25

Я вот думаю - и нафиг тебе программирование? Бо, в простейшем предложении не можешь сформулировать чего хочешь - толь своей кошкой похвалится, толь старого Кота гухим тупарем обозвать.... смущ


П.С. Сентенцию vоспринимать не серьезно - тяпница, вечер, пора об пиве с водкой подумать...

#4 
AlexNek патриот02.06.17 23:51
AlexNek
NEW 02.06.17 23:51 
в ответ Kvint 02.06.17 15:34
что бы написать пару фичерсов для одного тула

ну загнули спок А поконкретнее? Хотя бы язык и среда.


Как вы входите в большие проекты?

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

Важно найти именно нужную часть, вначале это будет весьма сложно. Лучше спросить у знающего что именно курочить и разбираться только с ней. Для начала можно накидать дополнительных отладочных текстов.

#5 
Kvint постоялец03.06.17 11:40
Kvint
NEW 03.06.17 11:40 
в ответ AlexNek 02.06.17 23:51

Тул написан на яве. Сам тул верифицирует си-код. Моя задача написать фичерс, который определяет значение и интервал каждой числовой переменной.

А что такое отладочный текст?



#6 
MrSanders старожил03.06.17 13:18
NEW 03.06.17 13:18 
в ответ Kvint 03.06.17 11:40

Если на яве, то начните с поиска класса, который представляет переменную.

Надеюсь вам надо просто с синтаксическим деревом работать...


P.S. Верификация Си... Формальная, с логическими инвариантами? Кого-то еще потянуло на эти галеры?

#7 
AlexNek патриот03.06.17 15:10
AlexNek
NEW 03.06.17 15:10 
в ответ Kvint 03.06.17 11:40

Начнём с того, что с Явой я только игрался и поэтому некоторые советы по Яве могут быть не оптимальными.


А что такое отладочный текст?

Текст который не нужен пользователю, но очень помогает создателю программы.

Допустим, расположив в каждой функции вывод в текстовый файл названия функции с параметрами (это чисто пример для понятия) можно узнать как же именно выполнялась наша программа.

http://www.quizful.net/post/log4j-quickstart


который определяет значение и интервал каждой числовой переменной

странная задача. Не имею понятия как чисто из кода определить значение и интервал

Ну например:

читать а

читать в

с = а + в

Можете определить какие значения будут иметь а и в имея только код?


Сам тул верифицирует си-код

Программа не маленькая конечно. Но там должны быть определенные части в которые лезть совсем не нужно.


Программе на вход поступает видимо проект на Си, который читается,разбирается и выуживаются файлы для сканирования.

Затем каждый файл сканируется, при сканировании происходит "преобразование" текста программы в специальные конструкции, а затем эти конструкции уже верифицируются.

Также должна имется часть для чтения/создания правил верификации.

Нужно найти где начало верификаци и в каком виде представлена структура анализируемой программы (должно быть описание по идее)

Фактически, видимо нужно написать еще одно правило верификации. Для этого просто берём уже готовое и переписываем его как требуется.

#8 
Murr_0002 постоялец03.06.17 19:18
Murr_0002
NEW 03.06.17 19:18 
в ответ Kvint 03.06.17 11:40

фичерс, который определяет значение и интервал каждой числовой переменной.

-----

Это от как два пальца обосцать - когда знаешь куда влезть - и до ай... японский бог... - когда неизвестно где, что и как...

#9