不可测试系统的测试方法研究——基于复杂集成软件系统的模型测试  

作　　者：黎玉香[1] 于伟[1] 

机构地区：[1]广东科技学院,广东东莞523083

出　　处：《农业科技与信息》2016年第30期119-120,共2页Agricultural Science-Technology and Information

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

关 键 词：模型测试 不可测试系统 可靠性 测试用例 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]