【摘 要】
:
如何保证软件可信性是目前软件工程研究领域的热点话题之一.从逆向思维的角度围绕软件失信展开三方面的研究.基于软件可信性的概念,分析软件失信及失效、故障、缺陷、错误之
【基金项目】
:
国家自然科学基金(90718036);江苏省自然科学基金(Bk2009232);南京大学研究生科研创新基金(2009CW06)
论文部分内容阅读
如何保证软件可信性是目前软件工程研究领域的热点话题之一.从逆向思维的角度围绕软件失信展开三方面的研究.基于软件可信性的概念,分析软件失信及失效、故障、缺陷、错误之间的关系,进而提出"失信因子"这一新的概念;通过分析失信因子与软件风险因素内涵的差异,指出了失信因子概念提出的基础性和重要性,并给出软件失信链,延伸了传统的失效链;通过构建一种基于WBS-RBS的识别框架探讨了对失信因子收集、识别和分类的方法.结合示例.验证了所提概念的合理性.特别强调,在软件开发过程中,软件可信性的保障应着眼于控制、改善失信因子这一根源性的因素,而非缺陷和故障等表征现象.
其他文献
针对支持向量机方法处理不确定信息系统时存在的两个问题:一方面支持向量机训练对噪声样本敏感,另一方面支持向量机训练未考虑信息系统的不一致,利用模糊理论与粗糙集方法分
<正>目前的判断有市场力量和央行干预两种。基于市场力量的观点认为:首先,人民币持续单边升值,短期内升值幅度过大,需要修正。汇改三年人民币升值超过了20%,尤其是今年8月以
保险招投标是市场经济条件下公平竞争的产物,理应体现公开公平公正的原则.但在目前保险市场尚不规范和有关监管规章滞后的环境和条件下,保险招投标也可能步入不顾风险不计成
任何文艺作品都会表现出一定的思想、观念或情感。“文以载道”实乃必然。社会主义的文艺创作作为社会主义先进文化的重要组成部分 ,当然可以而且应该要表现社会主义的思想道
高阻接地故障(HIF)发生时的故障点接地电阻较大,并常伴随着电弧熄灭与重燃,引起的故障电流很小且随机性强。由于故障时电压、电流突变量不明显,常规保护难以准确动作,所以辨识
综述了烟气脱硫废水的产生原因与危害、分析了脱硫废水资源回用的可行性与困难,比较与评述了国内外烟气脱硫废水处理方法的工艺、原理及效果,指出了脱硫废水处理技术的发展新
<正>Journal of Archaeological Science12月号刊登了法国考古学家艾伯特·加邦的研究成果。加邦对一些来自世界各地的青铜时期含有铁的器物进行了分析,包括欧洲的匕首、手镯
<正>《美术课程标准》明确指出:"美术教学中最重要的一条理念就是要通过多种教学形式使学生形成基本的美术素养。"那么,我们也可以理解为小学美术课程教学不是针对专业人才的
武器装备的信息化、数字化、智能化和自动化使以美国为首的西方战略家们提出了“第六代战争”和“信息战”的构想.他们认识到,在未来战争中不需要占领敌方领土.只靠进攻性航
武广高铁的修筑并正式运营,进一步提升了郴州的交通优势,其对经济社会发展的推动作用突出表现在第三产业——旅游业当中。针对高铁时代郴州旅游业发展的现状和存在的问题,应