段永颢
- 作品数：10 被引量：19H指数：2
- 供职机构：北京控制工程研究所更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 一种基于静态分析的RTL设计错误检测方法和系统
- 本发明公开了一种基于静态分析的RTL设计错误检测方法和系统。所述方法包括下列步骤：接收一个RTL设计源代码和相应的设计规范文件，根据待检测错误的类型并结合所述设计规范文件，构建对待测错误的检测标准并存储；针对待检测错误的...
- 马丽丽吕涛李华伟李晓维段永颢张金巍
- 跳频OFDM通信系统同步算法及实现被引量：2
- 2012年
- 结合跳频通信技术抗干扰和正交频分复用(OFDM)技术节省频带资源的优点,提出了一种通信帧格式及其同步算法。该算法构造了每个载波上传输隐藏伪随机序列的OFDM数据,利用伪随机序列良好相关特性实现了定时估计和粗频偏捕获,再使用ML估计算法进行细频偏估计,能够使OFDM技术应用到跳频通信领域。仿真和实验结果表明,在多径信道下,提出的算法单个定时估计和频偏估计误差小。
- 段永颢孙宇明赵鹏
- 关键词：正交频分复用跳频
- 用于RTL设计验证的静态错误检测方法
- 2011年
- 为快速有效地对集成电路设计中潜在的常见错误进行检测,提出一种基于静态分析的错误检测方法。该方法可以自动地提取待测寄存器传输级(RTL)设计的行为信息,检测出设计中常见的错误,如状态机死锁、管脚配置错误。实验结果表明,静态检测相对于其他验证方法自动化程度高、检测速度快、检测准确度高、检测代码可重用,可以在模拟之前发现设计中的错误。
- 马丽丽吕涛李华伟张金巍段永颢
- 关键词：寄存器传输级
- 基于UML模型的嵌入式软件测试用例生成方法
- 2013年
- 软件测试是保证嵌入式软件质量的重要手段之一,测试用例集的完备性是软件测试的关键因素.研究一种基于统一建模语言(UML)状态图生成测试用例集的方法,根据状态、迁移不变性原则以及动作映射,将UML状态图转换为扩展有限状态机(EFSM),采用广度优先搜索满足状态、迁移覆盖准则,由测试序列建立查找表生成测试用例集.最后给出实例说明该方法的可行性和有效性.
- 黄晨段永颢
- 关键词：嵌入式软件测试用例UML状态图EFSM
- 一种增强SR模型适应性的方法
- 2008年
- 通过对软件可靠性(SR)模型拟合曲线的分析,提出模型固有特征是影响SR模型适应性的因素之一,在此基础上,提出构建模型组以增强SR模型适应性的新方法。实践表明,该方法是可行的。
- 左万娟杨孟飞段永颢
- 关键词：适应性
- 软件回归测试用例选取方法研究被引量：7
- 2010年
- 介绍了软件回归测试的概念和进行回归测试的基本步骤,提出了一种回归测试用例选择的数学模型及用例集优化约简算法,并且用实例证明了该方法能有效缩减回归测试用例个数,降低回归测试成本.
- 王小丽段永颢
- 关键词：测试用例集
- 二次拟合:一种提高软件可靠性模型精度的新方法
- 2009年
- 针对软件可靠性模型精度不高的问题,提出了"一次建模+二次拟合"的方法,通过误差补偿机制来提高模型精度,并将该方法应用于航天软件失效数据集。实践结果表明,提出的方法对于提高软件可靠性模型精度是有效的。
- 左万娟杨孟飞段永颢
- 一种基于静态分析的RTL设计错误检测方法和系统
- 本发明公开了一种基于静态分析的RTL设计错误检测方法和系统。所述方法包括下列步骤：接收一个RTL设计源代码和相应的设计规范文件，根据待检测错误的类型并结合所述设计规范文件，构建对待测错误的检测标准并存储；针对待检测错误的...
- 马丽丽吕涛李华伟李晓维段永颢张金巍
- 文献传递
- 人工走查数据在软件可靠性度量中的应用
- 2009年
- 为了充分利用第三方评测数据开展航天软件可靠性度量,研究人工走查数据在软件可靠性度量中的应用。分析度量实体的确定、人工走查数据向动态失效数据的转换、数据融合和数据应用的合理性等问题,提出相应解决方法。应用结果表明,该方法具有可行性。
- 左万娟杨孟飞段永颢
- 关键词：航天软件
- 基于启发式的静态中断数据竞争检测方法被引量：10
- 2013年
- 提出一种面向中断驱动型嵌入式软件的启发式静态数据竞争检测方法,并开发了原型工具H-RaceChecker。给定软件的源代码或目标程序,H-RaceChecker能够自动推断中断优先级状态、中断使能状态和内存访问状态等信息,在此基础上识别出每个程序点处可能的数据竞争,进而通过启发式精化策略对原始分析结果进行危险程度排序,提高人工确认结果的效率。实验验证了该方法的有效性。
- 段永颢陈睿
- 关键词：数据竞争嵌入式软件
