基于启发式的静态中断数据竞争检测方法

提出一种面向中断驱动型嵌入式软件的启发式静态数据竞争检测方法,并开发了原型工具H-RaceChecker。给定软件的源代码或目标程序,H-RaceChecker能够自动推断中断优先级状态、中断使能状态和内存访问状态等信息,在此基础上识别出每个程序点处可能的数据竞争,进而通过启发式精化策略对原始分析结果进行危险程度排序,提高人工确认结果的效率。实验验证了该方法的有效性。

软件回归测试用例选取方法研究

介绍了软件回归测试的概念和进行回归测试的基本步骤,提出了一种回归测试用例选择的数学模型及用例集优化约简算法,并且用实例证明了该方法能有效缩减回归测试用例个数,降低回归测试成本.

人工走查数据在软件可靠性度量中的应用

为了充分利用第三方评测数据开展航天软件可靠性度量,研究人工走查数据在软件可靠性度量中的应用。分析度量实体的确定、人工走查数据向动态失效数据的转换、数据融合和数据应用的合理性等问题,提出相应解决方法。应用结果表明,该方法具有可行性。

二次拟合:一种提高软件可靠性模型精度的新方法

针对软件可靠性模型精度不高的问题,提出了"一次建模+二次拟合"的方法,通过误差补偿机制来提高模型精度,并将该方法应用于航天软件失效数据集。实践结果表明,提出的方法对于提高软件可靠性模型精度是有效的。

一种增强SR模型适应性的方法

通过对软件可靠性(SR)模型拟合曲线的分析,提出模型固有特征是影响SR模型适应性的因素之一,在此基础上,提出构建模型组以增强SR模型适应性的新方法。实践表明,该方法是可行的。

基于UML模型的嵌入式软件测试用例生成方法

软件测试是保证嵌入式软件质量的重要手段之一,测试用例集的完备性是软件测试的关键因素.研究一种基于统一建模语言(UML)状态图生成测试用例集的方法,根据状态、迁移不变性原则以及动作映射,将UML状态图转换为扩展有限状态机(EFSM),采用广度优先搜索满足状态、迁移覆盖准则,由测试序列建立查找表生成测试用例集.最后给出实例说明该方法的可行性和有效性.

用于RTL设计验证的静态错误检测方法

为快速有效地对集成电路设计中潜在的常见错误进行检测,提出一种基于静态分析的错误检测方法。该方法可以自动地提取待测寄存器传输级(RTL)设计的行为信息,检测出设计中常见的错误,如状态机死锁、管脚配置错误。实验结果表明,静态检测相对于其他验证方法自动化程度高、检测速度快、检测准确度高、检测代码可重用,可以在模拟之前发现设计中的错误。

软件测试需求管理技术

一、引言 随着软件在空间飞行任务中所占的比重越来越大,空间飞行器软件的测试工作也越来越受到重视。而无论是软件开发还是软件测试,都有一个共同的基本目标——使软件的功能满足需求。这里所说的需求是一个广义的概念,它既包括写到软件规格说明中的需求,也包括那些未写入文档的潜在需求。 如何评估软件测试工作的质量呢?

跳频OFDM通信系统同步算法及实现

结合跳频通信技术抗干扰和正交频分复用(OFDM)技术节省频带资源的优点,提出了一种通信帧格式及其同步算法。该算法构造了每个载波上传输隐藏伪随机序列的OFDM数据,利用伪随机序列良好相关特性实现了定时估计和粗频偏捕获,再使用ML估计算法进行细频偏估计,能够使OFDM技术应用到跳频通信领域。仿真和实验结果表明,在多径信道下,提出的算法单个定时估计和频偏估计误差小。