论文部分内容阅读
基于覆盖软件测试技术在实时嵌入式软件中的应用进行的研究，针对实时嵌入式软件测试的特点，文中提出了一个适用于实时嵌入式系统覆盖测试的软件测试模型。并对该模型实现中的核心技术进行了阐明。最后介绍了以上软件测试技术在实际工程项目的应用情况。
基于覆盖的软件测试技术在实时嵌入式软件中的应用研究
【摘 要】
：
基于覆盖软件测试技术在实时嵌入式软件中的应用进行的研究，针对实时嵌入式软件测试的特点，文中提出了一个适用于实时嵌入式系统覆盖测试的软件测试模型。并对该模型实现中的核
【机 构】
：
中国航空计算技术研究所
【出 处】
：
计算机工程与设计
【发表日期】
：
1998年6期
其他文献
劳动异化、人的异化、生态异化,三者之间具有非常密切的逻辑关联,劳动异化首先导致人的异化,进而导致生态异化。《1844年经济学哲学手稿》中马克思重点阐述了劳动异化思想,劳
村级集体经济是中国农村基本经济制度的实现形式和全面实施乡村振兴战略的重要力量。本文基于对湖州市近年来村级集体经济收支数据的分析调查,揭示了目前村级集体经济中存在
光是植物生长过程中不可或缺的因素之一,人工补光可有效提高植物光合作用,促进农作物增产增收。现有LED补光系统在环境适宜性监测、光源控制和植物不同阶段需光量差异性考虑
冗余磁盘阵列虽然引入了容错机制使得磁盘阵列的数据可靠性得到了很大的提高，但同时也引起性能不降。而且随着磁盘数量的增加，磁盘失效的概率将明显增大，当单个磁盘失效后，虽然此
文中讨论了关系数据库中的知识发现，以RS理论为数学工具，将面向属性的归纳方法与实例学习相结合，用来关系数据库中知识发现的属性泛化和约简。引入了属性泛化的算法。用信息论的
介绍为商品流通企业设计的一个高效率的财务管理系统的体系结构，主要功能，设计原则和特点。探索如何对一些比较规范的会计原始凭证自动作帐务处理的方法，并且给出一些与一般财务
以水为溶剂，红磷、硝酸镍为原料，采用水热法制备磷化镍（Ni2 P），并考察了P／Ni摩尔比、表面活性剂种类、反应时间和反应温度对产物晶型、晶粒大小、形貌的影响。利用XRD（ X射线衍射）、B
本文将关系模式分解得到的一组子模式的属性集看成是与相容类甚至完全覆盖有关的属性集合分解，探讨在一定的条件下，寻找新的子模式的方法，得到一组有用的判定定理结果。
本文对袖套式挠性接管的平衡性能、静刚度参数及阻抗特性进行了试验研究,并在试验室用船用往复式舱底泵对袖套式挠性接管进行了不同压力状态下的管路减振效果的试验, 试验结