【摘 要】
：
为了提髙嵌入式软件的单元测试效率,同时能达到很好的测试效果,针对嵌入式软件制定单元测试充分性准则和单元测试策 略,并使用测试工具对嵌入式软件进行单元测试具有实际意义
【机 构】
：
中国船舶重工集团公司第七一0研究所
论文部分内容阅读
为了提髙嵌入式软件的单元测试效率,同时能达到很好的测试效果,针对嵌入式软件制定单元测试充分性准则和单元测试策 略,并使用测试工具对嵌入式软件进行单元测试具有实际意义;以浮力调节软件为例,通过研究基于控制流的单元测试充分性准则,结合浮力调节软件的单元测试需求,提出了针对浮力调节软件的单元测试充分性准则;同时,考虑到圈复杂度和函数节点数对函数正确实现的影响,制定了基于优先级的单元测试策略;利用自动化单元测试工具Testbed搭建了浮力调节软件动态测试环境,通过代码覆盖率分析,帮助创建测试用例以达到单元测试充分
其他文献
成果地质资料是经济社会发展的重要基础资源，是地质找矿成果的重要载体和重要基础要素，对相关地质项目的最终验收具有重要的实际意义。当今经济社会快速发展，地质找矿难度越来越
保证安全生产是电力企业的首要任务,由于电力企业专业工作的特殊性,必须切实加强对企业员工的安全培训与教育。文章依托江苏省电力公司职业技能训练基地,设计了体验式电力安
提高中职学生阅读能力，既是《中职语文教学大纲》的要求，也是学生健康成长的需要。为此，一要针对不同学生，采取不同方法，循序渐进培养学生对阅读的兴趣；二要在学生的阅读过程中全程
商鞅变法对于军事的增强显而易见,同时对于西秦社会文化的影响,也比较显著,主要表现为:弃仁义而立法度,以农战而扬实义,树法格而化民俗,赏公战而强军力。
在乐器表演中,手风琴的集体演奏可谓是一种非常重要的演奏形式,不仅要求学生在演奏时控制好自己的演奏,同样也要顾及并配合好同伴的演奏。由此可见,在手风琴的演奏过程中,学
日本作为法史学研究较发达的国家,其法史学研究方法自有其独到之处。本文通过对日本法史学者著作的分析,勾勒出日本的中国法史学学科研究方法,从中解析出日本法史学所具有的
目的:了解辽宁省清原县满族成人的容貌特征并积累其形态学资料。方法:在知情同意情况下,对生活在辽宁省清原县的322名满族成人(男132名,女190名)头面部的20项指标进行活体观
黄连，是常用的中药材，同时又是出口创汇的名贵中药材，具有清热、泻火、燥湿等功效。目前，市场销售价每公斤150元以上，正确采收加工是保证质量效益的关键环节。峨眉山市药农创造的
广告艺术通过形态、肌理、色彩、空间、动势等设计要素和构成要素表现广告主体——商品的价值和内涵,在艺术感受的同时传达艺术内容,这是共享,是艺术固有的,但在今天增加了有
通过地震属性预测储层参数的方法有单属性方法和多属性方法，多属性方法又分为多元线性回归算法和神经网络算法。本文详细分析了这些方法的特点以及预测的效果。利用多属性预测