Реферат на тему программы P типа. Сообщение на тему программы P типа. Программы p типа
 Скачать 15.47 Kb.
|
|
Безликость навсегда, мой друг. Сообщение на тему программы P типа Системы E-типа, P-типа, S-типа В 1970-х годах Мэнни Леман предложил набор законов эволюции программного обеспечения Лемана. Эти законы применимы только к определенному типу систем, поэтому он разделил системы на три категории: - E-тип - P-тип, и - Системы S-типа -Итак, давайте начнем с систем S-типа. Таким образом, системы S-типа - это системы с хорошо известными спецификациями, которые имеют хорошо известное решение. Так что, если кто-то, например, попросит вас реализовать сортировку пузырьками или реализовать определенную математическую функцию, которая имеет собственную спецификацию и известное решение, можно точно сказать, правильна программа или нет. И именно поэтому возможно реализовать 100% правильное решение. -Переходим к системам P-типа. Системы P-типа на самом деле могут иметь спецификацию с точки зрения того, каким было бы 100% правильное решение. Возможно, даже существует способ теоретически достичь этого идеального решения, но на практике было бы совершенно невозможно реально реализовать это решение. Таким образом, хорошим примером такой системы могут быть, например, шахматы, если вы хотите разработать алгоритм, который идеально играет в шахматы. Теоретически возможно построить идеальное решение, но на практике, если вы запустите это решение, комбинаторная сложность будет слишком высока. Так что это неразрешимо. Решение неразрешимо, поэтому вы на самом деле не можете использовать это решение, потому что ваша программа никогда не сможет сделать ход, потому что все это всегда слишком долго обдумывается. Так что, как вы можете себе представить, это приводит к появлению еще большего количества программ. Программное обеспечение P-Type имеет спецификацию, но она высокого уровня и не полностью детализирована. Таким образом, разработка должна приложить усилия для выяснения конкретного решения. Кроме того, но это может быть только я, есть четкая веха «сделано», после которой разработка прекращается. Это связано с тем, что во время формирования этого подразделения не было простого способа доставки обновлений клиентам. Так что было очень важно сделать все правильно с первого раза. Это понятно для игр того времени. Если бы вы были разработчиком игр несколько десятилетий назад, игра была бы «готова», когда она была записана на диск и выпущена. И хотя выпускать обновления было возможно, они редко доходили до всех ваших клиентов. Но в настоящее время, благодаря постоянному онлайн-подключению, любое программное обеспечение можно легко обновить. Даже игры предоставляют обновления и контент намного позже их первого выпуска. И для многих постоянные изменения являются конкурентным преимуществом. Поэтому в настоящее время редко можно увидеть программное обеспечение, отличное от E-Type. P-тип обычно относится к системе, решение которой не очевидно сразу, заинтересованная сторона знает, какова конечная цель, но не уверена, как ее достичь. непрактичный случай, о котором вы спрашиваете, предположим, что вы делаете шахматную партию, вы разработали алгоритм, для которого теоретически возможно построить идеальное решение, но когда дело доходит до реализации решения, оно кажется неразрешимым, поэтому вы сохраняете изменения, пока не дойдете до конца цель системы. -Но давайте теперь поговорим о системах электронного типа. Таким образом, системы типа E - это системы реального мира. Системы, которые переплетены с процессами реальной жизни, с бизнес-процессами, с реальными людьми, где не обязательно существует спецификация 100% корректности. Поскольку спецификация постоянно меняется, мы на самом деле не совсем уверены в том, что мы хотим иметь. Или даже если мы уверены в том, что хотим иметь, мы не обязательно уверены, что то, что мы хотим иметь сегодня, - это то, что мы будем иметь завтра. Важно подчеркнуть, что это не обязательно происходит только из-за неопределенности. Это потому, что он работает в среде, которая подвержена изменению потребностей людей. Бизнес-потребности на самом деле могут по очень веским причинам меняться с течением времени, что означает, что спецификация нашей системы нестабильна. Итак, чтобы противопоставить это системам P-типа, снова подумайте о шахматах. Если вы ищете алгоритм, который идеально играет в шахматы, то это может быть система P-типа. Но если вы разрабатываете игру, в которой также есть алгоритм, играющий в шахматы, то вся эта система, вероятно, является системой электронного типа, потому что внезапно вам также нужно учитывать множество других вещей, таких как, например: пользовательский интерфейс, какие комбинации клавиш вы используете для взаимодействия с программой, как загрузить программу и т.д. Это вещи, которые нестабильны в любой реальной среде. Полезно знать об этих различных типах систем, потому что в большинстве сред, где мы разрабатываем системы как программисты, мы на самом деле имеем дело с системами E-типа, а не с системами P-типа и не с системами S-типа. Поэтому, когда люди спорят против таких вещей, как, например, абстракция, нам нужно внимательно выслушать их аргументы. Нам нужно рассмотреть, спорят ли они так, как если бы мы строили систему P-типа или S-типа, потому что если это так, то мы принципиально расходимся во мнениях на другом уровне. Сначала нам нужно согласиться с тем, что мы говорим о системах электронного типа, а затем осознать, что понятие систем электронного типа заключается в том, что они должны изменяться, и мы не можем быть на 100% уверены в спецификации. Мы не можем быть на 100% уверены в том, что сегодняшняя спецификация будет спецификацией завтрашнего дня, что, я бы скромно сказал, должно заставить нас думать о нашем дизайне иначе, чем если бы мы создавали системы P-типа или S-типа. Итак, подводя итог, в системах S-типа мы можем указать программу со 100% корректностью и можем говорить об идеальном решении проблемы. Проблема хорошо понята, и решение хорошо понято. Но в системах P-типа проблема может быть хорошо понята, и решение может быть хорошо понято, но на самом деле реализовать идеальное решение практически невозможно. А системы типа E - это системы, с которыми мы обычно имеем дело изо дня в день. Системы, которые могут быть изменены. Системы, которые решают проблемы, глубоко взаимосвязанные с социальными процессами или социальной средой. |