• 安全关键软件的测试与评估过程模型研究

    安全关键软件的测试与评估过程模型研究

    论文摘要当前计算机软件得到了日益广泛的应用,在很多系统中作为控制核心存在。对于应用在重要领域,比如航空、航天及军事等领域的控制软件,它们的失效往往会给用户或者国家财产造成巨大的...