行为声明相关论文
随着软件规模和复杂度的不断提高,软件可信性问题也日益突出。软件在特定环境下的运行行为和结果与人们的预期并不总是完全符合,也......
本研究基于行为声明,针对应用软件在Linux环境下的行为进行了可信性测试方法方面,可信度量标准方面与可信度计算方面的研究。首先,......
软件可信是指软件系统能按照其设定目标所期望的方式运行,能适应环境和需求的变化,有抵御异常情况的能力,在受到干扰时仍能持续提......
在信息安全领域中,软件的可信是在可用性、可靠性和安全性的基础之上建立的,是软件开发人员和用户都十分关注的问题。本文总结了可......
