Построение управляемых вероятностных тестов с заданным расстоянием Хэмминга

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

1. Renfer, 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.

2. 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.

3. 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.

4. Malaiya, Y. K. The Coverage Problem for Random Testing / Y. K. Malaiya, S. Yang // Proceedings of ITC. USA, 1984. P. 237–245.

5. Ярмолик, В. Н. Контроль и диагностика вычислительных систем / В. Н. Ярмолик. Минск: Бестпринт, 2019.

6. 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.

7. Grindal, M. Combination Testing Strategies / M. Grindal, J. Offutt, S. F. Andler // GMU Technical Report ISE-TR-04-05. USA: George Mason University, 2004.

8. 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.

9. A Survey on Adaptive Random Testing / R. Huang [et al.] // IEEE Transactions on Software Engineering. 2021. Vol. 47, No 10. P. 2052–2083.

10. Ярмолик, С. В. Управляемое случайное тестирование / С. В. Ярмолик, В. Н. Ярмолик // Информатика. 2011. Т. 29, № 1. С. 79–88.

11. Peterson, W. W. Error-Correction Codes / W. W. Peterson, E. J. Weldon. London: The MIT Press, 1972.

12. Ярмолик, С. В. Синтез вероятностных тестов с малым числом наборов / С. В. Ярмолик, В. Н. Ярмолик // Автоматика и вычислительная техника. 2011. Т. 45, № 3. C. 19–30.

13. 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.

14. Садовский, М. Г. О сравнении символьных последовательностей / М. Г. Садовский // Вычислительные технологии. 2005. Т. 10, № 3. С. 106–116.

15. Ярмолик, В. Н. Модификации способов определения расстояния Хэмминга для их применения в качестве мер различия при генерировании управляемых вероятностных тестов / В. Н. Ярмолик, В. В. Петровская, Н. А. Шевченко // Информатика. 2024. Т. 21, № 2. С. 54–72.