Тип работы:
Предмет:
Язык работы:


Разработка метода тестирования электронных устройств с пользовательским интерфейсом

Работа №118472

Тип работы

Магистерская диссертация

Предмет

электротехника

Объем работы88
Год сдачи2018
Стоимость4850 руб.
ПУБЛИКУЕТСЯ ВПЕРВЫЕ
Просмотрено
12
Не подходит работа?

Узнай цену на написание


Введение 4
1. Аппарат для тестирования программ полупроводниковых цепей и
текущие проблемы тестирования 7
1.1 Что такое тест-кейс? 11
1.2 Зачем нужны тест-кейсы? 11
1.2.1 Атрибуты тест-кейса 11
1.2.2 Важные пункты тест-кейса 12
1.2.3 Нежелательные элементы тест-кейса 12
2. Системы отслеживания неисправностей и ошибок программного
обеспечения 14
3. Жизненный цикл ошибки в системе отслеживания неисправностей и
ошибок программного обеспечения 16
4. Критерии и обзор существующих систем отслеживания
неисправностей и ошибок программного обеспечения 18
5. Эффективные системы отслеживания ошибок 24
5.1 Ориентация на инструменты 25
5.2 Ориентация на информацию 25
5.3 Ориентация на процесс 25
5.4 Ориентация на пользователя 26
5.5 Вопросы в отчете об ошибке 26
6. Особенности тестирования управляющих систем 28
7. Как же происходит процесс тестирования? 29
8. Исследование тестирования программного обеспечения: достижения,
проблемы, цели 32
9. Поиск ошибок. Методы нахождения ошибок и причин
неработоспособности электронных устройств 60
10. Использование методов тестирования 79
Заключение 84
Список используемой литературы 85

В качестве одной из важнейших высокотехнологичных отраслей промышленности в настоящее время производство полупроводников сталкивается с множеством возможностей и проблем одновременно. Быстрый рост полупроводниковой промышленности приносит большие экономические выгоды. Между тем, жесткая конкуренция требует, чтобы полупроводниковая компания повышала производительность и эффективно использовала ресурсы.
Очень важно иметь возможность протестировать и отладить своё устройство до его запуска в массовое производство. При этом все найденные ошибки и неточности нужно правильно зарегистрировать и проследить за их жизненным циклом. Для этого нам нужны специальные системы, которые бы значительно упрощали работу с уже найденными ошибками.
В данной диссертации изучены и разработаны новые методики для диагностирования и нахождения неисправностей или ошибок программного кода в управляемых полупроводниковых устройствах.
Область исследования
Полупроводниковые управляемые устройства.
Объект исследования
Методы тестирования управляемых полупроводниковых устройств. Системы отслеживания неисправностей и ошибок программного обеспечения.
Предмет исследования
Нахождение местоположения неисправности и ошибок программного обеспечения в управляемых полупроводниковых устройствах. Регистрация и наблюдение за ошибкой или неисправностью в разработанной системе отслеживания ошибок программного обеспечения.
Цель исследования
Разработка методов нахождения местоположения неисправности в управляемых полупроводниковых устройствах. Разработка системы отслеживания ошибок программного обеспечения.
Задачи исследования:
1. Анализ типовых проблем в управляемых полупроводниковых устройствах;
2. Разработка и исследование методологических рекомендаций по выявлению местоположения неисправностей или ошибок работы программного обеспечения в управляемых полупроводниковых устройствах;
3. Разработка и исследование систем для отслеживания неисправностей и ошибок программного обеспечения в управляемых полупроводниковых устройствах.
Методы исследования
Изучение и анализ текущих достижений в заданной области. Поиск возможных улучшений.
Научная новизна
Были разработаны и предложены новые методы анализа и тестирования управляемых полупроводниковых устройств. Составлены четкие требования, которым должна соответствовать система для отслеживания неисправностей и ошибок программного обеспечения в управляемых полупроводниковых устройствах.
Практическая значимость
Новые методы анализа и тестирования управляемых полупроводниковых устройств могут существенно упростить работу по отладке и ремонта полупроводниковых устройств. Занесение всех найденных проблем в систему отслеживания значительно улучшит продуктивность работы.
Апробация работы
Две публикации в сборнике научно-практической конференции «Студенческие Дни науки в ТГУ»


Возникли сложности?

Нужна помощь преподавателя?

Помощь в написании работ!


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


1. A. Bertolino. Software Testing Research: Achievements, Challenges, Dreams / Antonia Bertolino - Istituto di Scienza e Tecnologiedell’Informazione “A. Faedo”, 2007. - 200с
2. L. Baresi. Test oracles /L. Baresi, M. Young - Dept. of Comp. and Information Science, Univ. of Oregon, 2001. - 164с.
3. E. Bayse. A passive testing approach based on invariants: application to the wap. Computer Networks / E. Bayse, A. R. Cavalli. 2005. - 245с.
4. Beizer. Software Testing Techniques (2nd ed.) / B. Beizer - Van Nostrand Reinhold Co. 1990. - 366с.
5. Belinfante. Tools for test case generation / A. Belinfante, L. Frantzen, and C. Schallhart. 2006. - 103с.
6. S. Berner. Observations and lessons learned from automated testing / G. Bernot, M. C. Gaudeln B. Marre - Proc. 27th Int. Conf, on Sw. Eng. 2005. - 579с.
7. G. Bernot. Software testing based on formal specifications: a theory and a tool / G. Bernot, M. C. Gaudeln B. Marre - Softw. Eng. J., 6(6). 1991. - 405с.
8. A. Bertolino. ISSTA 2002 Panel: is ISSTA research relevant to industrial users? / A. Bertolino -Proc. ACM/SIGSOFT Int. Symp. on Software Testing and Analysis. 2002. - 202с.
9. A. Bertolino. Software testing / A. Bertolinon E. Marchetti - Guide to the Software Engineering Body of Knowledge SWEBOK. 2004. - 168с.
10. A. Bertolino. Introducing a reasonably complete and coherent approach for modelbased testing / A. Bertolino, E. Marchettin H. Muccini - Electr. Notes Theor. Comput. 2005. - 256с.
11. A. Bertolino. The audition framework for testing web services interoperability / A. Bertolinon A. Polini - Proc. EUROMICRO. 2005. - 103с.
12. A. Bertolino. Towards anti-model-based testing / A. Bertolino, A. Polini, P. Inverardin H. Muccini - Proc. DSN 2004 (Ext. abstract). 2004. - 165с.
13. S. Biffl. Value-Based Software Engineering / S. Biffl, A. Aurum, B. Boehm, H. Erdogmus, n P. Gruenbacher - Springer-Verlag, Heidelberg, Germany. 2006. - 196с.
14. R. V. Binder. Testing Object-Oriented Systems Models, Patterns, and Tools / R. V. Binder - Addison Wesley Longman, Inc. 2000. - 189с.
15. C. Blundell. Assume-guarantee testing / C. Blundell, D. Giannakopoulou, n C. S. Pasareanu - Proc. SAVCBS ACM Press. 2005. - 278с.
16. G. V. Bochmann. Protocol testing: review of methods and relevance for software testing / G. V. Bochmannn A. Petrenko - ACM/SIGSOFT Int. Symp. Software Testing and Analysis. 1994. - 194с.
17. M. Boshernitsan. From Daikon to Agitator: lessons and challenges in building a commercial tool for developer testing / M. Boshernitsan, R. Doong, and A. Savoia - ACM/SIGSOFT Int. Symp. Software Testing and Analysis, ACM Press. 2006. - 213с.
18. L. Briand. An investigation of graph-based class integration test order strategies / L. Briand, Y. Labiche, n Y. Wang - IEEE Trans. Softw. Eng. 2003. 607с.
19. L. Briand. Future of Software Engineering / L. Briand и A. Wolf - IEEE- CS Press. 2007. - 360с.
20. L. C. Briand. Automated, contract-based user testing of commercial-off- theshelf components / L. C. Briand, Y. Labicheu M. M. Sowka - 28th Int. Conf, on Sw. Eng., ACM Press. 2006. - 103с.
21. M. Broy. Model-Based Testing of Reactive Systems / M. Broy, B. Jonsson, J.-P. Katoen, M. Leuckeru A. Pretschner - Springer Verlag. 2005. - 263с.
22. G. Canfora. Testing services and servicecentric systems: Challenges and opportunities / G. Canfora и M. Di Penta - IT Professional. 2006. - 436с.
23. N. Delgado. A taxonomy and catalog of runtime software-fault monitoring tools / N. Delgado, A. Q. Gates и S. Roach - IEEE Trans. Softw. 2004. - 124с.
24. S. Elbaum. Supporting controlled experimentation with testing techniques: An infrastructure and its potential impact / S. Elbaumи G. Rothermel- EmpiricalSoftw. Eng. 2005. - 435с.
25. S. Elbaum. Carving differential unit test cases from system test cases / S. Elbaum, H. N. Chin, M. B. Dwyer и J. Dokulil - 14th ACM/SIGSOFT Int. Symp. on Foundations of SwEng. 2006. - 264с.
26. S. Elbaum. Profiling deployed software: Assessing strategies and testing opportunities / S. Elbaumи M. Diep - IEEE Trans. Softw. Eng. 2005. - 265с.
27. P. Frankl. Provable improvements on branch testing / P. Frankl и E. Weyuker - IEEE Trans. Softw. Eng. 1993. - 975с.
28. L. Frantzen. Towards modelbased testing of web services / L. Frantzen, J. Tretmansи R. d. Vries - Int. Workshop on Web Services. 2006. - 82с.
29. L. Frantzen. A symbolic framework for model-based testing / L. Frantzen, J. Tretmansu T. Willemse - FATES/RV, LNCS 4262. 2006. - 236с.
30. M. Gaudel. Formal methods and testing: Hypotheses, and correctness approximations / M. Gaudel - FM 2005, LNCS 3582, Springer-Verlag. 2005. - 175с.
31. ГОСТ 2.701-84. Единая система конструкторской документации. Схемы виды и типы. Общие требования к выполнению. - Введ. 1985¬07-01. - М.: Госстандарт СССР: Изд-во стандартов, 1984.- 11с.: ил.
32. ГОСТ 2.106-96. Единая система конструкторской документации. Текстовые документы. - Введ. 1997-07-01. - М.: Госстандарт РФ: Изд- во стандартов, 1996.- 39с.: ил.
33. ГОСТ 2.701-84. Единая система конструкторской документации. Правила выполнения схем.- Введ. 1985-07-01. - М.: Госстандарт СССР: Изд-во стандартов, 1994.- 11с.: ил.


Работу высылаем на протяжении 30 минут после оплаты.



Подобные работы


©2025 Cервис помощи студентам в выполнении работ