论文部分内容阅读
通过对基于模型设计的嵌入式软件测试技术的进一步分析,有效提高了嵌入式软件测试的认识,在分析过程,要重视结合软件设计实际,有针对性的采取更加高效的设计途径,以提高软件设计效率,本文深入工作实际,积极对其进行了实践探索,旨在通过进一步研究,能够为相关工作开展奠定良好基础。
基于模型设计的嵌入式软件测试技术
【摘 要】
：
通过对基于模型设计的嵌入式软件测试技术的进一步分析,有效提高了嵌入式软件测试的认识,在分析过程,要重视结合软件设计实际,有针对性的采取更加高效的设计途径,以提高软件
【机 构】
：
中航613研究所
【出 处】
：
科学技术创新
【发表日期】
：
2019年33期
其他文献
武陵古方志中记载：世传发现桃花源的武陵渔人黄道真确有其人，他初为渔人，后弃俗从道，成为一著名道人；黄道真家乡临沅高吾山流传一则“鹿穴传说”——有溪人射鹿，逐入一石穴，登梯上，豁
<正>人类历史肇始于猎物生存。由于认知的飞跃,人类成为最强大的动物。现代社会的竞争,猎取食物早已不是最终目的,组织的强大与否,在于能否猎到可以获取更多食物的人。赤裸裸
20世纪60年代，美国绿湾包装工橄榄球队因为连续夺得美国职业橄榄球联赛冠军而名声大作，在此之前，美国绿湾包装工橄榄球队一直在橄榄球联赛的最后几名奋力挣扎，该球队的教练文斯&#
<正> 1 临床资料李某,女,16岁,以行为孤僻、照镜子、多疑、损物,学习成绩下降年余,诊断精神分裂症偏执型。于1991年12月20日首次住院。入院后首选氯氮平治疗,后合并卡马西平
习近平总书记关于文化的重要思想创造性地丰富和发展了马克思主义文化观,为建设社会主义文化强国指明了前进方向。特别是习近平总书记关于中华文化的新思想新观点新论断，为我
报纸
文章对Fisher Dvc6000的校验作简单介绍,对工作中实际产生的问题,有针对性地提出解决的办法,使调节阀得以正常工作,保证工艺安全可靠,正常运行。
19世纪末,随着西学知识的大规模传播,国粹与欧化之辩始见于一些私人信函、日记和报刊言论之中。由于其相关言论或为私密之语,或为零碎杂言,遂不为时人重视。20世纪初,近代学
目的胃癌是一种常见的恶性肿瘤，最近研究结果显示，微小RNA（microRNA, miRNA）与胃癌的发生、发展有密切的关系，它们通过多种途径影响胃癌的发展，其机制是复杂多样的。miR-129是一个
近年来,一种新兴的商业模式——楼中店悄然出现,这种隐藏在高楼和小区里的店铺呈现出快速发展的趋势。通过对上海地区服装楼中店的市场调研,了解服装楼中店目前的生存状况,并
2015年10月29日党的十八届五中全会公报提出,促进人口均衡发展,坚持计划生育的基本国策,完善人口发展战略,全面实施一对夫妇可生育两个孩子政策,积极开展应对人口老龄化行动