Гость
Войти | Профиль | Очистить
Целевая тема:
Создать новую тему:
Автор:
Действия ...
Форумы / Программирование [игнор отключен] [закрыт для гостей] / На сколько развито программирование из спецификации? / 15 сообщений из 15, страница 1 из 1
17.09.2010, 15:45:34
    #36852490
Петросъян
Петросъян
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
На сколько развито программирование из спецификации?
не знаю как назвать, ну чтобы сразу аналитики писали кудато что будет генерировать код и при нужности туже спецификацию, тех проект еще чтото, а прогеры только делали какието алгоритмы и нестандартные вещи? это видимо что то типа сред где накидываешь сущности а она генерит код, но вот только может ли она (среда) еще генерить спецификацию, возможно тесты? К чему спрашиваю? вижу что на достаточно большом проекте (спецификация 1,5 тыщи страниц) очень много работы фактически дублируется - спецификация, затем тех проект, затем код - какую то часть (подчас ну очень значимую) можно написать один наз и на этой основе все эти бумажки (если они так уж нужны) тоже сгенерить. Так как корень в аналитиках, то фактически они половину напишут (с кодом в итоге) а уже какую то другую часть (визуальное представление, сложные алгоритмы, еще чтото) прогеры. При этом неплохо пользоваться технологиями натипа LinqToSql (чтобы сразу и база писалась)
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
17.09.2010, 16:16:17
    #36852564
Edd.Dragon
Edd.Dragon
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
На сколько развито программирование из спецификации?
Как-то все туманно описали.

Я так понимаю, архитектура и ТЗ формулируются перед началом работы. ТЗ конечно же может меняться. А дальше проектирование, документирование, написание спецификации, тестирование и кодирование - непрерывный процесс. При чем программист во всем этом принимает участие. Вы собрались писать функции под ранее утвержденный проект модуля? Отлично, делаете коментарии и автоматом сгенерите DoxyGen-ом документацию на них, но это не спецификация. Теститрование - как можно автоматом нагенерить толковый набор тестов, тут голова нужна. Все варианты не протестировать, нужно уметь подобрать набор тестов, охватывающий максимальное количество некомфортных и опасных условий.

А пложение тонн документов - это действительно проблема. Одно из решений ее - это ведение документации в удобном электронном виде с общим доступом, распределением ролей на доступ и правку, удобным браузером как самих доков и перекрестных ссылок между ними, так и изменений в них. Ну и конечно выработка четкой методологии изменения ТЗ и спецификаций при изменении в коде. Автоматика в основном применяется для генерации документации по коду и еще используют генерацию скелета кода из например UML-диаграмм, представляющих проект системы/модуля/etc
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
17.09.2010, 16:19:19
    #36852573
kolchanov
kolchanov
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
На сколько развито программирование из спецификации?
То что описывается мне больше всего напоминает громоздкие CASE средства 90-x годов.
Не прижились они, по разным причинам.

Мне кажется более продуктивным вариантом идеи программирования по спецификации является BDD подход (http://en.wikipedia.org/wiki/Behavior_Driven_Development) когда спецификации оформлены в виде проверяемых требований, и один из этапов тестирование заключается в формальном соответствии этих требований.
К примеру, http://code.google.com/p/specs/wiki/LiterateSpecifications.
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
17.09.2010, 16:25:11
    #36852595
Петросъян
Петросъян
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
На сколько развито программирование из спецификации?
Edd.Dragon,
про тестирование - есть вроде функциональное тестирование, я ж неговорю что вообще все она будет генерить, но большую часть
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
17.09.2010, 16:26:08
    #36852601
Петросъян
Петросъян
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
На сколько развито программирование из спецификации?
kolchanovТо что описывается мне больше всего напоминает громоздкие CASE средства 90-x годов.
Не прижились они, по разным причинам.

Мне кажется более продуктивным вариантом идеи программирования по спецификации является BDD подход (http://en.wikipedia.org/wiki/Behavior_Driven_Development) когда спецификации оформлены в виде проверяемых требований, и один из этапов тестирование заключается в формальном соответствии этих требований.
К примеру, http://code.google.com/p/specs/wiki/LiterateSpecifications.
в том то тогда и вопрос почему не прижились. На английском читать не буду.
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
17.09.2010, 21:45:31
    #36853238
tchingiz
tchingizПривилегированный пользователь
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
На сколько развито программирование из спецификации?
авторэто видимо что то типа сред где накидываешь сущности а она генерит код, но вот только может ли она (среда) еще генерить спецификацию, возможно тесты?
это, видимо, чтото типа математики

http://www.google.ca/#hl=en&source=hp&q=z+specification+language&aq=0&aqi=g6g-m4&aql=&oq=Z+specification&gs_rfai=&fp=7107a4e6866ad609

http://www.google.ca/#hl=en&q=%D0%B2%D0%B5%D0%BD%D1%81%D0%BA%D0%B8%D0%B9+%D0%BC%D0%B5%D1%82%D0%BE%D0%B4+%D1%80%D0%B0%D0%B7%D1%80%D0%B0%D0%B1%D0%BE%D1%82%D0%BA%D0%B8&aq=f&aqi=&aql=&oq=&gs_rfai=&fp=7107a4e6866ad609

http://www.google.ca/#hl=en&q=%D0%B0%D0%BB%D0%B3%D0%B5%D0%B1%D1%80%D0%B0%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%BE%D0%B5+%D0%BF%D1%80%D0%BE%D0%B5%D0%BA%D1%82%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B5+%D0%BA%D0%BB%D0%B0%D1%81%D1%81%D0%B0&aq=f&aqi=&aql=&oq=&gs_rfai=&fp=7107a4e6866ad609
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
17.09.2010, 21:49:37
    #36853242
tchingiz
tchingizПривилегированный пользователь
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
На сколько развито программирование из спецификации?
спецификации не могут генерироваться по определению.
Они из головы берутся.


авторвижу что на достаточно большом проекте (спецификация 1,5 тыщи страниц) очень много работы фактически дублируется - спецификация, затем тех проект, затем код - какую то часть (подчас ну очень значимую) можно написать один наз и
а это правда, назначение программы должно быть во всех документах.


По госту различные документы
можно объединять в один, давая название одного из них.
Другой путь собирать документ из кусочков (как исполняемый код) - нормальным
документатором вроде LaTex-а, а не идиотской визивиг
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
18.09.2010, 10:54:31
    #36853475
mayton
mayton
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
На сколько развито программирование из спецификации?
Петросъян...
В данном случае само ТЗ - вторично.

Первичным документом для него скорее всего будет некая централизованная проектная спецификация написанная на неких псевдо-языках подмножества DSL, XML, SDL e.t.c. (её пишут аналитики и кодеры одной рабочей группой). Или в крайнем случае небольшие текстовые описания property-bag или просто списки properties в виде россыпи файлов.

ТЗ формируется как трансформация псевдо-языков в текст с форматированием и объединяется со словесным описанием которое уже заранее готово.

Чем это сделать - большой вопрос. +1 к посту Чингиза. Хотя я не знаком с латексом но возможно это то что нужно.
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
20.09.2010, 11:12:50
    #36854933
_мод
_мод
Гость
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
На сколько развито программирование из спецификации?
Петросъянчтобы сразу аналитики писали кудато что будет генерировать код и при нужности туже спецификацию
Для генерации кода нужна полностью формализованная спецификация, написанная на каком-нибудь ЯП. А это и есть уже готовая программа. Так что вопрос упирается в ЯП.
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
20.09.2010, 11:46:15
    #36855023
Петросъян
Петросъян
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
На сколько развито программирование из спецификации?
нет
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
20.09.2010, 19:17:19
    #36856183
antares0
antares0
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
На сколько развито программирование из спецификации?
maytonПетросъян...
В данном случае само ТЗ - вторично.

Первичным документом для него скорее всего будет некая централизованная проектная спецификация написанная на неких псевдо-языках подмножества DSL, XML, SDL e.t.c.

ТЗ формируется как трансформация псевдо-языков в текст с форматированием и объединяется со словесным описанием которое уже заранее готово.

Чем это сделать - большой вопрос. +1 к посту Чингиза. Хотя я не знаком с латексом но возможно это то что нужно.
Тех конечноо тьюринг-полный ,но он и производный от него латех с пакетами больше для полиграфии, книгоделания и презентаций. Хотя есть Literate_programming на этом принципе.
Гораздо интереснее было бы посмотреть на псевдо-язык пригодный для чего-нибудь менее банального чем API по шаблону.
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
20.09.2010, 19:19:59
    #36856185
Петросъян
Петросъян
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
На сколько развито программирование из спецификации?
в больших то фирмах на ошень больших проектах как занимаются?
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
20.09.2010, 19:42:15
    #36856205
antares0
antares0
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
На сколько развито программирование из спецификации?
Петросъян аналитики писали кудато что будет генерировать код и при нужности туже спецификацию, тех проект еще чтото, а прогеры только делали какието алгоритмы и нестандартные вещи? это видимо что то типа сред где накидываешь сущности а она генерит код, но вот только может ли она (среда) еще генерить спецификацию, возможно тесты?
...
какую то часть (подчас ну очень значимую) можно написать один наз и на этой основе все эти бумажки (если они так уж нужны) тоже сгенерить. Так как корень в аналитиках, то фактически они половину напишут (с кодом в итоге) а уже какую то другую часть (визуальное представление, сложные алгоритмы, еще чтото) прогеры. При этом неплохо пользоваться технологиями натипа LinqToSql (чтобы сразу и база писалась)
Гм. генерация системы по онтологической модели. Но современные enterprise языки не способствуют таким фокусам. В отношении документации есть еще проблема человекочитабельности. Если она не стоит то можно, почему нет.
Вобще тут затык в описании и дальнейшей поддержки в актуальном состоянии модели.
Продвинутые системы бизнес-процесного управления или средства ДБ-проектирования стараются такое уметь.
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
20.09.2010, 19:56:54
    #36856222
antares0
antares0
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
На сколько развито программирование из спецификации?
Петросъянв больших то фирмах на ошень больших проектах как занимаются?
Управление треббованиями как дисциплина с собственным софтом.
Или очень заточеный САПР.
Или очень много человеков :)

Ну про генерацию на основе модели я уже говорил.
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
29.09.2010, 02:41:19
    #36871357
tchingiz
tchingizПривилегированный пользователь
Участник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
На сколько развито программирование из спецификации?
по поводу спецификаций.

есть группа которая rsl занимается. лекции с его использованием читают в мгу
ftp://ftp.iist.unu.edu/pub/RAISE/method_book/
есть группа, которая z толкает.

http://en.wikipedia.org/wiki/Z_notation

недавно появился (в смысле в глаз попал) event-b
http://www.event-b.org/

ну и Мейер со своим дизайном по контракту в ейфеле

курс мгу по rsl
http://sp.cmc.msu.ru/courses/fmsp/
...
Рейтинг: 0 / 0
| Ответить | Цитировать | Написать  
Форумы / Программирование [игнор отключен] [закрыт для гостей] / На сколько развито программирование из спецификации? / 15 сообщений из 15, страница 1 из 1
Найденые пользователи ...
Разблокировать пользователей ...
Читали тему (0):
Читали форум (0):
Пользователи онлайн (0):
Польз. соглашение  
Полит. конфиден.  
созд. / загр.: 503ms
Закрыть
start [/forum/topic.php?fid=16&mobile=1&tid=1343430]:
 0ms
get settings:
 6ms
get forum list:
 25ms
check forum access:
 3ms
check topic access:
 3ms
track hit:
 197ms
get topic data:
 9ms
get forum data:
 2ms
get page messages:
 46ms
get tp. blocked users:
 1ms
others: 211ms
total:  503ms
x
x
Закрыть


Просмотр
0 / 0
Close
Debug Console [Select Text]