A case for new statistical software testing models

Abstract

There is growing interest in Statistical Software Testing (SST) as a software assurance technique. While the approach has major attractions, there is a need for new statistical models to infer failure probabilities from SST. The paper constructs a simple but realistic case in which the traditional Binomial model does not work. The paper shows that if possible test failure dependencies are neglected, could the failure probability would be underestimated.. The paper compares the results of our new probability model based on pairwise failures with results achieved when applying the traditional single-urn model, i.e., assuming no dependencies in the failure process.

Физические Основы Механики. Часть 1. «Ньютонова Механика»

“…Для описания его вращательного движения будем использовать уравнение моментов для системы материальных точек (6. Для демонстрации уникальных приложений Физических Основ Механики приведен также и список публикаций автора, Пономарева Максима Глебовича, [87], [210], [211], [212], [213], [214], [215], [216], [217], [218], [219], [220], [221], [222], [223], [224], [225], [226], [227], [228], [229], [230], [231], [232], [233], [234], [235], [236], [237], [238], [239], [240], [241], [242], [243], [244], [245], [246], [247], [248], [249], [250], [251], [252], [253], [254]. Адыгейский государственный университет…”

Физические Основы Механики. Часть 2. «Релятивистская Механика»

“…four dimensional speed). Запишем составляющие 4-скорости через трехмерную скорость: Для демонстрации уникальных приложений Физических Основ Механики приведен также и список публикаций автора, Пономарева Максима Глебовича, [264], [265], [266], [267], [268], [269], [270], [271], [272], [273], [274], [275], [276], [277], [278], [279], [280], [281], [282], [283], [284], [285], [286], [287], [288], [289], [290], [291], [292], [293], [294], [295], [296], [297], [298], [299], [300], [301], [302], [303], [304], [305], [306], [307], [308]. Первая строка определяет ускорение неизменно связанной с подвижной системой точки, с которой на конкретный момент времени совпадает движущаяся точка 𝑀; эти слагаемые представляют собой переносное ускорение (англ.…”

Assessing Diagnostic Techniques for Fault Tolerance in Software

“…The SSRC has pursued a programme of research on design diversity for some time [5][6][7]. (4) DD [9].…”

“…(5) Error detection by diverse data and duplicated instructions (similar to DD) [10]. (6) The theory of randomly testable functions presented by Lipton [10], is a specific type of DD that admits a special form of theoretical analysis. (7) A similar approach called the vital coded microprocessor provides an encoding mechanism that is able to trap five classes of errors in microprocessors: operation, operator, sequence, operand, and time errors.…”