Affordable Access

deepdyve-link
Publisher Website

Methods of Synthesis of Controlled Random Tests

Authors
  • Mrozek, Ireneusz
  • Yarmolik, Vyacheslav
Publication Date
Sep 14, 2016
Identifiers
DOI: 10.1007/978-3-319-45378-1_38
OAI: oai:HAL:hal-01637455v1
Source
HAL-SHS
Keywords
Language
English
License
Unknown
External links

Abstract

Controlled random tests, methods of their generation, main criteria used for their synthesis, such as the Hamming distance and the Euclidean distance, as well as their application to the testing of both hardware and software systems are discussed. Available evidences suggest that high computational complexity is one of the main drawbacks of these methods. Therefore we propose a technique to overcome this problem. A method for synthesizing multiple controlled random tests based on the use of the initial random test and addition operation has been proposed. The resulting multiple tests can be interpreted as a single controlled random test. The complexity of its construction is significantly lower than the complexity of the construction of classical random tests. Examples of generated tests as well as estimates of their effectiveness compared to other solutions have been presented in experimental studies.

Report this publication

Statistics

Seen <100 times