论文部分内容阅读
针对传统高可靠性软件测评方法存在的问题，在分析基于体系结构测评重要性的基础上提出了基于软件体系结构的可靠性测评方法．将软件可靠性增长测试和软件可靠性验证测试有机统一起来，从模块级对可靠性进行控制，并提供可靠性先验信息．该方法有利于实现软件可靠性快速增长，有效减少测试用例量．
基于体系结构的软件可靠性测评研究
【摘 要】
：
针对传统高可靠性软件测评方法存在的问题，在分析基于体系结构测评重要性的基础上提出了基于软件体系结构的可靠性测评方法．将软件可靠性增长测试和软件可靠性验证测试有机统一
【机 构】
：
东华大学计算机科学与技术学院
【出 处】
：
成都大学学报：自然科学版
【发表日期】
：
2012年4期
【基金项目】
：
国家自然科学基金（50973014）、中央高校基本科研业务费专项基金（11D11209）资助项目.
其他文献
“大学生村官都是秀才，把他们编到一起，这个‘连队’会木会书生气太重？”反方担忧。“在农村，大学生村官个个都能独当一面，如果能成功整合，肯定会成为我们的拳头力量。”正方自信地
<正> 一、加强立法和执法监督。为了遏制腐败现象的蔓延,加强立法非常重要。一是要加强刑事实体法律的制定与完善。例如对目前出现的权力异化,利用权力获取非财产性利益,违反
玻耳兹曼方程给熵函数以明确的统计意义，它指出，某个宏观状态的熵等于玻耳兹曼常量κ乘以相应微观状态数的对数。它把宏观物理量与微观性质有机地联系起来了。探究其导出过程，对
深夜发生血案2001年5月12日晚9时零9分,安徽省当涂县公安局110报警电话铃声骤然响起,有人报案:城关镇振兴路北头发现一人倒在血泊之中……正在局里开会的县公安局局长谢平和
期刊
电测法作为常见的应力应变测量方法有许多的优点,但也有一些缺点,而数字散斑方法在远距离情况下仍能获得足够的光照度,具有延长散斑计量的距离,保证足够的测量灵敏度等优点.
《治安管理处罚条例》(以下简称《条例》),是公安机关管理社会治安、进行治安行政处罚的法律依据和有力武器,在促进和保障社会治安稳定方面发挥了重要作用。但是,随着社会主
期刊
运用静态法和动态法研究了自制改性淀粉CS-g-PMMAPANHMH2对重金属离子的吸附去除能力.结果表明,在重金属离子单独存在或共存时,CS-g-PMAPANNHNH2对Pb2＋、Cr6＋、Cd2＋、Cu2＋、Mn2＋、
激光焊接过程是一个典型的带有扰动和噪声的非线性系统．采用相关一最小二乘法对非线性系统进行辨识可以得到未知参数的无偏估计，并且这种辨识方法不需要大量的样本数据．针对高功
攻击RSA密码体制最有效的方式就是计算出它的解密指数，即找出其密钥．介绍一种新的攻击方法：当RSA密码体制使用低加密指数时，利用有限简单连分数的最佳有理逼近原理，依次计算出它的
基于铁（Ⅲ）可氧化酸性品红溶液而使之褪色,将该方法与流动注射自动进样技术联用,建立了流动注射—褪色光度法测定微量铁（Ⅲ）的新方法.在最优的实验条件下,该方法线性范围为0.05~1