技术编号：6426563
提示：您尚未登录，请点 登 陆 后下载，如果您还没有账户请点 注 册 ，登陆完成后，请刷新本页查看技术详细信息。本发明涉及一种提取软件系统可信性需求的方法，尤其涉及一种。背景技术软件系统越来越多的应用于许多社会关键领域，同时软件系统及其运行环境也变得越来越复杂。一方面，由于软件的复杂性，保证软件本身的正确性变得越来越困难，软件系统在部署之后可能存在着许多内在的缺陷；另一方面，开放动态的运行环境也给软件系统带来越来越多的外在威胁，比如环境的变换、恶意的攻击、用户的操作错误。不管是内在的缺陷还是外在的威胁，它们都将影响软件系统并使得其行为偏离用户的期望，从而可能导致软件...
注意：该技术已申请专利，请尊重研发人员的辛勤研发付出，在未取得专利权人授权前，仅供技术研究参考不得用于商业用途。
该专利适合技术人员进行技术研发参考以及查看自身技术是否侵权，增加技术思路，做技术知识储备，不适合论文引用。
请注意，此类技术没有源代码，用于学习研究技术思路。