Тесты на константные неисправности как веб-сервис
https://doi.org/10.15514/ISPRAS-2018-30(1)-3
Аннотация
Об авторах
Н. А. ШаляпинаРоссия
634050, Россия, Томск, пр. Ленина, 36.
А. А. Зайцев
Россия
634050, Россия, Томск, пр. Ленина, 36.
С. В. Батрацкий
Россия
634050, Россия, Томск, пр. Ленина, 36.
М. Л. Громов
Россия
634050, Россия, Томск, пр. Ленина, 36.
Список литературы
1. Скобцов Ю.А., Скобцов В.Ю. Логическое моделирование и тестирование цифровых устройств. Донецк, ИПММ НАН Украины, ДонНТУ, 2005,436 с.
2. Закревский А.Д., Поттосин Ю.В., Черемисинова Л.Д. Fundamentals of logic design. Минск, Национальная академия наук Беларуси, 2006, 254 с.
3. Чернов А.В., Сергеева Е.А. Автокорреляционное тестирование цифровых комбинационных схем. Современные проблемы науки и образования, 2013, № 6
4. SOAP Version 1.2 Part 1: Messaging Framework (Second Edition). https://www.w3.org/TR/soap12/, 05.02.2018.
5. Wilde E., Pautasso C. REST: From Research to Practice. Springer Science & Business Media, 2011. 528 p.
6. Fielding R.T. Architectural Styles and the Design of Network-based Software Architectures. Chapter 5. http://www.ics.uci.edu/~fielding/pubs/dissertation/rest_arch_style.htm, 05.02.2018.
7. Harris D., Harris S. Digital Design and Computer Architecture. Morgan Kaufmann, 2012, 712 p.
8. Silva L.G. e, Silveira L.M. and Marques-Silva J.P. Algorithms for Solving Boolean Satisfiability in Combinational Circuits. In Proceedings of DATE’99, 1999, pp. 526-530.
9. Niklas Eén, Niklas Sörensson. The MiniSAT. http://minisat.se/Main.html, 16.10.2017.
10. ABC: A System for Sequential Synthesis and Verification. https://people.eecs.berkeley.edu/~alanmi/abc/, 16.10.2017.
11. FreeBSD Manual Pages. timeout. https://www.freebsd.org/cgi/man.cgi?query=timeout&sektion=1, 05.02.2018.
Рецензия
Для цитирования:
Шаляпина Н.А., Зайцев А.А., Батрацкий С.В., Громов М.Л. Тесты на константные неисправности как веб-сервис. Труды Института системного программирования РАН. 2018;30(1):41-54. https://doi.org/10.15514/ISPRAS-2018-30(1)-3
For citation:
Shalyapina N.A., Zaytsev A.A., Batratskiy S.V., Gromov M.L. Stuck-At-Faults Tester as a Web-Service. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2018;30(1):41-54. https://doi.org/10.15514/ISPRAS-2018-30(1)-3