2. 您的位置
3. 首页
4. 期刊论文
5. 耦合条件的MC/DC测试用例集生成算法

耦合条件的MC/DC测试用例集生成算法

来源 :计算机系统应用 | 被引量 : 0次 | 上传用户：goodsky4008

【摘 要】

：

MC/DC是一套航电A级软件的测试覆盖性准则,可以有效减少测试用例量.针对如何快速获取尽可能小的测试用例集这一难点展开研究,重点关注于具有耦合条件的逻辑表达式,提出了两套

【作 者】

：

谢祥南  魏延栋 

【机 构】

：

中国航空无线电电子研究所

【出 处】

：

计算机系统应用

【发表日期】

：

2017年6期

【关键词】

：

MC/DC覆盖 测试用例 条件 判定 耦合 逻辑 

下载到本地 , 更方便阅读

下载此文 赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

MC/DC是一套航电A级软件的测试覆盖性准则,可以有效减少测试用例量.针对如何快速获取尽可能小的测试用例集这一难点展开研究,重点关注于具有耦合条件的逻辑表达式,提出了两套解决方案,分别用于解决零耦合/弱耦合条件和强耦合条件问题,并给出了示例证明.结果表明,灵活使用两套算法,可以全面解决一般逻辑表达式的MC/DC测试用例集的快速生成问题.

其他文献

五四运动与新史学的命运

〕１９０２年梁启超写的《新史学》打起“史界革命”的大旗，对封建史学展开猛烈批判。他在历史进化论的基础上提出新史学的历史观，建立起历史哲学，论说历史有客观的公理公例。五四运动后，到了本世纪２０年代，梁启超否定自己的新史学理论。五四运动时期，李大钊同志积极宣传马克思主义，以唯物史观为指导研究中国历史和近代社会，提出建设现代史学的主张，为马克思主义史学的发展奠定了基础。２０年代中国新史学发生的变化，留给人们的启示是：要发展新史学，就应当处理好历史观与方法论的关系，处理好理论与史料的关系，处理好输入新学理与史学

期刊

五四运动新史学

《山东五十年发展史》序

期刊

发展史五十年社会主义现代化建设精神文明建设邓小平理论经济建设社会主义市场经济体制解放思想历史研究党的十五大精神

世界冠军就用它 明基XL2410T游戏液晶深度体验

无论你是一位专业的游戏玩家,或者只是游戏爱好者,相信你的电脑配置应该不差,保持60fps帧速不是问题,只是一般液晶显示器那可怜的60Hz-75Hz的刷新率不足以发挥你＂爱机＂的全部性

期刊

液晶显示器游戏玩家明基世界显示器产品电脑配置产品研发刷新率

振兴沿海经济带完善区域物流法

物流业作为2009年十大振兴产业之一,有着极其广阔的发展前景,而对其发展起支撑和保护作用的物流法律却存在许多弊端和缺失,有待健全完善和进行有效的整合。国务院重点规划的

期刊

振兴区域物流法

浅谈企业改制中存在的问题及建议

企业改制是建立现代企业制度的一个重要途径。企业改制的核心是经济机制的转变和企业削度的创新，实质是调整生产关系以适应生产力发展的需要。企业改削也暴露出一些亟待完善和

期刊

企业改制法人治理结构资产评估建议

MMP-9、MMP-2在非霍奇金淋巴瘤病理组织中的表达及意义

目的探讨非霍奇金淋巴瘤（non—Hodgkin’s lymphoma，NHL）患者病理组织中MMP-9、MMP-2蛋白的表达及其相互关系，分析其临床及预后的意义。方法采用免疫组织化学S—P法，检测了51例NHL

期刊

MMP-9MMP-2NHL侵袭转移预后MMP - 9 MMP - 2 NHL invasion metastasis prognosis

社会主义政治体制改革的运行要素——兼论当代中国政治体制改革的战略地位和价值目标

政治体制改革是社会主义全面改革系统中的重要环节，是实现社会主义现代化的重要动力。积极稳妥地推进政治体制改革，必须深入探索政治体制改革的发展规律，全面把握政治体制改革的运行要素。社会主义政治体制改革基本运行要素包括：必须正确处理经济改革与政治改革的关系，为政治体制改革创造坚实的经济改革基础；必须大力加强民主政治文化建设，为政治体制改革构建强有力的政治文化支撑；必须积极沟通各政治机体之间的联系，为政治体制改革提供有利的政治环境

期刊

政治体制改革民主政治政治现代化

Intel发布首款六核台式机处理器

3月11日．Intel发布了首款六核台式机处理器Core i7—980X Extreme Edition。该产品将被用于工作站和游戏PC。Intel表示，与此前的产品相比．该处理器速度更快．能耗效率更高。由于采

期刊

台式机处理器INTEL六核EXTREMEEdition游戏PC四核处理器能耗效率

首台国产龙芯2F电脑——福珑2F

这是我国首款采用龙芯2F处理器的福珑2F迷你电脑．型号为2F6003，采用Loongson 2F处理器．主频800～900MHz．配置512MBDDR2内存，内置80GB2．5英寸硬盘．XGIV2图形处理器．集成VGA、DVI．S-Video

期刊

迷你电脑图形处理器2.5英寸硬盘S-VIDEO国产DDR2内存512MB

上网本显示器将突破12英寸魔咒

目前．Intel正在重新评估换核芯后的上网本产品．而显示屏尺寸的变化则成为其中的重点。一些笔记本厂商表示．Intel将放松对装载了双核心Atom N550处理器的上网本尺寸限制．可以从1．6

期刊

上网显示器INTEL硬件配置笔记本显示屏处理器TDP