基于关联风险剖面的软件防危性增长测试

来源 :系统工程与电子技术 | 被引量 : 4次 | 上传用户:ivyqbw
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对软件防危性增长测试的本质特征在于快速降低由于软件失效而导致系统事故的风险,依据重要性取样的统计学原理,结合软件防危性分析,建立了一套集构建软件关联风险剖面、依照关联风险剖面产生测试用例为一体的软件防危性增长测试方法,并给出了测试停止标准。从理论上讲,本方法在快速降低软件事故风险方面比现有软件测试方法更有效。
其他文献
期刊
针对嵌入式系统软件设计过程中对编译器的可重定向性提出的新要求,提出了一种基于体系结构描述语言XpADL的可重定向编译器生成方法。XpADL是一种基于XML的体系结构描述,它为编
对于方程这个概念,中瑞两国共同存在的观念有:表达式中所使用的变量影响准教师判断是否是实例方程;公式、定理和恒等式与方程的关系不明确;函数与方程的联系分不清.两国各种观念略
分析了多传感器量测数据不确定性产生的原因,提出了一种基于相对距离的多传感器数据融合方法。该方法利用模糊集合理论中隶属度函数的优点,通过挖掘量测数据间冗余和互补信息调
全国第十一届数学方法论与数学教育学术研讨会(PMXI)于2012年9月27日至30日在贵州省黔西南布依族苗族自治州兴义市举行.
研究了一类具有非线性输入的不确定混沌系统的跟踪控制问题。首先在系统状态已知,系统的非线性项及干扰项的界已知的情况下设计了理想滑模控制器,然后在系统只有一个状态可测,非
针对一类不确定混沌系统,为提高混沌同步的鲁棒性,提出了一种新型的鲁棒同步控制方法,实现一类参数随时问小范围变化的混沌系统的同步。基于李亚普诺夫稳定性理论,设计了一种新型
针对同时存在前向通道和反馈通道数据包丢失的离散时间系统,分别将数据包丢失作为独立的贝努利过程进行建模。通过对量化器量化水平参数的约束条件,确保状态估计在均方差意义下
针对直接序列扩频(DS/SS)信号的扩频码盲估计问题,改进了特征分解的方法,利用滑动窗技术取得码同步,并提出了一种基于信号子空间跟踪的PN(pseudonoise)码恢复算法。计算机仿真表明,由
对于不同时标的时变时滞竞争神经网络的网络模型,通过构造适当的Lyapunov函数,结合微分不等式分析,研究了时变时滞竞争神经网络的全局指数稳定性,获得了新的全局指数稳定性判据,所