Preview

Труды Института системного программирования РАН

Расширенный поиск

Тесты на константные неисправности как веб-сервис

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



Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 2079-8156 (Print)
ISSN 2220-6426 (Online)