【摘 要】
：
软件可信已经是一个迫在眉睫的重要问题,但对软件可信性的评估却一直没有一个系统且客观的标准.一些研究工作从可信证据的采集渠道入手,譬如认为有第3方测试的证据,其可信级
【机 构】
：
中国科学院软件研究所互联网软件技术实验室,中国科学院大学,计算机科学国家重点实验室（中国科学院软件研究所）,中国科学院软件研究所天基综合信息系统重点实验室
【基金项目】
：
国家自然科学基金(91318301,91218302)~~
论文部分内容阅读
软件可信已经是一个迫在眉睫的重要问题,但对软件可信性的评估却一直没有一个系统且客观的标准.一些研究工作从可信证据的采集渠道入手,譬如认为有第3方测试的证据,其可信级别就高一些,而若有用户的使用反馈则可信级别就更高.这些工作在可信的客观性方面做了很好的贡献.但可信其实是一个系统性的问题,而且质量形成于过程,其证据的充分必要程度以及对必要开发过程的覆盖程度等非常关键.基于软件开发过程,从过程的实体、行为以及制品3个方面提取软件可信的证据,建立了由37个可信原则、182个过程可信证据和108个制品可信程度证据组
其他文献
汽车变速箱的性能一直是评价汽车性能的重要指标,汽车在换挡过程中齿轮连接的平稳性和运动传递的平稳性与倒角齿轮的质量有直接关系。倒角齿轮是汽车、拖拉机、摩托车等变速
坚持“以课本为本”的原则,深入把握教材编写意图,紧密围绕章节知识核心和核心思想组织教学,已是中学数学教学界的基本共识.教材的知识内容是平面固化的,而实际的教学是多维
在高等植物中，蔗糖具有至关重要的作用，蔗糖是光合作用的主要产物，是糖运输的主要形式，在植物生长、发育、营养物质的贮存、信号传导以及逆境条件下有重要的作用。植物中的蔗糖代
再生稻种植作为一种高产高效的种植模式越来越受到重视。对湖北省再生稻的几种种植模式进行了对比试验。试验结果表明,机械种植再生稻有较高的产出投入比,高于抛秧和人工插秧
风险管理对建筑企业意义重大。文章分别分析了投标阶段、签订合同阶段、施工阶段、维修阶段的风险管理方法。
介绍了中平能化集团开封东大化工有限公司ADC发泡剂生产中氯化洗水循环利用的试验情况，用氯化洗水与浓硫酸混合后与水合肼反应生成联二脲，解决了加入浓硫酸瞬时肼尿液局部分解
在违约损害赔偿制度中有一个重要的组成部分——可得利益损失赔偿，关于可得利益损失赔偿各国都进行了大量的研究，并在立法中进行了规定。我国虽然在《合同法》第113条中对其做
本文以迷迭香为实验原料,主要研究了迷迭香的抑菌活性和对食品的防腐效果,并对迷迭香的有效抑菌成分做了初步探索。首先,采用牛津杯法和微量稀释法研究了迷迭香80%乙醇粗提取
起苗是苗木出圃的重要环节。起苗质量的好坏直接关系到苗木出圃后造林的成活率。近年来,北美和欧洲等地区已广泛使用联合起苗机。联合起苗机能一次性实现起苗、输送、清土、