TMPA-2015: The Application of Static Analysis to Optimize the Dynamic Detecti...Iosif Itkin
The Application of Static Analysis to Optimize the Dynamic Detection of Race Conditions
Yakov Roskoshnyy, Dmitry Tsitelov, Vitaly Trifanov, Roman Elizarov,Saint Petersburg State University of Information Technologies, Mechanics and Optics, Saint Petersburg
12 - 14 November 2015
Tools and Methods of Program Analysis in St. Petersburg
TMPA-2015: The Application of Static Analysis to Optimize the Dynamic Detecti...Iosif Itkin
The Application of Static Analysis to Optimize the Dynamic Detection of Race Conditions
Yakov Roskoshnyy, Dmitry Tsitelov, Vitaly Trifanov, Roman Elizarov,Saint Petersburg State University of Information Technologies, Mechanics and Optics, Saint Petersburg
12 - 14 November 2015
Tools and Methods of Program Analysis in St. Petersburg
There are lots of libraries and frameworks you can use when building browser based JavaScript applications. Probably the most popular library is jQuery. But while jQuery makes it easy to write cross browser user interface code that manipulates the DOM it’s UI focus makes it less then perfect for large business applications. One of the JavaScript based MVC frameworks that has been gaining a lot of popularity for creating business applications is AngularJS. Wen using AngularJS you get the benefit of a powerful data-binding framework that guides you towards a proper application model with a proper separation between the UI layer and the business layer. It also contains a powerful dependency injection framework making code much more testable than before.
In this session Maurice de Beijer will show you how to get started with AngularJS and how productive you can be when creating line of business applications.
There are lots of libraries and frameworks you can use when building browser based JavaScript applications. Probably the most popular library is jQuery. But while jQuery makes it easy to write cross browser user interface code that manipulates the DOM it’s UI focus makes it less then perfect for large business applications. One of the JavaScript based MVC frameworks that has been gaining a lot of popularity for creating business applications is AngularJS. Wen using AngularJS you get the benefit of a powerful data-binding framework that guides you towards a proper application model with a proper separation between the UI layer and the business layer. It also contains a powerful dependency injection framework making code much more testable than before.
In this session Maurice de Beijer will show you how to get started with AngularJS and how productive you can be when creating line of business applications.
Применение инструментов символьных вычислений для проверки решений задач из курсов для конструкторов и технологов в интеллектуальной обучающей веб-системе «Волга»
4. Методы тестирования
Тестирование методом черного ящика
Тестирование методом белого ящика
Статическое тестирование
Динамическое тестирование
Регрессионное тестирование
«Отлаженная программа – это такая программа,
для которой пока еще не найдены такие условия, в которых она
окажется не работоспособной »
КА «Шаг» 4
5. Стратегии черного ящика
Применение функциональных
диаграмм;
Эквивалентных разбиений;
Анализ граничных значений;
Предположение об ошибке
КА «Шаг» 5
6. Стратегии белого ящика
Покрытие операторов
Покрытие решений
Покрытие условий
Покрытие решений и условий
КА «Шаг» 6
7. Черный ящик
Применение функциональных
диаграмм
Причина – есть отдельный класс
эквивалентности входных условий
Следствие – есть выходное
условие
Каждая причина может принимать
одно из двух значений 0 или 1
КА «Шаг» 7
11. Интерпретация
дополнительных символов
Е должно быть истинным, если хотя бы одна из величин
– а или b – принимает значение 1.
I устанавливает, что, по крайней мере, одна из величин
а, b или с всегда должна быть равной 1 (а, b и с не
могут принимать значение 0 одновременно).
0 устанавливает, что одна и только одна из величин а
или b должна быть равна 1.
R устанавливает, что если а принимает значение 1,то и
b должна принимать значение 1 (т. е. невозможно чтобы
а была равна 1, а b – 0).
М устанавливает, что если следствие а имеет значение
1, то следствие b должно принять значение 0.
КА «Шаг» 11
12. Задание
Задание состоит из двух частей:
Реализация программы;
Система ведения базы данных о посещении
занятий в группе СПВ11-1. Реализовать
сериализация, десиреализацию, функции поиска по
фамилии, добавления студента, удаление студента,
редактирование студента. Базовый интерфейс для
выполнения заданных операций.
Тестирование программы;
Получить программу напарника(определяется
Фокшей ) для нее составить стратегию
тестирования и выполнить процесс тестирования,
результаты отобразить в виде таблице в xls.
КА «Шаг» 12