10.3969/j.issn.1672-9722.2006.02.029
模型检测在软件测试中的应用
随着计算机软硬件系统日益复杂,如何保证其正确性和可靠性成为日益紧迫的问题.在为此提出的诸多理论和方法中,模型检测(model checking)以其简洁明了和自动化程度高而引人注目.具体介绍了模型检测的一些理论,同时将它应用于具体的软件程序,运用模型检测方法对软件进行测试.从而证明了模型检测方法与测试结合对于软件可靠性和正确性所起的巨大作用.
模型检测、软件测试、强制性逻辑关系、状态爆炸
34
TP31(计算技术、计算机技术)
2006-04-20(万方平台首次上网日期,不代表论文的发表时间)
共4页
93-96