[激光-机器视觉三维检测系统研究]阳道善

【激光-机器视觉三维检测系统研究】阳道善.pdf

Dissertation Submitted to AcademicDegreesEvaluationCommitteeof HuazhongUniversity of Science and Technology for the Degree of Doctor of Philosophy in Engineering Researchon Laser-MachineVision 3D Inspection System Ph.D.Candidate:Yang Daoshan Subject:Mechanical Engineering Supervisor:Prof.大,也可以说在条件分支或进程之间进行联系处发现的错误较多,在完成一定的 测试之后,这些地方的健状性要强一点。给出的软件错误模型是一个以CPU执行 的指令流r为参数的计数统计过程。该模型适用于一般串行软件,它对软件的微 观结构有所反映,采用进程的轨迹模型来描述软件的执行,认为进入和退出条件 分支前后(或在进程之间进行联系处)的程序段及循环程序段的错误密度较大。如果 进程迹中错误指令行的出现为平稳泊松随机过程,在给定的软件可靠性要求下,随机选取测试用例时,对一条固定的路径所需的测试次数作出了估计,估计时对 测试可能引入的新错误作了一定的考虑。华中理工大学博士学位论文 simplefeatureprimitivesurfaces.Finally,thispaperintroduces the authorstheoreticalresearches on thereliability of thesoftwarecomponentandgivesanewsoftwareerrormodel.Thismodelisa homogeneousPoissonprocesswhoseparameterspaceistheinstructionstreamsexecuted byCPU.