【摘 要】
：
软件的可信度在很大程度上影响人们对软件产品的使用信心,软件产品的可信评估一直是软件工程领域的关键问题之一。针对常规软件系统,存在多种有效的可信评估手段。共同特征是
【机 构】
：
上海航天控制技术研究所,南京理工大学计算机科学与工程学院
论文部分内容阅读
软件的可信度在很大程度上影响人们对软件产品的使用信心,软件产品的可信评估一直是软件工程领域的关键问题之一。针对常规软件系统,存在多种有效的可信评估手段。共同特征是针对特定软件开发过程设计详细的可信原则,根据可信原则采集可信证据,依照可信证据设计可信评估方法。然而空间飞行器控制软件开发过程包含大量不同且多变的软件分支与过程,无法事先针对每个软件过程设计相关的可信原则与证据。同时空间飞行器控制软件开发过程中涉及大量的文档、模型与测试数据等资源(可信资源)。可信资源是生成可信证据的基础,然而已有可信证据管理体系
其他文献
在屡屡遭受愈演愈烈的耐药菌引发感染不能控制而最终导致住院病人整个治疗失败之痛苦后，近十年来临床工作者正在积极反省，重新审视感染预防与控制措施的重要意义，并在许多方面进
一位语文教师在日常的语文教学中,如何作出最佳的"发挥"呢?从总体上说,可以分为教学内容和教学形式的两个方面.对于中学生来说,作为母语的语文课,除了课文所规定的语文知识、
当前我国电力行业得到了迅猛发展,尤其是电气自动化技术也得到了快速发展和完善,随着我国社会经济和科学技术日益发展,在高铁、变电站当中无功补偿技术得到了极其良好应用,需
目的研究新疆部分汉族糖代谢异常人群代谢综合征（Metabolic Syndrome，MS）的患病率及代谢综合征组分数目累积对血脂谱的影响。方法采用2001年美国国家胆固醇教育计划第3次报告诊
本文概括性地叙述蛋白质组相关的基本概念，主要蛋白质组技术，微生物学蛋白质组、比较蛋白质组、功能蛋白质组研究进展和蛋白质组技术在细胞微生物学研究中的应用。
科学合理地构建旅游目的地综合评价指标体系和评价模型能够为目的地发展指明方向。在综合分析基础上,初始建立城市旅游目的地综合评价指标体系,选取10个“国家全域旅游示范区