论文部分内容阅读
目前,计算机技术已广泛地应用于航空、航天、交通、医疗等安全性关键领域,在这些领域中,软件被称为“安全性相关软件”。对于这类软件的测试研究是其软件质量保障研究的一个重点。这样的测试关注于该类软件的安全功能规约是否得到满足,希望在此基础上对整个系统的可靠性有一个定量的估计。KJ15A井下运输监控系统(以下简称KJ15A系统)是合肥工业大学微机所于九十年代中期研制成功的煤矿运输安全技术保障系统,主要用于对矿井大巷轨道机车运输进行指挥调度、安全监控和生产管理。显然,作为铁路运输计算机联锁软件的特例,它是一种安全性相关软件。本文针对KJ15A系统软件的具体特点,提出了在测试环境建立、测试用例生成到测试结果判定等一系列环节中应采取的策略、措施,旨在建立一个软件测试平台,把手工方式进行开通试验作为安全验证手段上升到一个以计算机和人工智能为基础的自动测试评估的新台阶,它不仅可以模拟手工试验无法考虑的一些意外环境,而且可以快速而有效地探测到被测系统在安全防护上可能达到的极限,使我们对该系统的安全性、适用性有更深刻的了解。同时,也为类似的安全性相关软件的测试研究提供一种思路。