vit_r (vit_r) wrote,
vit_r
vit_r

Category:

Про ёжика в тумане, зазнайство, языки программирования и вериги

Вынесу из комментариев к закрытому посту. Уж больно хорошо получилось.

vit_r
... чтоб не появлялось багов, спроектированное должно прямо генериться в код. Плюс должны быть тесты и проверки моделей. Я знаю отдельные случаи, где так и делается. Но методики не прижились. Потому что людей, способных мыслить абстрактно, очень мало.
...
xtUML, но его применяют только в embedded. Там сложности с выходом на GUI. Да и компиляторы моделей стоят столько, что проще нанять десять индусов.

Впрочем, будет работать любая методика, которая использует сообщения, конечные автоматы и таблицы переходов. Этот трюк изобретают вновь и вновь, потому что книжки старые никто не читает.


akuklev
Мы такое с sorhed'ом лет 7 назад изобрели и были феерически горды собой... пока в процессе имплементации не обнаружили книжку 1956 года ("Automatal models of multiagent systems", емнип), где это уже описано. :-)

Про подход при этом не знала ни университетская профессура, с которой я бурно обсуждал доказательства корректности, ни "старшие товарищи" из индустрии.

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

Да, ключевые слова от akuklev для желающих:
  • von Neumann multiagent formalism
  • Robin Milner
  • C.A.R. Hoare
  • Sally Shlaer и Stephen Mellor [сейчас идёт под маркой Executable UML (xtUML и xUML) - vit_r]
  • A. J. H. Simons
  • W. M. L. Holcombe
  • Complete functional testing using object machines
  • A theory of regression testing for behaviourally compatible object types
Tags: it, psychology, qa, quality, ru, se
Subscribe
  • Post a new comment

    Error

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.
  • 74 comments