论文部分内容阅读
摘要：随着科技的发展，我们将面临着如下的问题：越来越多的软件系统没办法测试，意味着采用现有的常规传统的测试方法对某些特定的系统测试时会浪费很多资源，如成本的昂贵，时间的消耗且系统的连续性及外部环境等不可行因素。本文的核心思想是：通过建模的方式来进行测试而不是进行直接针对操作系统，即为模型测试。本文的目标是提高从传统的操作系统的抽象化测试到具体的行为和属性的模型测试水平。模型测试是可以通过对其系统的相关表征、环境及其系统故障风险等方面进行验证的，但存在不确定性，取决于复杂性、环境行为的动态性和系统的未知性。