关键软件相关论文
任务关键软件的正确性是信息安全的重要组成部分,对其bug的测试至关重要,但oracle问题经常制约到此类软件的测试.蜕变测试(MT)能够......
本文针对安全性关键软件的特点,提出了一种在全面测试的基础上、基于软件安全性分析的软件可靠性测试与评估方法.全文分三个部分:第......
安全软件的失效可能带来灾难性的后果或重大经济损失,因此,科学地评估安全软件的安全性十分必要.本文介绍了软件分级安全性的基本......
随着我国科学技术的快速发展,软件的安全问题越来越受到人们的关注.据相关资料显示,软件的安全系数并不如硬件,因而在软件被广泛应......
近年来,随着核动力技术的快速发展,核动力单位核安全关键软件也实现了数字化的发展。在核动力厂核安全关键软件的运行和使用过程中,软......