论文部分内容阅读
基于嵌入式软件的测试经验,针对嵌入式软件特点,研究了基于PolySpace的嵌入式软件内存测试方法,分析了PolySpace使用的语义分析技术,以实例讲解了如何实现内存测试,并指出对覆盖率测试的帮助。对于嵌入式软件测试,具有实际参考价值。
基于PolySpace的嵌入式软件内存测试
【摘 要】
：
基于嵌入式软件的测试经验,针对嵌入式软件特点,研究了基于PolySpace的嵌入式软件内存测试方法,分析了PolySpace使用的语义分析技术,以实例讲解了如何实现内存测试,并指出对
【机 构】
：
中国船舶工业软件测试中心
【出 处】
：
电脑知识与技术
【发表日期】
：
2010年01期
其他文献
中华武龙是新时期民族优秀传统文化的体育项目之一,中华武龙不仅可以锻炼体魄,而且可以促进大学生增强民族情怀,使得大学生认同民族优秀传统文化,增强文化自信.本文研究了中
患者男,54岁。2年来反复出现咳嗽、咳少量白色痰,余无特殊未行系统治疗。半年前患者出现咳嗽、咳痰较前加重,伴后背肿胀等不适感,于2018年08月28日就诊于我院门诊,行胸部CT扫
<正>11月8日,《中国出口摩托车技术性贸易措施研究报告(2016)》结题验收会在重庆召开并顺利通过验收,这是质检系统首次针对单一产品技术性贸易壁垒开展的系统性研究。该项目
细细阅读了新课改的高中课程标准实验教材之一--<高中生物(苏教版)>(以下简称<教材>),不禁掩卷长思,中学生物教学的革命已经到来.笔者认为新<教材>的编写处处体现着培养学生
2011年11月27日，语文出版社和中国人民大学文学院联合举办了“底层青年的出路与乡土文学的新视野——纪念孙世祥逝世十周年暨《神史》研讨会”。《神史》是语文出版社出版的首
9806062 双胎剖腹产后阴道分娩/MillerD A//Am J Obstet Gynecol.-1996,175(1).-194～198 津医情9806063 B 族链球菌与胎膜早破早产:产前氨苄青霉素随机双盲临床试验/Grable I
<正>本刊讯(中华纸业综合整理)数字孪生(Digital Twin),顾名思义,就是数字形式的双胞胎,也叫数字双胞胎技术。在"数字孪生"中,双胞胎中的一个存在于现实世界的实体,小到零件
目的统计分析南阳南石医院静脉用药调配中心(PIVAS)记录的用药不合理情况,促进临床合理用药。方法对我院PIVAS 2016年7月~12月的843例用药不合理医嘱进行归类、分析。结果用
在不同的地区,受到不同的文化的渲染,进而产生了不同种类风格的民歌。在民歌演唱时,掌握一首民歌的语言、题材、文化、精神、心理、习俗、风格、气质以及民族问题是至关重要
以土地利用/土地覆被信息的提取为目的,选定武汉市江夏区的TM遥感影像为试验数据,在对其信息特征进行统计与分析的基础上,通过采用最佳指数因子(OIF)并综合试验区地物光谱特