测试性验证中抽样方案的精确算法及应用

 通过对二项分布函数单调性的讨论,提出了求解二项分布函数联立不等式的精确算法,可迅速准确地获得测试性验证的抽样方案。并研制了测试性验证软件包,可以较好地满足测试性验证的要求。

ACCURATE ALGORITHM OF SAMPLING PLAN & ITS APPLICATION IN TESTABILITY DEMONSTRATION

Binomial distribution is preferred in testability demonstration, but it is discrete. Because of calculation difficulty, the sampling plan is usually worked out with some adaptations. Through the research of binomial probability distribution function(PDF), it has been proved that the PDF is a monotone increasing function of probability p and allowable failure time r in test, and is a monotone decreasing function of test time n. With these conclusions, an accurate algorithm is presented to solve the simultaneous inequality of binomial PDF. An optimum solution can be worked out by adopting multivariate half\|folded searching algorithm, so that one can get the sampling plan of testability demonstration accurately and quickly. At last a software package of testability demonstration is developed, it better meets the requirements of testability demonstration, its calculation results agree with IEC1123, and its algorithm can also be applied to sampling plan of Poisson PDF.