单证作为承载信息的一个载体为魔力平台可视化开发提供基础,单证关系为平台的开发和运行提供支撑。因此单证关系的定制在平台中至关重要。但平台中原单证关系的定制模型存在很多问题,使其面临着操作步骤繁琐、工作量较大及对操作人员了解平台性要求较高等问题,本文分析平台中定制单证关系的工作原理,引入马尔可夫链建模理论,提出马尔可夫链单证关系定制模型及马尔可夫链单证关系测试模型,解决上述存在的问题。本文具体研究内容有以下三个方面：首先,本文对基于马尔可夫链理论构建的马尔可夫链模型进行研究,分析模型特有的优点,并对平台中单证关系的定制进行详细研究,分析平台中单证关系定制引入马尔可夫链理论的可行性；其次,分析马尔可夫链模型的特点及平台中单证关系的定制模式,研究马尔可夫链单证关系定制模型,将单证中的一些元素提取出来作为模型中的状态,单证关系作为模型中的边,其中单证关系为条件转换时,采取分解条件的方法将条件转换成与平台相对应的操作存入知识库中,并采用分级定制的策略解决模型中由于状态过多引起的爆炸危机问题。在实际使用中证明模型实现单证关系的简单化、整体化和可视化定制。本文还在此模型的基础之上提出马尔可夫链单证关系测试模型,重点研究该模型转移概率的计算及测试用例的生成,降低了测试难度,实现单证关系的检测,并提出路径符合度测试方法,实现软件使用情况的评估；最后,将这两种模型进行详细设计,使之在魔力平台中得到实现,并将这两种模型与平台中原有定制模型进行比较,证明新模型的优越性。