Multi-paradigm Models as Source for Automated Test Construction

Kuliamin, Victor V.

doi:10.1016/j.entcs.2004.12.002

Cited by 2 publications

References 42 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

Practical Approach to Specification and Conformance Testing of Distributed Network Applications

Kuliamin

Pakoulin

Petrenko

2005

Service Availability

Self Cite

View full text Add to dashboard Cite

Abstract. Standardization of infrastructure and services in distributed applications and frameworks requires ground methodological base. Design by Contract approach looks very promising as a candidate. It helps to obtain component-wise design, to separate concerns between developers accurately, and makes development of high quality complex systems a manageable process. Unfortunately, in its classic form it can hardly be applied to distributed network applications because of lack of adequate means to describe nondeterministic asynchronous events. We extend Design by Contract with capabilities to describe callbacks and asynchronous communication between components. The resulting method was used to specify distributed applications and to develop conformance test suites for them in automated manner. Specifications are developed in an extension of C language that makes them clear and useful for industrial developers and decreases greatly test construction effort. Practical results of numerous successful applications of the method are described. More information on the applications of the method can be found at the site of RedVerst group of ISP RAS [1].

show abstract

Practical Approach to Specification and Conformance Testing of Distributed Network Applications

Kuliamin

Pakoulin

Petrenko

2005

Service Availability

Self Cite

View full text Add to dashboard Cite

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

Multi-paradigm Models as Source for Automated Test Construction

Cited by 2 publications

References 42 publications

Practical Approach to Specification and Conformance Testing of Distributed Network Applications

Practical Approach to Specification and Conformance Testing of Distributed Network Applications

Conformance theory development: semantics, formal models, algorithms

Contact Info

Product

Resources

About