Skip to Main content Skip to Navigation
Conference papers

Methods of Synthesis of Controlled Random Tests

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.
Complete list of metadata

Cited literature [21 references]  Display  Hide  Download

https://hal.inria.fr/hal-01637455
Contributor : Hal Ifip <>
Submitted on : Friday, November 17, 2017 - 3:43:09 PM
Last modification on : Saturday, November 18, 2017 - 1:16:35 AM
Long-term archiving on: : Sunday, February 18, 2018 - 2:30:28 PM

File

419526_1_En_38_Chapter.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Collections

Citation

Ireneusz Mrozek, Vyacheslav Yarmolik. Methods of Synthesis of Controlled Random Tests. 15th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Sep 2016, Vilnius, Lithuania. pp.429-440, ⟨10.1007/978-3-319-45378-1_38⟩. ⟨hal-01637455⟩

Share

Metrics

Record views

156

Files downloads

172