Computational testing algorithmic procedure of assessment for lifetime performance index of Pareto products under progressive type I interval censoring · Study