Тезисы конференции студентов




НазваниеТезисы конференции студентов
страница10/12
Дата11.02.2013
Размер1.17 Mb.
ТипТезисы
1   ...   4   5   6   7   8   9   10   11   12

Ю.Я. Гольцер

МИФИ, факультет «Кибернентика»


г. Москва


С развитием computer science и компьютерной техники развиваются и технологии создания программного обеспечения. От процедурного и объектно-ориентированного переходят к компонентному подходу в проектировании и программировании. Компонентный подход упрощает проектирование и создание локальных и распределенных приложений, дает возможность объединять части кода, написанного на различных языках программирования разными группами разработчиков.

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

Предлагается для формального определения интерфейсов воспользоваться методами ς-исчисления, разработанными для описания традиционной объектной модели. Это возможно, так как объект задается своими методами, свойствами и событиями. Для описания интерфейса достаточно точно определить набор реализуемых в нем функций. Основное отличие состоит в том, что для интерфейса мы должны четко описать требования к реализации каждого метода, не прибегая к использованию аппаратов делегирования и наследования. Например, простейшую компоненту - вычислитель для редукции комбинаторных выражений (для базиса I, K, S) можно описать так:

IReduction ≡

[ term = “”,

comb_I = ς(s) λ(a:String) λ(rest:String) bI. (a + rest):String,

comb_K = ς(s) λ(a:String) λ(b:String) λ(rest:String) bK. (a + rest):String,

comb_S = ς(s) λ(a:String) λ(b:String) λ(c:String) λ(rest:String) bS. (a+c+”(”+b+c+”)”+rest):String,

ReduceStep = ς(s) bRS

FullReduce = ς(s) bFR]


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

Система автоматизации управления кролиководческими фермами «МИАКРО»


Васис Оксана Сергеевна, Крамин Артем Анатольевич

Казанский государственный университет

факультет вычислительной математики и кибернетики

Российское отделение всемирной ассоциации научного кролиководства

Научный руководитель: член совета безопасности РФ, академик, профессор

Михайлов Игорь Николаевич;

г. Казань


Мы все привыкли, что точкой приложения информационных технологий являются, как правило, высокотехнологичные и наукоемкие отрасли промышленности, например машиностроение, связь, космос. Для среднестатистического же бизнеса область применения программных средств сужается до офисных и бухгалтерских приложений. Наша система приоткрывает совершенно новую область применения IT, область, которая считается наиболее удаленной от современных информационных технологий, сам факт применения программных средств в которой представляется чем то абсурдным. Революционность «Системы автоматизации управления кролиководческими фермами «МИАКРО» великолепно подчеркивает революционность технологий Microsoft, и является на наш взгляд лучшим из имеющихся практических примеров для демонстрации возможностей последней разработки корпорации – платформы .Net в целом, а также концепции web – сервисов и средств ASP.Net в частности.

«Система автоматизации управления кролиководческими фермами «МИАКРО» - это инструмент, который позволяет принципиально изменить работу на кролиководческой ферме. Система берет на себя задачи по ведению количественного учета, планированию работ, прогнозированию состояния фермы, подготовке зоотехнических отчетов, помогает наиболее эффективным образом организовать выполнение зоотехнических работ. Очень важной частью Системы является подсистема, отвечающая за ведение генеалогического учета (единственная существующая в российском кролиководстве на данный момент, по информации Племенного объединения РФ).

Система построена на базе Microsoft SQL server 2000, что делает ее легко масштабируемой. А поддержка обмена кроликов между разными базами данных (т.е. различными кроликофермами), и простота доступа через web – интерфейс (ASP.Net) позволяют выбрать Систему в качестве стандарта для отрасли в целом по России.

Особо следует подчеркнуть, что «Система автоматизации управления кролиководческими фермами «МИАКРО» уже реально функционирует на двух кроликофермах «МИАКРО», к осени 2004 года планируется подключить к Системе еще пять ферм. Разработка системы поддерживается Российским отделением Всемирной ассоциации научного кролиководства, Ассоциацией крестьянских подворий и фермерских хозяйств Республики Татарстан, фермерским хозяйством «МИАКРО – КАРАТАУ».

Несмотря на то, что Система уже является законченным проектом, мы не останавливаемся на достигнутом, на данный момент ведется адаптации интерфейса Системы для мобильных устройств (Pocket PC), совместно с зоотехниками ФХ «МИАКРО – КАРАТАУ» разрабатываются новые формы отчетов и прогнозов.

«Система управления кроликофермами «Зоотехплан 2003» (предыдущая версия «Системы автоматизации управления кролиководческими фермами «МИАКРО») заняла 3 место в финале российского тура международного конкурса Microsoft Imagine Cup 2003.


Тестирование Web-служб при помощи технологии UniTesK на платформе .NET

А.С. Камкин, В.С. Мутилин

Научный руководитель: Петренко А.К.

МГУ им. М.В. Ломоносова, факультет ВМК

г. Москва


В настоящее время Web-службы являются одной из основных технологий в области разработки и интеграции корпоративных информационных систем. Это сравнительно молодая, но быстро развивающаяся технология, основанная на открытых стандартах (XML, SOAP, WSDL и UDDI). Именно с ней крупнейшие разработчики программного обеспечения связывают свои стратегические планы.

  Обеспечение качественного тестирования корпоративных приложений, основанных на Web-службах, востребовано современной IT-индустрией. Учитывая высокий уровень сложности таких приложений, ясно, что традиционные методы разработки тестов вручную не могут обеспечить требуемого качества, поэтому необходимо применение технологии автоматизированного тестирования.

В работе была проведена апробация технологии UniTesK для тестирования Web-служб, результаты которой показали эффективность использования технологии для данного класса приложений.

Технология UniTesK была разработана в ИСП РАН на основе многолетнего опыта верификации промышленного программного обеспечения и предназначена главным образом для тестирования систем, предоставляющих прикладной программный интерфейс (API). Это хорошо согласуется с концепцией Web-служб, по описанию интерфейса которых можно автоматически сгенерировать класс, реализующий методы для доступа к службе.

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

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

Для разработки тестов использовалось спецификационное расширение языка C# и инструмент Ch@se, предназначенный для тестирования .NET компонентов и поддерживающий технологию тестирования UniTesK.

1   ...   4   5   6   7   8   9   10   11   12

Похожие:

Тезисы конференции студентов iconТезисы докладов Одиннадцатой Украинской республиканской конференции по органической химии, г. Днепропетровск. 1971. С. 80
Изучение процессов модификации стереорегулярных полимеров на стадии их грануляции (тезисы доклада)
Тезисы конференции студентов iconТезисы студенческой научной конференции «Студенческая наука путь к миру и творчеству»
Психолого педагогические условия самоактуализации личности ребенка старшего дошкольного возраста (тезисы)
Тезисы конференции студентов iconТезисы докладов VIII международной конференции. Москва, 4-6 октября 2010 г. М.: Рудн, 2010. 558 с. Isbn 978-5-209-03871-9 в сборнике представлены тезисы докладов vie междуна­родной конференции «Биоантиоксидант»
Российская академия наук институт биохимической физики им. Н. М. Эмануэля ран институт химической физики им. Н. Н. Семенова ран
Тезисы конференции студентов iconТезисы докладов школы-конференции молодых ученых «С еквенирование полных геномов»
Тезисы докладов школы-конференции молодых ученых «Секвенирование полных геномов» / Иркутск, Изд-во Института географии, 2009. – 27...
Тезисы конференции студентов iconТезисы докладов будут опубликованы в сборнике (на русском и английском языках) после прохождения рецензирования программным комитетом конференции.
На конференции будут представлены устные и стендовые доклады. Официальные языки конференции – русский и английский. Будет обеспечен...
Тезисы конференции студентов iconТезисы докладов Часть I секции 1−4 Москва − 2010 в части I сборника представлены тезисы докладов VIII всероссийской научно-технической конференции «Актуальные проблемы развития нефтегазового комплекса России»
В части I сборника представлены тезисы докладов VIII всероссийской научно-технической конференции «Актуальные проблемы развития нефтегазового...
Тезисы конференции студентов iconТезисы докладов Часть II секции 5−11 Москва − 2010 в части II сборника представлены тезисы докладов VIII всероссийской научно-технической конференции «Актуальные проблемы развития нефтегазового комплекса России»
В части II сборника представлены тезисы докладов VIII всероссийской научно-технической конференции «Актуальные проблемы развития...
Тезисы конференции студентов iconТезисы докладов международной конференции «Актуальные проблемы планктонологии»
...
Тезисы конференции студентов iconТезисы V конференции молодых ученых России с международным участием «Фундаментальные науки и прогресс клинической медицины»
А. С., Кузнецова Е. Б., Стрельников В. В.,Залетаев Д. В. // Метод анализа структурно-функциональной организации эпигеномов клеток...
Тезисы конференции студентов iconТезисы докладов VI научной конференции профессорско-преподавательского состава ВолГУ. Волгоград: Изд-во ВолГУ, 1989
Русские префиксальные глаголы, имеющие аналитические эквиваленты в немецком языке // Тезисы докладов VI научной конференции профессорско-преподавательского...
Разместите кнопку на своём сайте:
Библиотека


База данных защищена авторским правом ©lib.znate.ru 2014
обратиться к администрации
Библиотека
Главная страница