基于需求建模的软件安全性分析方法研究

来源 :航空标准化与质量 | 被引量 : 0次 | 上传用户:schoolnowl
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为了提高软件安全性及可靠性,将需求建模引入针对软件需求的安全性分析过程,利用系统危险源、典型运行场景、外部输入输出接口等建模方法从系统需求分配、动态交互、接口故障处理等开展多角度分析,从而提高软件质量,并为后续软件需求分析以及安全性分析工作中提供可复用数据资产。
其他文献
以1-溴丁烷和N-甲基咪唑为原料合成了中间体溴化1-丁基-3-甲基咪唑,以中间体与NaBF4进行复分解反应制备了离子液体1-丁基-3-甲基咪唑四氟硼酸盐。探讨了投料比、反应时间、反
李清照是我国文学史上最杰出的女词人,康震教授称她的出现是一个精彩的意外,她是古代文学群山中一座秀美的山峰。她之所以能在名家辈出的古代文学长河中占据一席之地,这与她
目的比较分析三种不同根管充填糊剂治疗慢性根尖周炎的临床治疗效果。方法选取慢性根尖周炎患者180例患者,共180颗恒牙,按照随机对照法,随机分为甲、乙、丙3组,甲、乙、丙3组
目的观察紫草油治疗冬病夏治三伏贴后起泡的效果。方法 32例冬病夏治三伏贴后起水泡的患者随机分成观察组和对照组各16例,观察组给予紫草油外涂,对照组则使用碘伏涂擦。结果
试验选择2块不同肥力的地块来研究冬小麦收获后硝态氮在1m土壤剖面中累积状况。研究结果表明:有机无机肥料配合使用能有效地降低硝态氮在土壤中的累积;硝态氮在肥力高的地块
获得江苏新闻奖的广播新闻专题《蒋巷村的"农民节"情结》,在创作中通过四个"反复":反复深入一线、反复梳理素材、反复打磨音效、反复设置悬念,讲述了"小故事"的"大情怀"。
根据小鹅瘟病毒(GPV)和鹅源禽腺病毒(FAV)基因组序列特征分别设计了各自的PCR引物, 经对反应条件的优化建立了能同时检测两种病毒的二重PCR方法.该法能从雏鹅新型病毒性肠炎
本文通过一个知识点——次序统计量的抽样分布,详述了高校教师在对这一知识点的讲解及把握中存在的盲点与不足之处,从而指出高校教师在教学过程中对每个知识点都应深入研究,
结合课程教学内容,设计了基于现实生产过程的数控技术相关虚拟实验.采用浙大辰光数控虚拟加工软件,实现了数控机床虚拟操作和虚拟加工实验,利用UG软件的建模与装配功能实现数
目的探讨玫瑰挥发油的体外抗念珠菌活性,同时比较NCCLS-M27-A常量和微量液基稀释法检测结果的差异。方法先采用纸片扩散法对玫瑰挥发油抗念珠菌的活性进行初筛,再应用常量法和