No abstract

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

The modern task prioritization methods that are used in flexible software development methodologies are discussed in the paper. Very flexible development methodologies such as Scrum, Kunban and others are currently the most popular because they allow making adjustments to it at any stage of a project, to improve the quality of the created product through daily monitoring of its creation and quickly release the first versions of the software. All task prioritization methods that are used in software projects de-velopment including flexible methodologies are divided into those that take into account the point of view of the development team and those that are based on various quantitative assessments, among which various metrics, expert opinions, points of view of those who are interested in the project, availa-ble classifications etc. Among the considered prioritization methods, which take into account the opin-ion of the development team, there are such popular and actively used nowadays methods, as MoSCoW, story map (User story mapping) and proactive improvement. Among the considered methods, based on quantitative assessment, is Kano's model, the method based on the creation of evaluation sheets, the method for estimating relative priorities for a set of functions offered by Carl Wigers and the method of structuring quality functions (Quality Function Deployment). Depending on the features of the project, customer requirements, the wishes of the development team and the other objective or subjective fac-tors, the project can use one or several prioritization methods at the same time or the combination of them. In addition, some of the considered methods can be used in short-term planning, the others – in the long-term, but there are those that can be used at each stage.

No abstract

Постановка проблемы. Важнейшей характеристикой любого программного обеспече-ния многие годы было и на сегодняшний день остается его качество. Существует несколько процедур, которые позволяют обеспечить высокое качество создаваемых программ. К та-ким процедурам принадлежат аудиты, ревью, инспекции на базе опросов экспертов, ин-спекции на базе деловых игр экспертов, отчетность, тестирование и верификация, которая является основной для обеспечения высокого качества готового программного продукта.Верификация программного обеспечения -это приемы и методы доказательства (или опровержения) того, что программное обеспечение удовлетворяет заданной фор-мальной спецификации [1]. В случае, если верификации подлежит объектно-ориентированное программное обеспечение, то актуальной является верификация не только самого программного обеспечения, но и его модели, представляющей собой множество UML-диаграмм: диаграммы вариантов использования, диаграммы классов, диаграммы последовательности, диаграммы кооперации, диаграммы состояний, диа-граммы развертывания, диаграммы компонентов и диаграммы деятельности.Анализ последних исследований и публикаций. На данный момент существует множество различных методов верификации моделей объектно-ориентированного про-граммного обеспечения. Однако, практически все из них позволяют выполнить вери-фикацию исключительно отдельных диаграмм, не проверяя при этом всю модель в це-лом на непротиворечивость ее составляющих.Выделение нерешенных ранее частей общей проблемы. Таким образом, актуальной является задача проверки на непротиворечивость и согласованность всех UML-диаграмм, входящих в состав создаваемого объектно-ориентированного программного обеспечения.Цель статьи. Главной целью данной статьи является описание условий и ограничений, выполнение которых позволит обеспечить согласованность и непротиворечивость между UML-диаграммами внутри модели объектно-ориентированного программного обеспечения. 111Изложение основного материала. Первым при создании модели объектно-ориентированного программного обеспечения выполняется построение диаграммы ва-риантов использования. Данная диаграмма позволяет сформулировать общие требова-ния к функциональному поведению создаваемого программного обеспечения. После чего путем анализа уже созданной и согласованной как внутри группы разработчиков, так и с заказчиком диаграммы вариантов использования создается одна или несколько диаграмм классов. Диаграмма классов служит для представления статической структу-ры модели создаваемого программного обеспечения (рис. 1). Однако случаи использо-вания, отображенные на диаграмме вариантов использования, не являются представле-ниями программного обеспечения. Они представляют требования, которым должно соответствовать программное обеспечение. В свою очередь диаграмма классов отобра-жает различные взаимосвязи между отдельными сущностями одной и той же предмет-ной области, а также описывает их внутреннюю структуру и типы отношений [2]. По-этому корректность перехода от диаграммы вариантов использования к диаграмме классов проверить нево...