基于资源扩展活动图的并发测试用例生成方法

对UML(统一建模语言)活动图进行共享资源的属性扩展,利用扩展的活动图对并发系统间任务的同步及数据的竞争关系建模,充分考虑并发软件运行原理、故障模式及测试效率,提出并发系统的测试覆盖原则及基于扩展活动图的并发测试用例生成方法。进一步通过举例验证该方法能够正确的生成并发测试用例同时又可防止用例数量爆炸,提高了并发软件测试的可靠性及效率。     

一种基于单件模式的主控软件资源冲突问题解决方案

为解决主控软件资源冲突问题,提高软件可靠性,本文以某主控软件多线程访问同一资源导致软件异常的具体问题为例,提出单件模式解决问题的思路并给出具体解决方案,讨论了传统设计方法与单件模式方式的区别,总结单件模式的优势。进一步分析主控软件重用框架对资源唯一性的要求,给出3个非功能要求的单件模式设计方法。事实表明,单件模式应用在主控软件设计上,可以提高设计效率,还可以提高软件可靠性和维护性。     

基于哲学视角的高校生命教育之主位置换趋势

目前国内高校开展的生命教育活动存在诸多的问题。很多教育界、心理学界等领域的学者聚焦于探讨和尝试如何使生命教育在实践上得到更多的发展和完善。但在教学活动中,学校和教师往往变成了生命教育的主体,而学生则变成了被动接受的客体。本文侧重于探析生命教育中学生的主体地位以及他们主动思考生命意义的重要性,学生自身具备的哲学修养是生命教育成功与否的关键所在。     

一种高速系统级虚拟测试环境实现技术

提出一种针对航天嵌入式软件的系统级虚拟测试环境实现技术。通过该技术实现的系统级虚拟测试环境准确同步每个弹上处理器的运行时间,并模拟各处理器板之间的硬件接口,使基于多处理器的嵌入式软件测试摆脱了半实物环境的制约,提高了测试有效性,缩短了测试周期。该技术利用操作系统提供的进程间通讯机制,构造了可扩展的弹上软件系统级测试环境,并且在实现系统互连的前提下保证了虚拟环境执行的高效率。     

LDRA TESTBED在航天软件测试中的应用

提出采用LDRA(Liverpool Data Research Associates Ltd.)TESTBED测试工具辅助完成高可靠性的军用软件测试工作,并通过测试实例阐述了该工具在航天软件测试中的应用方案。结果证明,合理使用该工具,能够有效避免人为失误,提高软件测试的效率和信息采集的准确度。     

基于FFT的伪码快速捕获算法研究

扩频通信系统对信号捕获性能的要求不断提高,文中研究一种基于FFT的伪码快速捕获算法。应用易于硬件实现的基2-FFT算法。为了得到2~N长序列。讨论补零、线性内插、邻近取值、sinc函数内插四种重采样方法,分析比较他们在捕获过程中时相关峰值计算结果的影响。其中sinc函数内插法可以得到最好的捕获效果。针对微弱和高比特率信号,详细介绍并分析一种多数据住相关值整合算法。仿真证明这种捕获算法可以提高微弱信号的检测性能。