WWW.DISSERS.RU

БЕСПЛАТНАЯ ЭЛЕКТРОННАЯ БИБЛИОТЕКА

   Добро пожаловать!


Pages:     || 2 | 3 | 4 | 5 |   ...   | 30 |
существующие подходы к автоматизации функционального тестирования Webприложений, обсуждаются их достоинства и недостатки.

Предисловие В статье А.Я. Калинова, А.С. Косачёва, М.А. Посыпкина и А.А. Соколова «Автоматическая генерация тестов для графического пользовательского В сборнике представлены статьи сотрудников Института системного интерфейса по UML диаграммам действий» излагается метод автоматической программирования и некоторых других организаций, описывающие научные генерации набора тестов для графического интерфейса пользователя, результаты исследований, полученные в 2003-2004 гг. В статьях обсуждаются моделируемого детерминированным конечным автоматом с помощью UML как теоретические вопросы, так и проблемы реализации программных систем.

диаграмм действий. Метод заключается в построении обхода графа состояний Сборник состоит из двух частей. Первая часть включает следующие 12 статей. системы с применением неизбыточного алгоритма обхода и компиляции построенного обхода в тестовый набор.

В статье А.В. Баранцева, В.В. Кулямина, В.А. Омельченко и О.Л. Петренко «Проблемы внедрения наукоемких технологий» систематизируются факторы, В статье Н.В. Пакулина «Применение UniTesK к тестированию встроенных влияющие на успешность или неуспешность внедрения технологии, и систем» обсуждаются вопросы применимости технологии тестирования предлагаются способы повышения вероятности успеха внедрения. UniTesK к функциональнуму тестированию программного обеспечения Предлагаемые подходы могут требовать как модификации самой технологии, встроенных систем на примере сенсорных сетей под управлением TinyOS.

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

Российского Фонда содействия отечественной науке.

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

задачи, а лишь рассматривается несколько подходов к такому решению и В статье Ю.Н. Фонина и С. Грассмана «Архитектура и принципы построения обсуждаются результаты, полученные в рамках этих подходов. Работа операционной среды ‘мини-ОС’» представлены архитектура и принципы поддержана грантом Российского Фонда содействия отечественной науке.

построения операционной среды мини-ОС, предназначенной для В статье С.В. Зеленова и С.А. Зеленовой «Автоматическая генерация использования во встроенных системах. Особое внимание уделено вопросам позитивных и негативных тестов для тестирования фазы синтаксического портирования мини-ОС и минимизации усилий на адаптацию ОС под анализа» описывается методика автоматической генерации наборов требования аппаратуры и приложений пользователя.

позитивных и негативных тестов для тестирования фазы синтаксического В статье Г.В. Ключникова, Д.С. Мишина, Д.В. Москалева, А.В. Никешина и анализа. Предлагаются критерии покрытия для таких наборов, основанные на В.З. Шнитмана «Межпротокольный шлюз NAT-PT с функциями DNS-ALG и модельном подходе к тестированию, и методы генерации наборов тестов, FTP-ALG для обеспечения взаимодействия между сетями IPv4 и IPv6» удовлетворяющих предложенным критериям.

рассматриваются вопросы реализации шлюзов прикладного уровня DNS-ALG В статье М.В. Архиповой «Генерация тестов для модулей проверки и FTP-ALG для межпротокольного шлюза NAT-PT, соответствующих проекту статической семантики в компиляторах» исследуется проблема построения стандарта IETF RFC 2766 “Network Address Translation - Protocol Translation”, а программ-тестов для модулей проверки статической семантики в также особенности применения этих средств для обеспечения плавного и компиляторах, рассматриваются существующие способы формального безболезненного перехода на протокол IPv6. Работа поддерживалась грантами описания правил статической семантики языков программирования и РФФИ.

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

машины» предлагается способ исполнения моделей, основанный на Статья А.А. Сортова и А.В. Хорошилова «Функциональное тестирование Web- использовании виртуальных машин. Показаны его основные преимущества по приложений на основе технологии UniTesK» посвящена анализу сравнению с непосредственной интерпретацией и конечными автоматами, дополнительных возможностей автоматизации функционального тестирования которые широко применяются в данной области.

Web-приложений на основе технологии UniTesK. Рассматриваются 5 В последней статье первой части сборника – М.В. Ксензов, «Рефакторинг Во второй статье того же автора «Язык запросов к совокупности XMLархитектуры программного обеспечения: выделение слоев» – рассматриваются документов, соединенных при помощи ссылок языка XLink» предлагается один из основных методов рефакторинга архитектуры ПО – выделение слоев, а язык, который позволяет приложению прозрачным образом формулировать также его место в контексте рефакторинга архитектуры как многошагового запросы к ссылкам XLink и осуществлять переходы по определяемым этими итеративного процесса. ссылками дугам. Язык инкапсулирует сложности синтаксиса XLink от приложения и предоставляет более высокий уровень абстракции при обработке Во второй части сборника представлены 10 статей.



совокупности XML-документов, соединенных ссылками языка XLink.

В статье П.М. Довгалюка «Анализ и оптимизация циклов с помощью В статье М.П. Рекуц «Виды ограничений целостности в базах XML-данных» на производящих функций» представлены усовершенствования метода основе анализа потребностей современных приложений, работающих с XMLраспространения констант, использующего GSA-представление (Gated Single СУБД, выявляются виды ограничений целостности, которые должны Assignment), позволяющие алгоритму находить большее количество констант, поддерживаться XML-СУБД, и предлагаются средства определения этих видов чем исходный алгоритм.

ограничений с учетом специфики XML-модели данных и опыта, накопленного Во второй статье того же автора «Усовершенствованный алгоритм разработчиками реляционных СУБД. Работа выполнена при поддержке распространения констант с использованием GSA-представления» грантами РФФИ.

рассматривается метод анализа и оптимизации циклов с помощью В статье Г.И. Малашонка, А.И. Аветисяна, Ю.Д. Валеева и М.С. Зуева производящих функций, состоящий в поиске выражений для конечных «Параллельные алгоритмы компьютерной алгебры» рассматривается значений переменных, которые вычисляются в цикле и замене цикла разрабатываемая в рамках среды ParJava система компьютерной алгебры. Цель вычислениями по формуле.

разрабатываемой системы – предоставить возможность эффективного Статья В.А. Семенова, С.В. Морозова и С.А. Пороха «Стратегии объектноиспользования параллельных вычислительных систем для проведения реляционного отображения: систематизация и анализ на основе паттернов» аналитических расчетов.

посвящена методам отображения прикладных объектно-ориентированных В статье С.С. Гайсаряна и П.Н. Яковенко «К вопросу о генерации начальных данных в реляционную модель. Проводится систематизация этих методов, а данных, обеспечивающих заданную трассу SPMD-программы» исследуется также их анализ на основе введенной системы паттернов. Задача проблема автоматизированной генерации входных данных для SPMDфункционально полного отображения моделей данных рассматривается на программы на основании ее исходного текста.

примере EXPRESS-нотации, получившей распространение в качестве стандартного средства информационного моделирования научных и Вторую часть сборника завершает статья А.В. Инюхина «Открытая Т–система:

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

верификации объектно-ориентированных данных. На основе теории графов строится формальный аппарат, а также описываются разработанные методы инкрементальной верификации, использующие статический анализ Член-корреспондент РАН В.П. Иванников спецификации ограничений и позволяющие локализовать область потенциальных нарушений при изменении данных. Результаты этой и предыдущей статей получены при поддержке РФФИ (грант N 04-01-00527) и Фонда содействия отечественной науке.

В статье Д.А. Лизоркина «Оптимизация вычисления обратных осей языка XML Path при его реализации функциональными методами» предлагается алгоритм, позволяющий построить вычисление выражений XPath таким образом, что наличие указателей с дочерних узлов на родительские узлы в дереве документа становится необязательным. Проводится обоснование алгоритма и рассматриваются его основные свойства.

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

А. В. Баранцев, В. В. Кулямин, В. А. Омельченко, О. Л. Петренко {barancev, kuliamin, vitaliy, olga}@ispras.ru 2. Виды внедрений 1. Введение Книга [1] определяет внедрение (или коммерциализацию) технологии как перевод результатов фундаментальных и прикладных исследований на уровень В настоящее время в России идет активный поиск такой структуры конструирования, разработок, производства и коммерциализации новых или взаимодействия науки и общества, которая была бы максимально выгодна улучшенных продуктов, услуг или процессов. При этом часто то, что обоим составляющим. Любое успешное решение этой проблемы предполагает переводится, является некоторым знанием, а не собственно технологией, т.е.





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

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

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

научных разработок в этой области очень мало. Дело тут даже не в российской специфике — за рубежом ситуация практически такая же. За исключением Можно выделить следующие виды внедрений:

нескольких компаний, агрессивно пытающихся ворваться на рынок или Опытные или пробные внедрения.

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

использование стало восприниматься как обычное использование специализированных инструментов, требуется много времени, часто — десятилетия. Масштабные внедрения.

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

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

факторов, мы разбиваем ее на следующие подгруппы:

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

соображений по аналогичным постоянным факторам.

Технологии, достигшие этого этапа своего развития, могут быть использованы 2. Постоянные факторы:

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

Pages:     || 2 | 3 | 4 | 5 |   ...   | 30 |










© 2011 www.dissers.ru - «Бесплатная электронная библиотека»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.