马尔可夫链在软件可信性中的研究

摘要

随着计算机技术不断发展，硬件成本不断降低，各种结构复杂、功能强大的计算机系统被广泛应用在各种关键领域，例如航空航天、核电能源、医疗卫生和交通运输等。这些计算机系统关系到国计民生，一旦发生故障，将对人们的生命财产造成巨大的损失。所以系统的可信性越来越受到重视。系统的可信性可以用软件测试来进行，利用自动控制领域的受控马尔可夫链对软件进行建模，并证明该模型在一定程度上符合软件的实际应用，也说明本模型的科学性。