![](/irbis64r_81/images/db_navy.gif) Віртуальна довідка ![](/irbis64r_81/images/db_navy.gif) Тематичний інтернет-навігатор ![](/irbis64r_81/images/db_navy.gif) Наукова електронна бібліотека ![](/irbis64r_81/images/db_navy.gif) Автореферати дисертацій ![](/irbis64r_81/images/db_navy.gif) Реферативна база даних ![](/irbis64r_81/images/db_navy.gif) Книжкові видання та компакт-диски ![](/irbis64r_81/images/db_navy.gif) Журнали та продовжувані видання
![Mozilla Firefox](../../ico/mf.png) |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Формат представлення знайдених документів: | повний | стислий |
Пошуковий запит: (<.>U=З973-018.025$<.>) |
Загальна кількість знайдених документів : 188
Представлено документи з 1 до 20
|
| |
| | | | |
1. |
Корченко О. Г. Захист та зламування програм : Навч. посіб. для студ. напряму "Інформ. безпека" / О. Г. Корченко, А. С. Морозов; Нац. авіац. ун-т. - К., 2001. - 83 c. - Бібліогр.: 12 назв. - укp.Висвітлено основні положення щодо захисту програмного забезпечення від копіювання, статичних і динамічних методів дослідження. Наведено основні відомості про роботу налагоджувального пристрою Soft-Ice. Проаналізовано його можливості щодо зламування програм. Висвітлено загальний підхід до пошуку захисних механізмів за допомогою налагоджувальних пристроїв. Індекс рубрикатора НБУВ: З973-018.025 я73
Рубрики:
Шифр НБУВ: ВА609929 Пошук видання у каталогах НБУВ
|
| | | | |
2. |
Коротун Т. М. Модель определения критерия завершения тестирования на основе анализа риска отказа и ее реализация / Т. М. Коротун // Пробл. программирования. - 2001. - № 1-2. - С. 63-68. - Библиогр.: 9 назв. - рус.Розглянуто підхід до тестування інформаційних систем організаційного керування з урахуванням ризику відмови компонентів їх прикладного програмного забезпечення. Наведено модель визначення часу, необхідного на тестування, з урахуванням ризику відмови, визначено критерій завершення тестування та процедуру збору даних результатів тестування. Модель реалізовано у програмному комплексі керування тестуванням. Індекс рубрикатора НБУВ: З973-018.025
Рубрики:
Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ
|
| | | | |
3. |
Коротун Т. М. Совершенствование процесса тестирования программного обеспечения / Т. М. Коротун // Пробл. программир.. - 1998. - № 3. - С. 59-64. - Библиогр.: 3 назв. - рус.Рассмотрены вопросы улучшения процесса тестирования программного обеспечения (ПО), одного из наиболее трудоемких и дорогостоящих процессов разработки. Предложена модель зрелости процесса тестирования, дополняющая модель технологической зрелости организаций-разработчиков ПО (СММ-модель). Індекс рубрикатора НБУВ: З973-018.025
Рубрики:
Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ
|
| | | | |
4. |
Канер С. Тестирование программного обеспечения / С. Канер, Д. Фолк, Е. К. Нгуен. - 2-е изд. - К. : ДиаСофт, 2000. - 544 c. - рус.Рассмотрен один из наиболее важных и нетривиальных аспектов в рамках процесса создания сложных программных систем - тестирование программного обеспечения. Подробно освещен широкий спектр вопросов от организации процесса тестирования до тестирования проекта, кода, документации и т.д. Проанализированы типы тестов и их роль в процессе разработки программного обеспечения, программные ошибки, методика документирования и анализа ошибок. Особое внимание уделено приемам и технологии тестирования, в частности, принтеров и других устройств, адаптационного тестирования, а также инструментальным средствам тестировщика. Індекс рубрикатора НБУВ: З973-018.025
Рубрики:
Шифр НБУВ: ВА602064 Пошук видання у каталогах НБУВ
|
| | | | |
5. |
Бернатович О. В. Функциональное тестирование программного обеспечения информационно-расчетного типа / О. В. Бернатович, Г. И. Коваль, Т.М. Коротун // Пробл. программир.. - 1998. - № 3. - С. 51-58. - Библиогр.: 6 назв. - рус.Представлен метод функционального тестирования программного обеспечения (ПО), основанный на разбиении входного пространства функций на категории эквивалентности данных. Определена технология практического применения метода, позволяющая систематизировать процесс тестирования и повысить его эффективность. Метод апробирован при тестировании ПО информационно-расчетного типа в составе автоматизированной системы (АС). Індекс рубрикатора НБУВ: З973-018.025
Рубрики:
Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ
|
| | | | |
6. |
Макгрегор Д. Тестирование объектно-ориентированного программного обеспечения : Практ. пособие: Пер. с англ. / Д. Макгрегор, Д. Сайкс. - К.; СПб.; М. : Торг.-издат. дом DiaSoft, 2002. - 432 c. - Библиогр.: с. 409-411 - рус.Освещены вопросы реального планирования и эффективной реализации процесса тестирования объектно-ориентированного и компонентного программного обеспечения. Описаны концептуальные отличия технологий тестирования объектно-ориентированного программного обеспечения от указанных для традиционного процедурного программного обеспечения. Предложены готовые технологии построения надежного, предсказуемого и высокоэффективного программного обеспечения с тестированием на этапах анализа, проектирования и реализации. Акцентировано внимание на вопросах тестирования аналитических и проектных моделей, тестировании иерархии наследования, тестировании классов, взаимодействий между объектами, распределенных объектов, эффективном выборе тестовых наборов. Рассмотрены уникальные методики подбора тестовых случаев, обеспечивающие максимальное покрытие и адекватность тестирования. Індекс рубрикатора НБУВ: З973-018.025я7
Рубрики:
Шифр НБУВ: ВС36331 Пошук видання у каталогах НБУВ
|
| | | | |
7. |
Канер С. Тестирование программного обеспечения. Фундаментальные концепции менеджмента бизнес-приложений : Пер. с англ. / С. Канер, Д. Фолк, Енг Кек Нгуен . - К. : ДиаСофт; М., 2001. - 543 c. - рус.Освещен один из наиболее важных и нетривиальных аспектов в рамках процесса создания сложных программных систем. Рассмотрены вопросы организации процесса тестирования проекта, кода, документации и др. Проанализирована роль тестов в процессе разработки программного обеспечения. Індекс рубрикатора НБУВ: З973-018.025
Рубрики:
Шифр НБУВ: ВА614252 Пошук видання у каталогах НБУВ
|
| | | | |
8. |
Котляров В. П. Входной язык описания тестов на основе расширенных MSC диаграмм / В. П. Котляров, В. А. Сухомлинов // Кибернетика и систем. анализ. - 2004. - № 1. - С. 52-62. - Библиогр.: 8 назв. - рус.Розглянуто використання діаграм послідовностей повідомлень (MSC) для подання тестових виборок, запропоновано розширену вхідну мову MSC діаграм, що забезпечує істотну економію ручної праці під час розробки тестових специфікацій. Ключ. слова: тестирование программного обеспечения, генерация тестов, MSC, макросы Індекс рубрикатора НБУВ: З973-018.025
Рубрики:
Шифр НБУВ: Ж29144 Пошук видання у каталогах НБУВ
|
| | | | |
9. |
Демская-Кульчицкая О. М. Организация и ведение лексической картотеки украинского языка / О. М. Демская-Кульчицкая, О. Л. Перевозчикова, В. А. Сичкаренко // Пробл. программирования. - 2002. - 1-2 [спец. вып.]. - С. 512-515. - Библиогр.: 4 назв. - рус.The theoretic and information aspects of building the computer oriented lexicographic card-file on the base of a text database and other sources of text data located in arbitrary medium are discussed. The medium can be paper, electronics, telex, facsimile, etc. The directions of implementation the input, analyses, processing and storage subsystems are discussed. Індекс рубрикатора НБУВ: З973-018.025
Рубрики:
Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ
|
| | | | |
10. |
Харченко В. С. Оценка верификации критического программного обеспечения: критерии, модели и реализация / В. С. Харченко, С. А. Вилкомир // Управляющие системы и машины. - 2003. - № 6. - С. 60-68. - Библиогр.: 18 назв. - рус.Запропоновано загальний підхід до оцінки верифікації програмного забезпечення комп'ютерних систем у технічних комплексах критичного використання. Розроблено концептуальну схему, критерії та формалізовані моделі оцінки верифікації програмного забезпечення. Надано інформацію щодо реалізації результатів розробки. Індекс рубрикатора НБУВ: З973-018.025
Рубрики:
Шифр НБУВ: Ж14024 Пошук видання у каталогах НБУВ
|
| | | | |
11. |
Баранов С. Н. Проверка корректности требований к программным системам, представленным атрибутными транзиционными системами / С. Н. Баранов, В. А. Волков, А. Б. Годлевский, Ю. В. Капитонова, А. А. Летичевский // Кибернетика и систем. анализ. - 2003. - № 6. - С. 3-11. - Библиогр.: 4 назв. - рус.Запропоновано підхід до перевірки потреб або специфікацій програмних систем. Сформульовано мову формальних потреб і властивості програм, що перевіряються. Розглянуто схему доведень деяких важливих динамічних властивостей. Ключ. слова: корректность требований к программам, доказательство теорем, прувер Індекс рубрикатора НБУВ: З973-018.025
Рубрики:
Шифр НБУВ: Ж29144 Пошук видання у каталогах НБУВ
|
| | | | |
12. |
Гречко А. В. Стандартизация украинского алфавита / А. В. Гречко, Б. Н. Кульчицкий, О. Л. Перевозчикова, К. Ю. Тимошков // Пробл. программирования. - 2002. - 1-2 [спец. вып.]. - С. 506-511. - Библиогр.: 6 назв. - рус.Рассмотрены проекты Государственных стандартов Украины на украинский алфавит в составе репертуара символов кириллицы с восьми битной однобайтной кодовой таблицей согласно ISO/IEC 8859-5 и кодовой таблицей кириллицы из репертуара USC-символов для двухбайтного кодирования согласно ISO/IEC 10646-1. Разработанные ДСТУ - базовые стандарты, на которых основано большинство других стандартов, регламентирующих нормы и правила функционирования мобильного интерфейса в открытых системах, а также механизм и правила сертификации и тестирования программной продукции. Індекс рубрикатора НБУВ: З973-018.025
Рубрики:
Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ
|
| | | | |
13. |
Матвеева Л. Е. Формальное представление и анализ свойств асинхронных динамических систем / Л. Е. Матвеева // Пробл. программирования. - 2002. - 1-2 [спец. вып.]. - С. 168-174. - Библиогр.: 6 назв. - рус.Посредством формальной спецификации некоторые выделенные свойства программной или аппаратной системы представлены в виде модели, которая затем верифицирована. С помощью различных инструментальных средств анализа доказано, имеет ли модель требуемые зафиксированные свойства реальной системы. Описано применение формализма сетей Петри к исследованию свойств телефонной системы, основанное на использовании методов линейной алгебры. Індекс рубрикатора НБУВ: З973-018.025
Рубрики:
Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ
|
| | | | |
14. |
Крывый С. Л. Формальные методы в исследовании свойств программных систем / С. Л. Крывый // Пробл. программирования. - 2002. - 1-2 [спец. вып.]. - С. 147-153. - Библиогр.: 54 назв. - рус.Приведен краткий обзор использования формальных методов в области спецификации и верификации, где основное внимание уделено методам проверки на модели (model checking) и доказателей теорем (theorem proving). Обсуждены другие возможные направления и фундаментальные концепции в области интеграции различных методов, технологические и технические трудности при применении формальных методов. Індекс рубрикатора НБУВ: З973-018.025
Рубрики:
Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ
|
| | | | |
15. |
Непомнящий В. А. Верификация финитных итераций над наборами изменяемых структур данных / В. А. Непомнящий // Кибернетика и систем. анализ. - 2007. - 43, № 3. - С. 33-46. - Библиогр.: 21 назв. - рус.Введено фінітні ітерації (ФІ) над наборами змінюваних структур даних, що зводяться до стандартних ФІ, для розширення області застосування символічного методу верифікації. Запропонована редукція поширюється на ФІ, до яких входить оператор завершення. Це узагальнення символічного методу дозволяє застосувати його для верифікації програм над покажчиками. Індекс рубрикатора НБУВ: З973-018.025
Рубрики:
Шифр НБУВ: Ж29144 Пошук видання у каталогах НБУВ
|
| | | | |
16. |
Дубницкий В. Ю. Интервальное решение обратной задачи оценки эффективности тестирования компьютерных программ / В. Ю. Дубницкий, А. М. Кобылин // Радіоелектрон. і комп'ют. системи. - 2007. - № 8. - С. 181-183. - Библиогр.: 4 назв. - рус.Предложен алгоритм, который позволяет для заданного интервала критериев эффективности программного обеспечения подсчитать в интервальном виде значения переменных, что входят в его определение. Задача решена для случая зависимости критерия эффективности от одной и нескольких переменных. Індекс рубрикатора НБУВ: З973-018.025
Рубрики:
Шифр НБУВ: Ж24450 Пошук видання у каталогах НБУВ
|
| | | | |
17. |
Говорущенко Т. О. Інтелектуальна система визначення необхідності повторного тестування програмного забезпечення / Т. О. Говорущенко // Искусств. интеллект. - 2006. - № 4. - С. 706-712. - Бібліогр.: 5 назв. - укp.Представлено інтелектуальну систему визначення необхідності повторного тестування програмного забезпечення, яка надає прогноз наявності прихованих помилок у програмному забезпеченні після проходження основного тестування, а також визначає необхідність повторного тестування прикладної програми. Наведено результати роботи запропонованої системи. Індекс рубрикатора НБУВ: З973-018.025
Рубрики:
Шифр НБУВ: Ж15477 Пошук видання у каталогах НБУВ
|
| | | | |
18. |
Долгов Ю. А. Количественная оценка надежности программного обеспечения / Ю. А. Долгов, Т. Г. Данилина // Радіоелектрон. і комп'ют. системи. - 2007. - № 6. - С. 159-161. - Библиогр.: 4 назв. - рус.Предложены формулы для расчета метрик надежности ПО, определенных стандартом ISO/IEC 9126, с использованием обобщенной функции Харрингтона-Менчера. Данная статья является развитием и продолжением статьи "Количественная оценка некоторых характеристик надежности программного обеспечения", опубликованной в журнале "Радиоэлектронные и компьютерные системы" N 7 за 2006 год. Індекс рубрикатора НБУВ: З973-018.025
Рубрики:
Шифр НБУВ: Ж24450 Пошук видання у каталогах НБУВ
|
| | | | |
19. |
Райчев І. Е. Конструювання програм створення тестових наборів даних на базі автоматних моделей / І. Е. Райчев, О. Г. Харченко // Мат. машини і системи. - 2006. - № 3. - С. 127-136. - Бібліогр.: 14 назв. - укp.Розглянуто питання автоматизації створення тестових наборів даних (ТНД). Для цього запропоновано технологію створення програм генерації ТНД, яка базується на побудові автоматних моделей. Одержані ТНД дозволяють автоматизувати виявлення подій контролю, що дозволяє підвищити ефективність випробувань, зменшити трудомісткість сертифікації та збільшити достовірність її результатів. Ключ. слова: тестові набори даних, автоматні моделі, сертифікація програмних систем, автоматизація тестування Індекс рубрикатора НБУВ: З973-018.025
Рубрики:
Шифр НБУВ: Ж15664 Пошук видання у каталогах НБУВ
|
| | | | |
20. |
Коротун Т. М. Моделі і методи тестування програмних систем / Т. М. Коротун // Пробл. програмув. - 2007. - № 2. - С. 76-84. - Бібліогр.: 38 назв. - укp.Підсумовано основні результати досліджень з проблематики тестування програмних систем (ПС). Зазначено місце та роль тестування, наведено основні методи та моделі інженерії тестування ПС оброблення даних. Запропоновано структуру базового процесу тестування та метод його оцінювання. Індекс рубрикатора НБУВ: З973-018.025
Рубрики:
Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ
| | |
|
|