基于蝴蝶模型的星载嵌入式软件测试策划

来源 :光学精密工程 | 被引量 : 0次 | 上传用户:zyyafeng621214
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为降低星载嵌入式软件测试风险, 提高软件的研制效率, 给出了一种星载嵌入式软件测试策划方法, 并利用该方法策划了基于蝴蝶模型的星载相机嵌入式软件的测试。首先, 介绍了蝴蝶模型, 针对星载嵌入式软件的特点, 在蝴蝶模型测试过程的思想基础上, 给出基于星载嵌入式软件的测试策划方法, 并分析了方法的优点; 然后, 以某星载相机嵌入式软件为例, 应用该方法对软件研制的整个过程进行了测试策划; 最后, 对测试结果进行了分析。实验结果表明, 采用该方法进行星载嵌入式软件测试策划, 能够发现和避免约80%的需求错误和缺陷、60%的设计错误和缺陷, 从而降低软件测试风险, 缩短软件研制的周期, 提高星载嵌入式软件的可靠性。
其他文献
A novel structure, called a “freeform surface,” is integrated into a direct type light-emitting diode backlight. By applying the Taguchi method, the performance of this backlight is optimized. The Taguchi experiments are configured in
美帝加里福尼亚大学的研究者已用短脉冲红宝石激光器作为新的条纹转镜照相机系统的光源,去研究爆炸的气体动力学。
期刊
在大口径管中的稳壁放电也将使用其它的情性气体,或金属蒸汽工作,它在可见以及近紫外波段提供高的连续功率。
期刊
用光学参数定量诊断病变组织是当前生物医学光子学领域中研究的热点问题。利用太赫兹时域光谱系统,在室温氮气环境中,获得了不同质量分数无水葡萄糖在0.15~3 THz频段的高分辨率吸收谱和折射率谱;基于密度泛函理论,利用Gaussian 09软件对葡萄糖进行了B3LYP/6-31G水平上的单分子、双分子和多分子结构优化和红外吸收模拟;基于Materials Studio 7.0量子化学计算软件,采用CASTEP模块和广义梯度近似方法,开展了对葡萄糖晶体结构的频率计算。实验结果表明,葡萄糖在0.94,1.30,1
We report the deposition of Nb2O5 films on unheated BK-7 glass substrates using remote plasma sputtering system. The remote plasma geometry allows pseudo separation of plasma and target bias parameters, which offers complete depositi
期刊
同步辐射红外(SRIR)光具有光谱范围宽、发散角小、亮度高以及信噪比高等优点,结合传统红外谱学技术,采用SRIR谱学显微技术对样品进行红外谱学显微,可以获得样品微米级别的空间光谱信息。利用MiTeGen聚亚酰胺小环作为样品,以上海光源BL01B1线站的SRIR光为光源,通过点扫描采样方式进行同步辐射红外三维谱学显微实验研究。通过获得聚亚酰胺小环在不同角度下的SRIR二维显微光谱信息,选取波数范围为

研究感知亮度与光亮度、色度之间的关系,并针对激光投影电视设计了两次异色感知亮度匹配实验。实验一中基于两台具有相同参数的单色激光电视,研究了色饱和度、色调对感知亮度的影响。结果表明,当在同一色调,光亮度相同时,色饱和度越高,感知亮度越高,色饱和度变化程度对色调的系统等效亮度与光亮度比值(Lseq/L)的影响排序为蓝大于红大于绿。实验二中基于单色和双色激光投影电视,研究了不同色域对感知亮度的影响。结果表明,光亮度相同时,色域越大的电视,感知亮度越高,自然图片的Lseq/L略低于相应主色调的纯色图片。目前

从理论上分析了玻璃微珠定向回归反射原理,利用近轴光线球面折射理论分析了玻璃微珠实现回归反射的折射率,并结合实际使用情况,在最大可能增加回归反射的基础上,讨论了入射光线到主光轴的距离与回归光线和入射光线夹角之间的关系,从而确定出了实现最大反射时玻璃微珠的折射率范围为1.80~1.95,研究结果对回归反射标志牌的开发具有重要的理论意义。
采用KrF准分子激光辐照4H-SiC制备石墨烯层,从4H-SiC晶面取向对石墨烯生长质量影响的角度开展研究工作,分析激光能量密度、脉冲数及晶面取向对石墨烯质量的影响。当激光能量密度为1.06 J/cm 2,脉冲数为8000时,4H-SiC样品极性Si(0001)面和非极性a(11?20)面上生长的石墨烯质量均达到最好。石墨烯与4H-SiC衬底极性Si(0001)面之间存在缓冲层,为石墨烯的生长提供了模板,得到的石墨烯更为有序,缺陷态更少;而非极性a(11?20)面上生成的石墨烯与衬底之间未生成缓冲层,生长
期刊