dtЦифровая трансформацияDigital Transformation2522-96132524-2822Educational Establishment “Belarusian State University of Informatics and Radioelectronics”10.35596/1729-7648-2024-30-4-62-72dt-886Research ArticleТЕХНИЧЕСКИЕ НАУКИTECHNICAL SCIENCESПостроение управляемых вероятностных тестов с заданным расстоянием ХэммингаDesign of Controlled Random Tests with the Given Hamming DistanceЯрмоликВ. Н.YarmolikV. N.

Ярмолик В. Н., д-р техн. наук, проф., проф. каф.программного обеспечения информационных технологий

Yarmolik V. N., Dr. of Sci. (Tech.), Professor, Professor at the Department of Software for Information Technologies

ДеменковецД. В.DemenkovetsD. V.

Деменковец Денис Викторович, магистр техн. наук, ст. преп. каф. программного обеспечения информационных технологий

220013, г. Минск, ул. П. Бровки, 6

Demenkovets Denis Victorovich, M. of Sci., Senior Lecture at the Department of Software for Information Technologies

220013, Minsk, Brovki St., 6

ЛеванцевичВ. А.LevantsevichV. A.

Леванцевич В. А., магистр техн. наук, ст. преп. каф.программного обеспечения информационных технологий

Levantsevich V. A., M. of Sci., Senior Lecture at the Department of Software for Information Technologies

ПетровскаяВ. В.PetrovskayaV. V.

Петровская В. В., магистр техн. наук, асс. каф. программного обеспечения информационных технологий

Petrovskaya V. V., M. of Sci., Assistant Professorat the Department of Software for Information Technologies

Белорусский государственный университет информатики и радиоэлектроникиBelarusian State University of Informatics and Radioelectronics2024051220243046272Copyright © Ярмолик В.Н., Деменковец Д.В., Леванцевич В.А., Петровская В.В., 20242024Ярмолик В.Н., Деменковец Д.В., Леванцевич В.А., Петровская В.В.Yarmolik V.N., Demenkovets D.V., Levantsevich V.A., Petrovskaya V.V.Данная работа распространяется под лицензией Creative Commons Attribution 4.0.This work is licensed under a Creative Commons Attribution 4.0 License.https://dt.bsuir.by/jour/article/view/886

Рассмотрены вопросы тестирования вычислительных систем и их составных компонентов. Показана невысокая эффективность вероятностного тестирования из-за неиспользования имеющейся информации как об объекте тестирования, так и о ранее сгенерированных тестовых наборах. Отмечена перспективность применения информации о предыдущих тестовых наборах при построении управляемых вероятностных тестов. Выделен и исследован класс управляемых вероятностных тестов с малым числом тестовых наборов. Проанализированы известные стандартные управляемые вероятностные тесты с малым числом тестовых наборов. Рассмотрен метод генерирования управляемых вероятностных тестов с заданным расстоянием Хэмминга, основой которого является представление двоичных тестовых наборов в виде совокупности символов иных систем счисления. Обеспечение заданного значения расстояния Хэмминга для управляемого вероятностного теста в недвоичной системе счисления гарантирует такое же значение и для двоичной интерпретации формируемых тестовых наборов. Эффективность предложенного метода построения тестов экспериментально проанализирована и подтверждена для случая тестирования запоминающих устройств на наличие сложных неисправностей взаимного влияния.

The article considers the issues of testing computing systems and their components. It shows the low efficiency of probabilistic testing due to the failure to use the available information about both the test object and previously generated test sets. It is noted that it is promising to use information about previous test sets when constructing controlled probabilistic tests. A class of controlled probabilistic tests with a small number of test sets is identified and studied. Known standard controlled probabilistic tests with a small number of test sets are analyzed. A method for generating controlled probabilistic tests with a given Hamming distance is considered, the basis of which is the representation of binary test sets as a set of symbols of other number systems. Providing a given value of the Hamming distance for a controlled probabilistic test in a non-binary number system guarantees the same value for the binary interpretation of the generated test sets. The efficiency of the proposed test construction method is experimentally analyzed and confirmed for the case of testing memory devices for the presence of complex faults of mutual influence.

тесттестовый набортестирование вычислительных системвероятностное тестированиерасстояние Хэммингаграница Плоткинанеисправности запоминающих устройствтестирование запоминающих устройствtesttest patterncomputer system testingrandom testingHamming distancePlotkin boundmemory faultsmemory testingReferencesRenfer, G. F. Automatic Program Testing / G. F. Renfer // Proceedings of 3 rd Conference of the Computing and Data Processing Society of Canada. Canada: University of Toronto Press, 1962.Renfer G. F. (1962) Automatic Program Testing. Proceedings of 3rd Conference of the Computing and Data Processing Society of Canada. Canada, University of Toronto Press.Duran, J. An Evaluation of Random Testing / J. Duran, S. Ntafos // IEEE Transactions on Software Engineering. 1984. Vol. SE-10, No 4. P. 438–444.Duran J., Ntafos S. (1984) An Evaluation of Random Testing. IEEE Transactions on Software Engineering. SE-10 (4), 438–444.Arcuri, A. Random Testing: Theoretical Results and Practical Implications / A. Arcuri, M. Z. Iqbal, L. Briand // IEEE Transactions on Software Engineering. 2011. Vol. 38, No 2. P. 258–277.Arcuri A., Iqbal M. Z., Briand L. (2011) Random Testing: Theoretical Results and Practical Implications. IEEE Transactions on Software Engineering. 38 (2), 258–277.Malaiya, Y. K. The Coverage Problem for Random Testing / Y. K. Malaiya, S. Yang // Proceedings of ITC. USA, 1984. P. 237–245.Malaiya Y., Yang S. (1984) The Coverage Problem for Random Testing. Proceedings of ITC, USA. 237–242.Ярмолик, В. Н. Контроль и диагностика вычислительных систем / В. Н. Ярмолик. Минск: Бестпринт, 2019.Yarmolik V. N. (2019) Control and Diagnostics of Computing Systems. Minsk, Bestprint Publ. (in Russian).An Orchestrated Survey on Automated Software Test Case Generation / S. Anand [et al.] // Journal of Systems and Software. Elsevier. 2014. Vol. C-39, No 4. P. 582–586.Anand S., Burke E., Chen T., Clark J., Cohen M., Grieskamp W., et al. (2014) An Orchestrated Survey on Automated Software Test Case Generation. Journal of Systems and Software. Elsevier. C-39 (4), 582–586.Grindal, M. Combination Testing Strategies / M. Grindal, J. Offutt, S. F. Andler // GMU Technical Report ISE-TR-04-05. USA: George Mason University, 2004.Grindal M., Offutt J., Andler S. F. (2004) Combination Testing Strategies. GMU Technical Report ISE-TR-04-05. USA, George Mason University.Malaiya, Y. K. Antirandom Testing: Getting the Most Out of Black-Box Testing / Y. K. Malaiya // International Symposium on Software Reliability Engineering. France: Toulouse, 1995. P. 86–95.Malaiya Y. K. (1995) Antirandom Testing: Getting the Most Out of Black-Box Testing. International Symposium on Software Reliability Engineering. France, Toulouse. 86–95.A Survey on Adaptive Random Testing / R. Huang [et al.] // IEEE Transactions on Software Engineering. 2021. Vol. 47, No 10. P. 2052–2083.Huang R., Sun W., Xu Y., Chen H., Towey D., Xia X. (2021) A Survey on Adaptive Random Testing. IEEE Transactions on Software Engineering. 47 (10), 2052–2083.Ярмолик, С. В. Управляемое случайное тестирование / С. В. Ярмолик, В. Н. Ярмолик // Информатика. 2011. Т. 29, № 1. С. 79–88.Yarmolik S. V., Yarmolik V. N. (2011) Controlled Random Testing. Informatika. 29 (1), 79–88 (in Russian).Peterson, W. W. Error-Correction Codes / W. W. Peterson, E. J. Weldon. London: The MIT Press, 1972.Peterson W. W., Weldon E. J. (1972) Error-Correction Codes. Cambridge. London, The MIT Press.Ярмолик, С. В. Синтез вероятностных тестов с малым числом наборов / С. В. Ярмолик, В. Н. Ярмолик // Автоматика и вычислительная техника. 2011. Т. 45, № 3. C. 19–30.Yarmolik S. V., Yarmolik V. N. (2011) Synthesis of Probabilistic Tests with a Small Number of Sets. Automatic Control and Computer Sciences. 45 (3), 19–30 (in Russian).Yarmolik, S. V. Controlled Random Tests / S. V. Yarmolik, V. N. Yarmolik // Automation and Remote Control. Springer. 2012. Vol. 73, No 10. P. 1704–1714.Yarmolik S. V., Yarmolik V. N. (2012) Controlled Random Tests. Journal of Automation and Remote Control. Springer. 73 (10), 1704–1714.Садовский, М. Г. О сравнении символьных последовательностей / М. Г. Садовский // Вычислительные технологии. 2005. Т. 10, № 3. С. 106–116.Sadovsky M. G. (2005) Сompare Symbol Sequences. Journal of Computational Technologies. 10 (3), 106–116 (in Russian).Ярмолик, В. Н. Модификации способов определения расстояния Хэмминга для их применения в качестве мер различия при генерировании управляемых вероятностных тестов / В. Н. Ярмолик, В. В. Петровская, Н. А. Шевченко // Информатика. 2024. Т. 21, № 2. С. 54–72.Yarmolik V. N., Petrovskaya V. V., Shevchenko N. A. (2024) Modifications to Hamming Distance Calculations for Use as Dissimilarity Measures to Generate Controlled Random Test. Informatika. 21 (2), 54–72 (in Russian).

The authors declare that there are no conflicts of interest present.