SlideShare a Scribd company logo
1 of 18
Организация тестирования
встроенных систем в компании
«с нуля»
Владимир Скляр
Радий (Кировоград, Украина)
QA Fest, October 31, 2015, Kyiv, Ukraine
1
ПАРАЛЛЕЛЬНЫЕ МИРЫ
IT Industry
Embedded
Safety Systems
• Технический директор с 2011 http://www.radiy.com/
• Области экспертизы: QA, PM, R&D, BA, Business
Development, преподавание
• EU Tempus (Horizon2020) – 7 проектов с 2006
3
О себе
• Контроллер RadICS на
базе ПЛИС (FPGA) – PM
в проекте по разработке
и сертификации
• Компания Радий: вклад в безопасность атомных
электростанций
• Отличие индустрии встроенных систем
безопасности от ИТ
• Команда тестирования «с нуля»: история успеха
• Методы тестирования встроенных систем на
базе программируемых логических
интегральных схем (ПЛИС, FPGA – Field
Programmable Gates Array)
• Выводы 4
Содержание
QA Fest 2015 | October 31, 2015 | Kyiv, Ukraine
Company Radiy Profile
5
QA Fest 2015 | October 31, 2015 | Kyiv, Ukraine
Чем мы отличаемся от ИТ
 Производим оборудование -> работает на АЭС
в Украине, в Европе, в Америке
 Уровень зарплат  -> нет привязки к $
 Наличие производства –> специфика менеджмента
 Подбор и мотивация персонала -> кооперация с
университетами
 Соответствие требованиям стандартов
по безопасности -> независимая оценка (лицензирование,
сертификация)
 V-shape Life Cycle
 QA = Verification and Validation: Docs Review, Reliability
Analysis (FMEDA), Static Code Analysis, Unit and Integration
testing (code), Fault Insertion Testing, Validation, Requirements
Tracing, Environmental Equipment Qualification
6
QA Fest 2015 | October 31, 2015 | Kyiv, Ukraine
IT stack used at Radiy
VHLD for CPLD/FPGA
(Altera Quartus II)
Assembler and C
for CPU
C++/C# (MS Visual Studio) for HMI
Testing (Mentor Graphic ModelSim, NI
LabView)
PCB (Altium Designer, P-CAD)
Electrical, cables, mechanical design (COMPASS)
7
QA Fest 2015 | October 31, 2015 | Kyiv, Ukraine
Life cycle and test coverage
8
QA Fest 2015 | October 31, 2015 | Kyiv, Ukraine
Technical
Specification
Architecture
Design
(HW)
HW Design FMEDA
Report
Validation
TP&S
Validation
TR
Integration
TP&S
Integration
TR
Fault Insertion
TP&S
Fault Insertion
TR
Detailed
Design
Units
Modules
VHDL code
Functional
TP&S
Functional TR
Logic Level
Simulation &
Timing
Simulation TR
Static Timing
Analysis TR
Static Code
Analysis
Report
Команда тестирования
«с нуля»: история успеха
На начальном этапе – отсутствие QA для кода, тестирование
выполнялось лишь для интегрированной системы
Основная мотивация внедрения QA – соответствие требованиям
стандартов для получения сертификатов и лицензий
Нужна была мультидисциплинарная команда по направлениям:
тестирование кода VHDL, тестирование схемотехники, тестирование
интегрированных систем на базе ПЛК
Существенным моментом было обязательное оформление объемной
англоязычной тестовой документации
Один из критериев успешности тестирования: документированное 100%
тестовое покрытие по «правильным» критериям
Команда тестирования была создана с привлечением преподавателей и
студентов Полтавского НТУ (каф. компьютерной инженерии) – spin off
После внедрения QA признано подтверждение качества продуктов
9
QA Fest 2015 | October 31, 2015 | Kyiv, Ukraine
Static Code Analysis and
Code Review
Tools
Aldec ALINT
Mentor Graphics HDL Designer
TrigProc:
process (R, S) is-- Violation, asynchronous combination logic
begin
if R = ‘1’ then
Q <= ‘0’;
elsif S = ‘1’ then
Q <= ‘1’;
end if;
end process TrigProc;
Q$latch
Q
R
S
10
QA Fest 2015 | October 31, 2015 | Kyiv, Ukraine
10
Functional Testing of VHDL
Tools
Vendor Name
Aldec Active-HDL,
Riviera-PRO
Mentor
Graphics
ModelSim, Questa
Сadence Incisive Enterprise
Simulator/Verifier
Synopsys VCS и Verdi3
11
QA Fest 2015 | October 31, 2015 | Kyiv, Ukraine
Logic Level Simulation, Timing
Simulation
Tools
The same as for FT
12
QA Fest 2015 | October 31, 2015 | Kyiv, Ukraine
12
Static Timing Analysis
Независимые разработчики
Vendor Name
Microsemi SmartTime
Xilinx Vivado Static Timing
Analysis
Altera TimeQuest Timing
Analyzer
Cadence TempusTiming
Signoff Solution
Synopsys PrimeTime Suite
Tools
13
QA Fest 2015 | October 31, 2015 | Kyiv, Ukraine
13
QA Fest 2015 | October 31, 2015 | Kyiv, Ukraine
14
Fault Insertion Testing
15
Validation testing:
NI PXI controller with LabView
QA Fest 2015 | October 31, 2015 | Kyiv, Ukraine
Table 2/A.15 Systematic Failures in HW Design
IEC
61508
Ref.
Requirement Compliance Argument:
Reference/Comment
FS Assessor's
Evaluation
Action
Alert to
Client
2/A.15-1
7/A.9
Program sequence
monitoring (HR/medium)
▼Temporal or logical
monitoring of the program
sequence
▲Temporal and logical
monitoring of the program
sequence at very many
checking points in the
program
▲See PAD (D5.1) Figure 2-4.
This shows the separate
clock used for the logic in
the FGPA doing sequence
monitoring. Each time a
function block receives data,
it decodes the CRC+data
which includes a
"numerator". This
numerator acts like a pass
counter, and so allows every
FB execution to detect stale
data. A stale data signal can
come from a FB that did not
get executed the last time, a
failure to update data, or a
failure within the logic
updating the numerator or
in the logic checking for it. []
The FPGA runs a
sequence periodically
which consists of reading
inputs, performing logic,
writing to outputs, and
updating
communications. Each
time one of these items in
the sequence is executed,
a unique code is sent to
the watchdog. The watch
dog looks for this code in
the correct sequence and
resets if the code is not
received in the correct
sequence or is delayed
significantly. []
CLOSED
ACTION(01-
01) Radiy to
check this
claim in col.D-
--2/A.15-1.
Standards compliance testing:
Safety Case approach
Выводы
Наличие в компании ИТ сегмента и
производственного сегмента требуют двух
принципиально разных стилей менеджмента – это
остается одним из наших барьеров
Captain Obvious: самое главное – это человеческий
фактор
Отрасль Embedded Safety Systems заимствует у IT
Industry многие подходы к РМ; что может
позаимствовать IT Industry?
Компоненты методологии: системный анализ,
управление требованиями и трассировка
требований, поэтапное тестирование, тестовая
документация
17
QA Fest 2015 | October 31, 2015 | Kyiv, Ukraine
Thank you for your attention!
Research & Production Corporation Radiy
29, Geroyiv Stalingrada Street, Kirovograd 25009, Ukraine
e-mail: v.sklyar@radiy.com; vvsklyar14@gmail.com; vvsklyar@ukr.net
http://www.radiy.com
18

More Related Content

What's hot

Severity и Priority для неначинающих: очевидное и невероятное
Severity и Priority для неначинающих: очевидное и невероятноеSeverity и Priority для неначинающих: очевидное и невероятное
Severity и Priority для неначинающих: очевидное и невероятноеDeutsche Post
 
Процесс тестирования в распределенной команде
Процесс тестирования в распределенной командеПроцесс тестирования в распределенной команде
Процесс тестирования в распределенной командеSvetlana Fedyanina
 
2.1 Тестирование: основные определения
2.1 Тестирование: основные определения2.1 Тестирование: основные определения
2.1 Тестирование: основные определенияNatalia Odegova
 
Process Quality, QA and QC. QA Club. Kharkov. Ukraine
Process Quality, QA and QC. QA Club. Kharkov. UkraineProcess Quality, QA and QC. QA Club. Kharkov. Ukraine
Process Quality, QA and QC. QA Club. Kharkov. UkraineSergiy Povolyashko, PMP
 
Пополняем арсенал тестировщика. Учимся применять новые техники
Пополняем арсенал тестировщика. Учимся применять новые техникиПополняем арсенал тестировщика. Учимся применять новые техники
Пополняем арсенал тестировщика. Учимся применять новые техникиSQALab
 
Метрики автоматизированного тестирования на пальцах
Метрики автоматизированного тестирования на пальцахМетрики автоматизированного тестирования на пальцах
Метрики автоматизированного тестирования на пальцахSQALab
 
Управление конфигурациями и артефакты тестирования
Управление конфигурациями и артефакты тестированияУправление конфигурациями и артефакты тестирования
Управление конфигурациями и артефакты тестированияSQALab
 
доклад на SQADays 2011 в Казани
доклад на SQADays  2011 в Казанидоклад на SQADays  2011 в Казани
доклад на SQADays 2011 в Казаниmargo-qa
 
Процесс тестирования. Измерение и оценка
Процесс тестирования. Измерение и оценкаПроцесс тестирования. Измерение и оценка
Процесс тестирования. Измерение и оценкаSQALab
 
ACC - конструируем тест-план методом Google
ACC - конструируем тест-план методом GoogleACC - конструируем тест-план методом Google
ACC - конструируем тест-план методом GoogleSQALab
 
Технический долг: взгляд и действия со стороны QA / QC&AT
Технический долг: взгляд и действия со стороны QA / QC&ATТехнический долг: взгляд и действия со стороны QA / QC&AT
Технический долг: взгляд и действия со стороны QA / QC&ATCodeFest
 
Практические аспекты организации процесса тестирования в государственных учре...
Практические аспекты организации процесса тестирования в государственных учре...Практические аспекты организации процесса тестирования в государственных учре...
Практические аспекты организации процесса тестирования в государственных учре...SQALab
 
Badger — инструмент для мониторинга качества продуктов
Badger — инструмент для мониторинга качества продуктовBadger — инструмент для мониторинга качества продуктов
Badger — инструмент для мониторинга качества продуктовSQALab
 
Crystal Agile, или как мы приспособили процесс разработки для обеспечения мак...
Crystal Agile, или как мы приспособили процесс разработки для обеспечения мак...Crystal Agile, или как мы приспособили процесс разработки для обеспечения мак...
Crystal Agile, или как мы приспособили процесс разработки для обеспечения мак...SQALab
 
Роли, в которые играют тестировщики
Роли, в которые играют тестировщикиРоли, в которые играют тестировщики
Роли, в которые играют тестировщикиSQALab
 
Практические аспекты организации процесса тестирования в государственных учре...
Практические аспекты организации процесса тестирования в государственных учре...Практические аспекты организации процесса тестирования в государственных учре...
Практические аспекты организации процесса тестирования в государственных учре...Alexandra Varfolomeeva
 
Как заслужить доверие заказчика при передаче проекта новой команде тестирования?
Как заслужить доверие заказчика при передаче проекта новой команде тестирования?Как заслужить доверие заказчика при передаче проекта новой команде тестирования?
Как заслужить доверие заказчика при передаче проекта новой команде тестирования?SQALab
 
Mikhail Dovgiy "QA Process Establishing"
Mikhail Dovgiy "QA Process Establishing"Mikhail Dovgiy "QA Process Establishing"
Mikhail Dovgiy "QA Process Establishing"Provectus
 
Оценка методологии автоматизации - MBT
Оценка методологии автоматизации - MBTОценка методологии автоматизации - MBT
Оценка методологии автоматизации - MBTSQALab
 

What's hot (20)

Severity и Priority для неначинающих: очевидное и невероятное
Severity и Priority для неначинающих: очевидное и невероятноеSeverity и Priority для неначинающих: очевидное и невероятное
Severity и Priority для неначинающих: очевидное и невероятное
 
Процесс тестирования в распределенной команде
Процесс тестирования в распределенной командеПроцесс тестирования в распределенной команде
Процесс тестирования в распределенной команде
 
2.1 Тестирование: основные определения
2.1 Тестирование: основные определения2.1 Тестирование: основные определения
2.1 Тестирование: основные определения
 
Process Quality, QA and QC. QA Club. Kharkov. Ukraine
Process Quality, QA and QC. QA Club. Kharkov. UkraineProcess Quality, QA and QC. QA Club. Kharkov. Ukraine
Process Quality, QA and QC. QA Club. Kharkov. Ukraine
 
Пополняем арсенал тестировщика. Учимся применять новые техники
Пополняем арсенал тестировщика. Учимся применять новые техникиПополняем арсенал тестировщика. Учимся применять новые техники
Пополняем арсенал тестировщика. Учимся применять новые техники
 
Метрики автоматизированного тестирования на пальцах
Метрики автоматизированного тестирования на пальцахМетрики автоматизированного тестирования на пальцах
Метрики автоматизированного тестирования на пальцах
 
Управление конфигурациями и артефакты тестирования
Управление конфигурациями и артефакты тестированияУправление конфигурациями и артефакты тестирования
Управление конфигурациями и артефакты тестирования
 
доклад на SQADays 2011 в Казани
доклад на SQADays  2011 в Казанидоклад на SQADays  2011 в Казани
доклад на SQADays 2011 в Казани
 
Процесс тестирования. Измерение и оценка
Процесс тестирования. Измерение и оценкаПроцесс тестирования. Измерение и оценка
Процесс тестирования. Измерение и оценка
 
ACC - конструируем тест-план методом Google
ACC - конструируем тест-план методом GoogleACC - конструируем тест-план методом Google
ACC - конструируем тест-план методом Google
 
Технический долг: взгляд и действия со стороны QA / QC&AT
Технический долг: взгляд и действия со стороны QA / QC&ATТехнический долг: взгляд и действия со стороны QA / QC&AT
Технический долг: взгляд и действия со стороны QA / QC&AT
 
Практические аспекты организации процесса тестирования в государственных учре...
Практические аспекты организации процесса тестирования в государственных учре...Практические аспекты организации процесса тестирования в государственных учре...
Практические аспекты организации процесса тестирования в государственных учре...
 
02ka-nov
02ka-nov02ka-nov
02ka-nov
 
Badger — инструмент для мониторинга качества продуктов
Badger — инструмент для мониторинга качества продуктовBadger — инструмент для мониторинга качества продуктов
Badger — инструмент для мониторинга качества продуктов
 
Crystal Agile, или как мы приспособили процесс разработки для обеспечения мак...
Crystal Agile, или как мы приспособили процесс разработки для обеспечения мак...Crystal Agile, или как мы приспособили процесс разработки для обеспечения мак...
Crystal Agile, или как мы приспособили процесс разработки для обеспечения мак...
 
Роли, в которые играют тестировщики
Роли, в которые играют тестировщикиРоли, в которые играют тестировщики
Роли, в которые играют тестировщики
 
Практические аспекты организации процесса тестирования в государственных учре...
Практические аспекты организации процесса тестирования в государственных учре...Практические аспекты организации процесса тестирования в государственных учре...
Практические аспекты организации процесса тестирования в государственных учре...
 
Как заслужить доверие заказчика при передаче проекта новой команде тестирования?
Как заслужить доверие заказчика при передаче проекта новой команде тестирования?Как заслужить доверие заказчика при передаче проекта новой команде тестирования?
Как заслужить доверие заказчика при передаче проекта новой команде тестирования?
 
Mikhail Dovgiy "QA Process Establishing"
Mikhail Dovgiy "QA Process Establishing"Mikhail Dovgiy "QA Process Establishing"
Mikhail Dovgiy "QA Process Establishing"
 
Оценка методологии автоматизации - MBT
Оценка методологии автоматизации - MBTОценка методологии автоматизации - MBT
Оценка методологии автоматизации - MBT
 

Similar to QA Fest 2015. Владимир Скляр. Организация тестирования встроенных систем в компании "с нуля"

Организация тестирования встроенных систем в компании «с нуля»
Организация тестирования встроенных систем в компании «с нуля»Организация тестирования встроенных систем в компании «с нуля»
Организация тестирования встроенных систем в компании «с нуля»Vladimir Sklyar
 
Работа с требованиями при создании программного обеспечения бортовой радиоэле...
Работа с требованиями при создании программного обеспечения бортовой радиоэле...Работа с требованиями при создании программного обеспечения бортовой радиоэле...
Работа с требованиями при создании программного обеспечения бортовой радиоэле...Sergey Laletin
 
лекция безопасная разработка приложений
лекция  безопасная разработка приложенийлекция  безопасная разработка приложений
лекция безопасная разработка приложенийAlexander Kolybelnikov
 
Безопасная разработка приложений на практике
Безопасная разработка приложений на практикеБезопасная разработка приложений на практике
Безопасная разработка приложений на практикеPointlane
 
Алексей Лукацкий. SDLC – блажь, веяние моды или требование регуляторов?
Алексей Лукацкий. SDLC – блажь, веяние моды или требование регуляторов?Алексей Лукацкий. SDLC – блажь, веяние моды или требование регуляторов?
Алексей Лукацкий. SDLC – блажь, веяние моды или требование регуляторов?Positive Hack Days
 
алексей лукацкий
алексей лукацкийалексей лукацкий
алексей лукацкийPositive Hack Days
 
Маргарита Сафарова - Аудит процессов тестирования при смене проектной команды
Маргарита Сафарова - Аудит процессов тестирования при смене проектной командыМаргарита Сафарова - Аудит процессов тестирования при смене проектной команды
Маргарита Сафарова - Аудит процессов тестирования при смене проектной командыSQALab
 
QA Fes 2016. Анастасия Асеева. Роль тестирования в Devops
QA Fes 2016. Анастасия Асеева. Роль тестирования в DevopsQA Fes 2016. Анастасия Асеева. Роль тестирования в Devops
QA Fes 2016. Анастасия Асеева. Роль тестирования в DevopsQAFest
 
Cеминар в Виннице (22.03.2014)
Cеминар в Виннице (22.03.2014)Cеминар в Виннице (22.03.2014)
Cеминар в Виннице (22.03.2014)Alexander Babich
 
Автоматическая генерация C кода и тестирование на целевых вычислителях
Автоматическая генерация C кода и тестирование на целевых вычислителяхАвтоматическая генерация C кода и тестирование на целевых вычислителях
Автоматическая генерация C кода и тестирование на целевых вычислителяхMATLAB
 
Альфабанк: НТ в Облаке при Agile на примере интернет банка
Альфабанк: НТ в Облаке при Agile на примере интернет банкаАльфабанк: НТ в Облаке при Agile на примере интернет банка
Альфабанк: НТ в Облаке при Agile на примере интернет банкаSQALab
 
TMPA-2015: Standards and Standartization in Program Engineering. Why Would Yo...
TMPA-2015: Standards and Standartization in Program Engineering. Why Would Yo...TMPA-2015: Standards and Standartization in Program Engineering. Why Would Yo...
TMPA-2015: Standards and Standartization in Program Engineering. Why Would Yo...Iosif Itkin
 
Роль тестирования в сертификации ПО систем с высокими требованиями к надежнос...
Роль тестирования в сертификации ПО систем с высокими требованиями к надежнос...Роль тестирования в сертификации ПО систем с высокими требованиями к надежнос...
Роль тестирования в сертификации ПО систем с высокими требованиями к надежнос...SQALab
 
Функциональная верификация HDL-кода
Функциональная верификация HDL-кодаФункциональная верификация HDL-кода
Функциональная верификация HDL-кодаSQALab
 
Сделать безопасно и сертифицировано — ЗАО «ПМ» на DevCon 2015
Сделать безопасно и сертифицировано — ЗАО «ПМ» на DevCon 2015Сделать безопасно и сертифицировано — ЗАО «ПМ» на DevCon 2015
Сделать безопасно и сертифицировано — ЗАО «ПМ» на DevCon 2015Maxim Avdyunin
 
Решения для оптимизации работы приложений
Решения для оптимизации работы приложенийРешения для оптимизации работы приложений
Решения для оптимизации работы приложенийКРОК
 
Особенности внедрения KPI или как доказать, что Ваш «зеленый» проект реально ...
Особенности внедрения KPI или как доказать, что Ваш «зеленый» проект реально ...Особенности внедрения KPI или как доказать, что Ваш «зеленый» проект реально ...
Особенности внедрения KPI или как доказать, что Ваш «зеленый» проект реально ...CEE-SEC(R)
 
Внедрение тестирования в Scrum
Внедрение тестирования в ScrumВнедрение тестирования в Scrum
Внедрение тестирования в ScrumDenis Petelin
 
Внедрение тестирования в Scrum
Внедрение тестирования в ScrumВнедрение тестирования в Scrum
Внедрение тестирования в ScrumDenis Petelin
 

Similar to QA Fest 2015. Владимир Скляр. Организация тестирования встроенных систем в компании "с нуля" (20)

Организация тестирования встроенных систем в компании «с нуля»
Организация тестирования встроенных систем в компании «с нуля»Организация тестирования встроенных систем в компании «с нуля»
Организация тестирования встроенных систем в компании «с нуля»
 
Работа с требованиями при создании программного обеспечения бортовой радиоэле...
Работа с требованиями при создании программного обеспечения бортовой радиоэле...Работа с требованиями при создании программного обеспечения бортовой радиоэле...
Работа с требованиями при создании программного обеспечения бортовой радиоэле...
 
лекция безопасная разработка приложений
лекция  безопасная разработка приложенийлекция  безопасная разработка приложений
лекция безопасная разработка приложений
 
Безопасная разработка приложений на практике
Безопасная разработка приложений на практикеБезопасная разработка приложений на практике
Безопасная разработка приложений на практике
 
Алексей Лукацкий. SDLC – блажь, веяние моды или требование регуляторов?
Алексей Лукацкий. SDLC – блажь, веяние моды или требование регуляторов?Алексей Лукацкий. SDLC – блажь, веяние моды или требование регуляторов?
Алексей Лукацкий. SDLC – блажь, веяние моды или требование регуляторов?
 
алексей лукацкий
алексей лукацкийалексей лукацкий
алексей лукацкий
 
Маргарита Сафарова - Аудит процессов тестирования при смене проектной команды
Маргарита Сафарова - Аудит процессов тестирования при смене проектной командыМаргарита Сафарова - Аудит процессов тестирования при смене проектной команды
Маргарита Сафарова - Аудит процессов тестирования при смене проектной команды
 
QA Fes 2016. Анастасия Асеева. Роль тестирования в Devops
QA Fes 2016. Анастасия Асеева. Роль тестирования в DevopsQA Fes 2016. Анастасия Асеева. Роль тестирования в Devops
QA Fes 2016. Анастасия Асеева. Роль тестирования в Devops
 
QAFest. Роль тестирования в Devops
QAFest. Роль тестирования в DevopsQAFest. Роль тестирования в Devops
QAFest. Роль тестирования в Devops
 
Cеминар в Виннице (22.03.2014)
Cеминар в Виннице (22.03.2014)Cеминар в Виннице (22.03.2014)
Cеминар в Виннице (22.03.2014)
 
Автоматическая генерация C кода и тестирование на целевых вычислителях
Автоматическая генерация C кода и тестирование на целевых вычислителяхАвтоматическая генерация C кода и тестирование на целевых вычислителях
Автоматическая генерация C кода и тестирование на целевых вычислителях
 
Альфабанк: НТ в Облаке при Agile на примере интернет банка
Альфабанк: НТ в Облаке при Agile на примере интернет банкаАльфабанк: НТ в Облаке при Agile на примере интернет банка
Альфабанк: НТ в Облаке при Agile на примере интернет банка
 
TMPA-2015: Standards and Standartization in Program Engineering. Why Would Yo...
TMPA-2015: Standards and Standartization in Program Engineering. Why Would Yo...TMPA-2015: Standards and Standartization in Program Engineering. Why Would Yo...
TMPA-2015: Standards and Standartization in Program Engineering. Why Would Yo...
 
Роль тестирования в сертификации ПО систем с высокими требованиями к надежнос...
Роль тестирования в сертификации ПО систем с высокими требованиями к надежнос...Роль тестирования в сертификации ПО систем с высокими требованиями к надежнос...
Роль тестирования в сертификации ПО систем с высокими требованиями к надежнос...
 
Функциональная верификация HDL-кода
Функциональная верификация HDL-кодаФункциональная верификация HDL-кода
Функциональная верификация HDL-кода
 
Сделать безопасно и сертифицировано — ЗАО «ПМ» на DevCon 2015
Сделать безопасно и сертифицировано — ЗАО «ПМ» на DevCon 2015Сделать безопасно и сертифицировано — ЗАО «ПМ» на DevCon 2015
Сделать безопасно и сертифицировано — ЗАО «ПМ» на DevCon 2015
 
Решения для оптимизации работы приложений
Решения для оптимизации работы приложенийРешения для оптимизации работы приложений
Решения для оптимизации работы приложений
 
Особенности внедрения KPI или как доказать, что Ваш «зеленый» проект реально ...
Особенности внедрения KPI или как доказать, что Ваш «зеленый» проект реально ...Особенности внедрения KPI или как доказать, что Ваш «зеленый» проект реально ...
Особенности внедрения KPI или как доказать, что Ваш «зеленый» проект реально ...
 
Внедрение тестирования в Scrum
Внедрение тестирования в ScrumВнедрение тестирования в Scrum
Внедрение тестирования в Scrum
 
Внедрение тестирования в Scrum
Внедрение тестирования в ScrumВнедрение тестирования в Scrum
Внедрение тестирования в Scrum
 

More from QAFest

QA Fest 2019. Сергій Короленко. Топ веб вразливостей за 40 хвилин
QA Fest 2019. Сергій Короленко. Топ веб вразливостей за 40 хвилинQA Fest 2019. Сергій Короленко. Топ веб вразливостей за 40 хвилин
QA Fest 2019. Сергій Короленко. Топ веб вразливостей за 40 хвилинQAFest
 
QA Fest 2019. Анна Чернышова. Self-healing test automation 2.0. The Future
QA Fest 2019. Анна Чернышова. Self-healing test automation 2.0. The FutureQA Fest 2019. Анна Чернышова. Self-healing test automation 2.0. The Future
QA Fest 2019. Анна Чернышова. Self-healing test automation 2.0. The FutureQAFest
 
QA Fest 2019. Doug Sillars. It's just too Slow: Testing Mobile application pe...
QA Fest 2019. Doug Sillars. It's just too Slow: Testing Mobile application pe...QA Fest 2019. Doug Sillars. It's just too Slow: Testing Mobile application pe...
QA Fest 2019. Doug Sillars. It's just too Slow: Testing Mobile application pe...QAFest
 
QA Fest 2019. Катерина Спринсян. Параллельное покрытие автотестами и другие и...
QA Fest 2019. Катерина Спринсян. Параллельное покрытие автотестами и другие и...QA Fest 2019. Катерина Спринсян. Параллельное покрытие автотестами и другие и...
QA Fest 2019. Катерина Спринсян. Параллельное покрытие автотестами и другие и...QAFest
 
QA Fest 2019. Никита Галкин. Как зарабатывать больше
QA Fest 2019. Никита Галкин. Как зарабатывать большеQA Fest 2019. Никита Галкин. Как зарабатывать больше
QA Fest 2019. Никита Галкин. Как зарабатывать большеQAFest
 
QA Fest 2019. Сергей Пирогов. Why everything is spoiled
QA Fest 2019. Сергей Пирогов. Why everything is spoiledQA Fest 2019. Сергей Пирогов. Why everything is spoiled
QA Fest 2019. Сергей Пирогов. Why everything is spoiledQAFest
 
QA Fest 2019. Сергей Новик. Между мотивацией и выгоранием
QA Fest 2019. Сергей Новик. Между мотивацией и выгораниемQA Fest 2019. Сергей Новик. Между мотивацией и выгоранием
QA Fest 2019. Сергей Новик. Между мотивацией и выгораниемQAFest
 
QA Fest 2019. Владимир Никонов. Код Шредингера или зачем и как мы тестируем н...
QA Fest 2019. Владимир Никонов. Код Шредингера или зачем и как мы тестируем н...QA Fest 2019. Владимир Никонов. Код Шредингера или зачем и как мы тестируем н...
QA Fest 2019. Владимир Никонов. Код Шредингера или зачем и как мы тестируем н...QAFest
 
QA Fest 2019. Владимир Трандафилов. GUI automation of WEB application with SV...
QA Fest 2019. Владимир Трандафилов. GUI automation of WEB application with SV...QA Fest 2019. Владимир Трандафилов. GUI automation of WEB application with SV...
QA Fest 2019. Владимир Трандафилов. GUI automation of WEB application with SV...QAFest
 
QA Fest 2019. Иван Крутов. Bulletproof Selenium Cluster
QA Fest 2019. Иван Крутов. Bulletproof Selenium ClusterQA Fest 2019. Иван Крутов. Bulletproof Selenium Cluster
QA Fest 2019. Иван Крутов. Bulletproof Selenium ClusterQAFest
 
QA Fest 2019. Николай Мижигурский. Миссия /*не*/выполнима: гуманитарий собесе...
QA Fest 2019. Николай Мижигурский. Миссия /*не*/выполнима: гуманитарий собесе...QA Fest 2019. Николай Мижигурский. Миссия /*не*/выполнима: гуманитарий собесе...
QA Fest 2019. Николай Мижигурский. Миссия /*не*/выполнима: гуманитарий собесе...QAFest
 
QA Fest 2019. Володимир Стиран. Чим раніше – тим вигідніше, але ніколи не піз...
QA Fest 2019. Володимир Стиран. Чим раніше – тим вигідніше, але ніколи не піз...QA Fest 2019. Володимир Стиран. Чим раніше – тим вигідніше, але ніколи не піз...
QA Fest 2019. Володимир Стиран. Чим раніше – тим вигідніше, але ніколи не піз...QAFest
 
QA Fest 2019. Дмитрий Прокопук. Mocks and network tricks in UI automation
QA Fest 2019. Дмитрий Прокопук. Mocks and network tricks in UI automationQA Fest 2019. Дмитрий Прокопук. Mocks and network tricks in UI automation
QA Fest 2019. Дмитрий Прокопук. Mocks and network tricks in UI automationQAFest
 
QA Fest 2019. Екатерина Дядечко. Тестирование медицинского софта — вызовы и в...
QA Fest 2019. Екатерина Дядечко. Тестирование медицинского софта — вызовы и в...QA Fest 2019. Екатерина Дядечко. Тестирование медицинского софта — вызовы и в...
QA Fest 2019. Екатерина Дядечко. Тестирование медицинского софта — вызовы и в...QAFest
 
QA Fest 2019. Катерина Черникова. Tune your P’s: the pop-art of keeping testa...
QA Fest 2019. Катерина Черникова. Tune your P’s: the pop-art of keeping testa...QA Fest 2019. Катерина Черникова. Tune your P’s: the pop-art of keeping testa...
QA Fest 2019. Катерина Черникова. Tune your P’s: the pop-art of keeping testa...QAFest
 
QA Fest 2019. Алиса Бойко. Какнезапутаться в коммуникативных сетях IT
QA Fest 2019. Алиса Бойко. Какнезапутаться в коммуникативных сетях ITQA Fest 2019. Алиса Бойко. Какнезапутаться в коммуникативных сетях IT
QA Fest 2019. Алиса Бойко. Какнезапутаться в коммуникативных сетях ITQAFest
 
QA Fest 2019. Святослав Логин. Как найти уязвимости в мобильном приложении
QA Fest 2019. Святослав Логин. Как найти уязвимости в мобильном приложенииQA Fest 2019. Святослав Логин. Как найти уязвимости в мобильном приложении
QA Fest 2019. Святослав Логин. Как найти уязвимости в мобильном приложенииQAFest
 
QA Fest 2019. Катерина Шепелєва та Інна Оснач. Що українцям потрібно знати пр...
QA Fest 2019. Катерина Шепелєва та Інна Оснач. Що українцям потрібно знати пр...QA Fest 2019. Катерина Шепелєва та Інна Оснач. Що українцям потрібно знати пр...
QA Fest 2019. Катерина Шепелєва та Інна Оснач. Що українцям потрібно знати пр...QAFest
 
QA Fest 2019. Антон Серпутько. Нагрузочное тестирование распределенных асинхр...
QA Fest 2019. Антон Серпутько. Нагрузочное тестирование распределенных асинхр...QA Fest 2019. Антон Серпутько. Нагрузочное тестирование распределенных асинхр...
QA Fest 2019. Антон Серпутько. Нагрузочное тестирование распределенных асинхр...QAFest
 
QA Fest 2019. Петр Тарасенко. QA Hackathon - The Cookbook 22
QA Fest 2019. Петр Тарасенко. QA Hackathon - The Cookbook 22QA Fest 2019. Петр Тарасенко. QA Hackathon - The Cookbook 22
QA Fest 2019. Петр Тарасенко. QA Hackathon - The Cookbook 22QAFest
 

More from QAFest (20)

QA Fest 2019. Сергій Короленко. Топ веб вразливостей за 40 хвилин
QA Fest 2019. Сергій Короленко. Топ веб вразливостей за 40 хвилинQA Fest 2019. Сергій Короленко. Топ веб вразливостей за 40 хвилин
QA Fest 2019. Сергій Короленко. Топ веб вразливостей за 40 хвилин
 
QA Fest 2019. Анна Чернышова. Self-healing test automation 2.0. The Future
QA Fest 2019. Анна Чернышова. Self-healing test automation 2.0. The FutureQA Fest 2019. Анна Чернышова. Self-healing test automation 2.0. The Future
QA Fest 2019. Анна Чернышова. Self-healing test automation 2.0. The Future
 
QA Fest 2019. Doug Sillars. It's just too Slow: Testing Mobile application pe...
QA Fest 2019. Doug Sillars. It's just too Slow: Testing Mobile application pe...QA Fest 2019. Doug Sillars. It's just too Slow: Testing Mobile application pe...
QA Fest 2019. Doug Sillars. It's just too Slow: Testing Mobile application pe...
 
QA Fest 2019. Катерина Спринсян. Параллельное покрытие автотестами и другие и...
QA Fest 2019. Катерина Спринсян. Параллельное покрытие автотестами и другие и...QA Fest 2019. Катерина Спринсян. Параллельное покрытие автотестами и другие и...
QA Fest 2019. Катерина Спринсян. Параллельное покрытие автотестами и другие и...
 
QA Fest 2019. Никита Галкин. Как зарабатывать больше
QA Fest 2019. Никита Галкин. Как зарабатывать большеQA Fest 2019. Никита Галкин. Как зарабатывать больше
QA Fest 2019. Никита Галкин. Как зарабатывать больше
 
QA Fest 2019. Сергей Пирогов. Why everything is spoiled
QA Fest 2019. Сергей Пирогов. Why everything is spoiledQA Fest 2019. Сергей Пирогов. Why everything is spoiled
QA Fest 2019. Сергей Пирогов. Why everything is spoiled
 
QA Fest 2019. Сергей Новик. Между мотивацией и выгоранием
QA Fest 2019. Сергей Новик. Между мотивацией и выгораниемQA Fest 2019. Сергей Новик. Между мотивацией и выгоранием
QA Fest 2019. Сергей Новик. Между мотивацией и выгоранием
 
QA Fest 2019. Владимир Никонов. Код Шредингера или зачем и как мы тестируем н...
QA Fest 2019. Владимир Никонов. Код Шредингера или зачем и как мы тестируем н...QA Fest 2019. Владимир Никонов. Код Шредингера или зачем и как мы тестируем н...
QA Fest 2019. Владимир Никонов. Код Шредингера или зачем и как мы тестируем н...
 
QA Fest 2019. Владимир Трандафилов. GUI automation of WEB application with SV...
QA Fest 2019. Владимир Трандафилов. GUI automation of WEB application with SV...QA Fest 2019. Владимир Трандафилов. GUI automation of WEB application with SV...
QA Fest 2019. Владимир Трандафилов. GUI automation of WEB application with SV...
 
QA Fest 2019. Иван Крутов. Bulletproof Selenium Cluster
QA Fest 2019. Иван Крутов. Bulletproof Selenium ClusterQA Fest 2019. Иван Крутов. Bulletproof Selenium Cluster
QA Fest 2019. Иван Крутов. Bulletproof Selenium Cluster
 
QA Fest 2019. Николай Мижигурский. Миссия /*не*/выполнима: гуманитарий собесе...
QA Fest 2019. Николай Мижигурский. Миссия /*не*/выполнима: гуманитарий собесе...QA Fest 2019. Николай Мижигурский. Миссия /*не*/выполнима: гуманитарий собесе...
QA Fest 2019. Николай Мижигурский. Миссия /*не*/выполнима: гуманитарий собесе...
 
QA Fest 2019. Володимир Стиран. Чим раніше – тим вигідніше, але ніколи не піз...
QA Fest 2019. Володимир Стиран. Чим раніше – тим вигідніше, але ніколи не піз...QA Fest 2019. Володимир Стиран. Чим раніше – тим вигідніше, але ніколи не піз...
QA Fest 2019. Володимир Стиран. Чим раніше – тим вигідніше, але ніколи не піз...
 
QA Fest 2019. Дмитрий Прокопук. Mocks and network tricks in UI automation
QA Fest 2019. Дмитрий Прокопук. Mocks and network tricks in UI automationQA Fest 2019. Дмитрий Прокопук. Mocks and network tricks in UI automation
QA Fest 2019. Дмитрий Прокопук. Mocks and network tricks in UI automation
 
QA Fest 2019. Екатерина Дядечко. Тестирование медицинского софта — вызовы и в...
QA Fest 2019. Екатерина Дядечко. Тестирование медицинского софта — вызовы и в...QA Fest 2019. Екатерина Дядечко. Тестирование медицинского софта — вызовы и в...
QA Fest 2019. Екатерина Дядечко. Тестирование медицинского софта — вызовы и в...
 
QA Fest 2019. Катерина Черникова. Tune your P’s: the pop-art of keeping testa...
QA Fest 2019. Катерина Черникова. Tune your P’s: the pop-art of keeping testa...QA Fest 2019. Катерина Черникова. Tune your P’s: the pop-art of keeping testa...
QA Fest 2019. Катерина Черникова. Tune your P’s: the pop-art of keeping testa...
 
QA Fest 2019. Алиса Бойко. Какнезапутаться в коммуникативных сетях IT
QA Fest 2019. Алиса Бойко. Какнезапутаться в коммуникативных сетях ITQA Fest 2019. Алиса Бойко. Какнезапутаться в коммуникативных сетях IT
QA Fest 2019. Алиса Бойко. Какнезапутаться в коммуникативных сетях IT
 
QA Fest 2019. Святослав Логин. Как найти уязвимости в мобильном приложении
QA Fest 2019. Святослав Логин. Как найти уязвимости в мобильном приложенииQA Fest 2019. Святослав Логин. Как найти уязвимости в мобильном приложении
QA Fest 2019. Святослав Логин. Как найти уязвимости в мобильном приложении
 
QA Fest 2019. Катерина Шепелєва та Інна Оснач. Що українцям потрібно знати пр...
QA Fest 2019. Катерина Шепелєва та Інна Оснач. Що українцям потрібно знати пр...QA Fest 2019. Катерина Шепелєва та Інна Оснач. Що українцям потрібно знати пр...
QA Fest 2019. Катерина Шепелєва та Інна Оснач. Що українцям потрібно знати пр...
 
QA Fest 2019. Антон Серпутько. Нагрузочное тестирование распределенных асинхр...
QA Fest 2019. Антон Серпутько. Нагрузочное тестирование распределенных асинхр...QA Fest 2019. Антон Серпутько. Нагрузочное тестирование распределенных асинхр...
QA Fest 2019. Антон Серпутько. Нагрузочное тестирование распределенных асинхр...
 
QA Fest 2019. Петр Тарасенко. QA Hackathon - The Cookbook 22
QA Fest 2019. Петр Тарасенко. QA Hackathon - The Cookbook 22QA Fest 2019. Петр Тарасенко. QA Hackathon - The Cookbook 22
QA Fest 2019. Петр Тарасенко. QA Hackathon - The Cookbook 22
 

QA Fest 2015. Владимир Скляр. Организация тестирования встроенных систем в компании "с нуля"

  • 1. Организация тестирования встроенных систем в компании «с нуля» Владимир Скляр Радий (Кировоград, Украина) QA Fest, October 31, 2015, Kyiv, Ukraine 1
  • 3. • Технический директор с 2011 http://www.radiy.com/ • Области экспертизы: QA, PM, R&D, BA, Business Development, преподавание • EU Tempus (Horizon2020) – 7 проектов с 2006 3 О себе • Контроллер RadICS на базе ПЛИС (FPGA) – PM в проекте по разработке и сертификации
  • 4. • Компания Радий: вклад в безопасность атомных электростанций • Отличие индустрии встроенных систем безопасности от ИТ • Команда тестирования «с нуля»: история успеха • Методы тестирования встроенных систем на базе программируемых логических интегральных схем (ПЛИС, FPGA – Field Programmable Gates Array) • Выводы 4 Содержание QA Fest 2015 | October 31, 2015 | Kyiv, Ukraine
  • 5. Company Radiy Profile 5 QA Fest 2015 | October 31, 2015 | Kyiv, Ukraine
  • 6. Чем мы отличаемся от ИТ  Производим оборудование -> работает на АЭС в Украине, в Европе, в Америке  Уровень зарплат  -> нет привязки к $  Наличие производства –> специфика менеджмента  Подбор и мотивация персонала -> кооперация с университетами  Соответствие требованиям стандартов по безопасности -> независимая оценка (лицензирование, сертификация)  V-shape Life Cycle  QA = Verification and Validation: Docs Review, Reliability Analysis (FMEDA), Static Code Analysis, Unit and Integration testing (code), Fault Insertion Testing, Validation, Requirements Tracing, Environmental Equipment Qualification 6 QA Fest 2015 | October 31, 2015 | Kyiv, Ukraine
  • 7. IT stack used at Radiy VHLD for CPLD/FPGA (Altera Quartus II) Assembler and C for CPU C++/C# (MS Visual Studio) for HMI Testing (Mentor Graphic ModelSim, NI LabView) PCB (Altium Designer, P-CAD) Electrical, cables, mechanical design (COMPASS) 7 QA Fest 2015 | October 31, 2015 | Kyiv, Ukraine
  • 8. Life cycle and test coverage 8 QA Fest 2015 | October 31, 2015 | Kyiv, Ukraine Technical Specification Architecture Design (HW) HW Design FMEDA Report Validation TP&S Validation TR Integration TP&S Integration TR Fault Insertion TP&S Fault Insertion TR Detailed Design Units Modules VHDL code Functional TP&S Functional TR Logic Level Simulation & Timing Simulation TR Static Timing Analysis TR Static Code Analysis Report
  • 9. Команда тестирования «с нуля»: история успеха На начальном этапе – отсутствие QA для кода, тестирование выполнялось лишь для интегрированной системы Основная мотивация внедрения QA – соответствие требованиям стандартов для получения сертификатов и лицензий Нужна была мультидисциплинарная команда по направлениям: тестирование кода VHDL, тестирование схемотехники, тестирование интегрированных систем на базе ПЛК Существенным моментом было обязательное оформление объемной англоязычной тестовой документации Один из критериев успешности тестирования: документированное 100% тестовое покрытие по «правильным» критериям Команда тестирования была создана с привлечением преподавателей и студентов Полтавского НТУ (каф. компьютерной инженерии) – spin off После внедрения QA признано подтверждение качества продуктов 9 QA Fest 2015 | October 31, 2015 | Kyiv, Ukraine
  • 10. Static Code Analysis and Code Review Tools Aldec ALINT Mentor Graphics HDL Designer TrigProc: process (R, S) is-- Violation, asynchronous combination logic begin if R = ‘1’ then Q <= ‘0’; elsif S = ‘1’ then Q <= ‘1’; end if; end process TrigProc; Q$latch Q R S 10 QA Fest 2015 | October 31, 2015 | Kyiv, Ukraine 10
  • 11. Functional Testing of VHDL Tools Vendor Name Aldec Active-HDL, Riviera-PRO Mentor Graphics ModelSim, Questa Сadence Incisive Enterprise Simulator/Verifier Synopsys VCS и Verdi3 11 QA Fest 2015 | October 31, 2015 | Kyiv, Ukraine
  • 12. Logic Level Simulation, Timing Simulation Tools The same as for FT 12 QA Fest 2015 | October 31, 2015 | Kyiv, Ukraine 12
  • 13. Static Timing Analysis Независимые разработчики Vendor Name Microsemi SmartTime Xilinx Vivado Static Timing Analysis Altera TimeQuest Timing Analyzer Cadence TempusTiming Signoff Solution Synopsys PrimeTime Suite Tools 13 QA Fest 2015 | October 31, 2015 | Kyiv, Ukraine 13
  • 14. QA Fest 2015 | October 31, 2015 | Kyiv, Ukraine 14 Fault Insertion Testing
  • 15. 15 Validation testing: NI PXI controller with LabView QA Fest 2015 | October 31, 2015 | Kyiv, Ukraine
  • 16. Table 2/A.15 Systematic Failures in HW Design IEC 61508 Ref. Requirement Compliance Argument: Reference/Comment FS Assessor's Evaluation Action Alert to Client 2/A.15-1 7/A.9 Program sequence monitoring (HR/medium) ▼Temporal or logical monitoring of the program sequence ▲Temporal and logical monitoring of the program sequence at very many checking points in the program ▲See PAD (D5.1) Figure 2-4. This shows the separate clock used for the logic in the FGPA doing sequence monitoring. Each time a function block receives data, it decodes the CRC+data which includes a "numerator". This numerator acts like a pass counter, and so allows every FB execution to detect stale data. A stale data signal can come from a FB that did not get executed the last time, a failure to update data, or a failure within the logic updating the numerator or in the logic checking for it. [] The FPGA runs a sequence periodically which consists of reading inputs, performing logic, writing to outputs, and updating communications. Each time one of these items in the sequence is executed, a unique code is sent to the watchdog. The watch dog looks for this code in the correct sequence and resets if the code is not received in the correct sequence or is delayed significantly. [] CLOSED ACTION(01- 01) Radiy to check this claim in col.D- --2/A.15-1. Standards compliance testing: Safety Case approach
  • 17. Выводы Наличие в компании ИТ сегмента и производственного сегмента требуют двух принципиально разных стилей менеджмента – это остается одним из наших барьеров Captain Obvious: самое главное – это человеческий фактор Отрасль Embedded Safety Systems заимствует у IT Industry многие подходы к РМ; что может позаимствовать IT Industry? Компоненты методологии: системный анализ, управление требованиями и трассировка требований, поэтапное тестирование, тестовая документация 17 QA Fest 2015 | October 31, 2015 | Kyiv, Ukraine
  • 18. Thank you for your attention! Research & Production Corporation Radiy 29, Geroyiv Stalingrada Street, Kirovograd 25009, Ukraine e-mail: v.sklyar@radiy.com; vvsklyar14@gmail.com; vvsklyar@ukr.net http://www.radiy.com 18

Editor's Notes

  1. Записываем ожидания участников