Specification Based Conformance Testing for Email Protocols

Pakulin, Nikolay; Tugaenko, A. N.

doi:10.1007/978-3-642-16561-0_35

Cited by 3 publications

(4 citation statements)

References 2 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…In works [13], [14] the method for automated testing of e-mail protocols was presented. That method uses Java specification extension JavaTESK [15].…”

Section: Previous Workmentioning

confidence: 99%

“…That method uses Java specification extension JavaTESK [15]. We used that method to develop test suites for basic functionality of implementations of mail protocols SMTP, POP3 and IMAP4 [14]. Developed test suites were applied to implementations and detected a number of noncompliances in well-known open-source mail servers.…”

Section: Previous Workmentioning

confidence: 99%

“…For basic specification we used the requirements catalogue from the previous works [14]. Also we made new requirements catalogues for two extensions: the AUTH extension [20] and the DSN [19] extension which cover two types of extensions (new functionality and altering basic functionality).…”

Section: B Test Suite Development For Smtp Protocol Implementations mentioning

confidence: 99%

See 2 more Smart Citations

Model Based Conformance Testing for Extensible Internet Protocols

Pakulin¹,

Tugaenko²

2011

Proceedings of the Spring/Summer Young Researchers' Colloquium on Software Engineering

Self Cite

View full text Add to dashboard Cite

Abstract-Many contemporary Internet protocols are extensible. Extensions may introduce new functionality, alter the format of protocol messages, affect basic functionality or even modify the protocol modus operandi. Model based testing of extensible protocols faces a number of problems, the most challenging one is that extensions altering basic functionality require changes in the protocol model. It is highly desirable to have a flexible protocol's model which would let test developers to extend the model without rewriting existing parts of the model. The article presents the method for model based conformance testing for extensible Internet protocols which satisfies this requirement. Each extension is specified in a separate unit, the method presents facility to combine those units into entire model for testing the protocol's implementations. The method uses Java language to formalize the requirements. As an example of the method application article presents test suite development for a number of SMTP extensions.

show abstract

“…In works [13], [14] the method for automated testing of e-mail protocols was presented. That method uses Java specification extension JavaTESK [15].…”

Section: Previous Workmentioning

confidence: 99%

Section: Previous Workmentioning

confidence: 99%

See 1 more Smart Citation

Model Based Conformance Testing for Extensible Internet Protocols

Pakulin¹,

Tugaenko²

2011

Proceedings of the Spring/Summer Young Researchers' Colloquium on Software Engineering

Self Cite

View full text Add to dashboard Cite

show abstract

“…Estos protocolos transportan los mensajes a través del MTS (Sistema de Transportación de Mensaje) -subsistema del MHS-y permiten la interacción con el usuario a través del UA (Agentes de Usuario) [7]. Una característica importante del SMTP es que cada servidor físico podría operar tanto como cliente o como servidor SMTP; al ser un servidor, acepta un correo electrónico entrante y se convierte en un cliente para reenviarlo [11].…”

Section: Introductionunclassified

Ernest: sistema embebido para control de casas inteligentes mediante correos electrónicos con cifrado SSL

Arellano¹,

Delgado²,

Durán³

et al. 2018

RCS

View full text Add to dashboard Cite

El funcionamiento de los servicios de domótica o servicios orientados a las SmartHouse dio pie a la aparición de Ernest, aplicación orientada a transformar una vivienda o construcción con acceso a internet y a electricidad en una casa inteligente. Ernest hace uso de los servicios de correo electrónico sin necesidad de tener un contrato con una empresa que permita conectarse a la nube. La implementación de un circuito electrónico lleva a cabo esta tarea; en este artículo se incursiona en la arquitectura de este circuito que integra el Internet de las cosas y habilita o deshabilita cuatro tomacorrientes. Se presentan también el desarrollo de tres algoritmos que permitan acceder y usar los correos electrónicos para establecer comunicación usuario-tarjeta y viceversa, con la finalidad de controlar o informar del estado en que se encuentran sus tomacorrientes, así como filtrar los e-mails recibidos. Estos algoritmos permiten que el sistema embebido se conecte a internet haciendo uso del protocolo de seguridad SSL y agilicen la lectura de los nuevos correos electrónicos en la bandeja de entrada y, en caso de ser necesario, el envío de los estados de los tomacorrientes.

show abstract

Conformance theory development: semantics, formal models, algorithms

Burdonov

Kosachev²

2014

Proceedings of ISP RAS

View full text Add to dashboard Cite

Развитие теории конформности: семантики, формальные модели, алгоритмы Игорь Бурдонов , Александр Косачев kos@ispras.ru Аннотация. Статья посвящена теоретическим и практическим работам по тестированию конформности (conformance testing), которые выполнялись в ИСП РАН c 1994-го года и по настоящее время. Развитие теории конформности шло по нескольким направлением и в целом носило характер обобщения используемых семантик взаимодействия, моделей и конформностей. Необходимость такого обобщения диктовалась, прежде всего, требованиями практического тестирования. Это касается таких свойств систем как недетерминизм, частичная определённость, асинхронность, разнообразие тестовых воздействий и наблюдений над поведением реализации и т.п. При этом в центре внимания всегда находилась эффективность тестирования, определяемая как оптимизацией тестовых наборов, так и алгоритмами генерации тестов, в том числе on-fly. Мы рассматриваем основные вехи этого пути в кратком и неформальном обсуждении, уделяя внимание не деталям, а основным проблемам и способам их решения, пытаясь выявить общую тенденцию развития. Ключевые слова: Семантика взаимодействия, конечные автоматы, LTS, IOLTS, трассы, конформность, приоритеты, симуляция, редукция, генерация тестов, оптимизация тестирования, пополнение спецификаций, композиция систем, медиаторы, моделирование, реализация, спецификация, безопасное тестирование, исследование графов, обход графа, параллельное тестирование.Abstract. The paper covers theoretical and practical works on conformance testing performed in ISP RAS since 1994 till now. The conformance theory development was done in various directions and, in the whole, was characterized by generalization of the interaction semantics, models and conformances in use. The necessity of such generalization was imposed, first of all, by requirements of testing practice. It is true for such system properties as nondeterminism, partial specified, asynchronous behavior, diversity of test stimuli and observations of the implementation behavior etc. It was always focused on testing effectiveness defined both by optimization of tests suites and by test generation algorithms including on-the-fly. We consider the main milestones on this way in a brief and informal discussion, paying attention not to details, but to the main problems and their solutions trying to reveal the common tendency of the development.

show abstract

Specification Based Conformance Testing for Email Protocols

Cited by 3 publications

References 2 publications

Model Based Conformance Testing for Extensible Internet Protocols

Model Based Conformance Testing for Extensible Internet Protocols

Ernest: sistema embebido para control de casas inteligentes mediante correos electrónicos con cifrado SSL

Conformance theory development: semantics, formal models, algorithms

Contact Info

Product

Resources

About