搜索筛选:
搜索耗时0.0846秒,为你在为你在102,285,761篇论文里面共找到 11 篇相符的论文内容
发布年度:
[期刊论文] 作者：段永颢,
来源：质量与可靠性 年份：2000
一、引言 随着软件在空间飞行任务中所占的比重越来越大,空间飞行器软件的测试工作也越来越受到重视。而无论是软件开发还是软件测试,都有一个共同的基本目标——使软件...
[期刊论文] 作者：段永颢,陈睿,
来源：计算机工程与设计 年份：2013
提出一种面向中断驱动型嵌入式软件的启发式静态数据竞争检测方法，并开发了原型工具H—RaceChecker。给定软件的源代码或目标程序，H—RaceChecker能够自动推断中断优先级状态、...
[期刊论文] 作者：黄晨,段永颢,
来源：空间控制技术与应用 年份：2013
软件测试是保证嵌入式软件质量的重要手段之一,测试用例集的完备性是软件测试的关键因素.研究一种基于统一建模语言（UML）状态图生成测试用例集的方法,根据状态、迁移不变性原则......
[期刊论文] 作者：王小丽, 段永颢,,
来源：空间控制技术与应用 年份：2010
介绍了软件回归测试的概念和进行回归测试的基本步骤,提出了一种回归测试用例选择的数学模型及用例集优化约简算法,并且用实例证明了该方法能有效缩减回归测试用例个数,降低...
[期刊论文] 作者：段永颢,孙宇明,赵鹏,,
来源：通信技术 年份：2012
结合跳频通信技术抗干扰和正交频分复用(OFDM)技术节省频带资源的优点,提出了一种通信帧格式及其同步算法。该算法构造了每个载波上传输隐藏伪随机序列的OFDM数据,利用伪随机...
[期刊论文] 作者：左万娟, 杨孟飞, 段永颢,,
来源：计算机应用与软件 年份：2009
针对软件可靠性模型精度不高的问题,提出了"一次建模+二次拟合"的方法,通过误差补偿机制来提高模型精度,并将该方法应用于航天软件失效数据集。实践结果表明,提出的方法对于...
[期刊论文] 作者：左万娟,杨孟飞,段永颢,
来源：计算机工程 年份：2009
为了充分利用第三方评测数据开展航天软件可靠性度量，研究人工走查数据在软件可靠性度量中的应用。分析度量实体的确定、人工走查数据向动态失效数据的转换、数据融合和数据应......
[期刊论文] 作者：左万娟,杨孟飞,段永颢,
来源：空间控制技术与应用 年份：2008
通过对软件可靠性（SR）模型拟合曲线的分析，提出模型固有特征是影响SR模型适应性的因素之一，在此基础上，提出构建模型组以增强SR模型适应性的新方法。实践表明，该方法是可行的。......
[期刊论文] 作者：左万娟,杨盂飞,段永颢,
来源：计算机工程 年份：2004
为了充分利用第三方评测数据开展航天软件可靠性度量,研究人工走查数据在软件可靠性度量中的应用.分析度量实体的确定、人工走查数据向动态失效数据的转换、数据融合和数据应...
[会议论文] 作者：段永颢,朱北园,王东盛,
来源：第八届全国容错计算学术会议 年份：1999
针对卫星星载计算机容错软件在功能和性能测试方面所面临的难题，该文提出了利用星载计算机软件通用测试平台进行测试的方法。着重讨论了平台中针对星载计算机容错软件特点所进......
[期刊论文] 作者：马丽丽,吕涛,李华伟,张金巍,段永颢,,
来源：计算机工程 年份：2011
为快速有效地对集成电路设计中潜在的常见错误进行检测，提出一种基于静态分析的错误检测方法。该方法可以自动地提取待测寄存器传输级（RTL）设计的行为信息，检测出设计中常见的错......
相关搜索：
