【摘 要】
：
如何对复杂的嵌入式系统生成的测试序列集进行约简,使其更快地满足覆盖准则,从而有效地指导测试执行,是软件测试领域的关键问题。针对这一问题,结合嵌入式实时系统特点,采用S
【机 构】
：
南昌航空大学信息工程学院,南昌航空大学软件学院
【基金项目】
：
国家自然科学基金(No.61363015);国家部委基础预研重点项目;江西省研究生创新专项(No.YC2015-S324)
论文部分内容阅读
如何对复杂的嵌入式系统生成的测试序列集进行约简,使其更快地满足覆盖准则,从而有效地指导测试执行,是软件测试领域的关键问题。针对这一问题,结合嵌入式实时系统特点,采用SysML活动图对嵌入式系统进行建模,为了避免并发活动引起活动路径组合爆炸的问题,将并发活动进行压缩,选用转移边覆盖率作为测试序列集的评判指标,提出了一种更快满足覆盖率要求的算法—BFC算法。实验结果表明,提出的BFC算法可以有效地约简测试序列集,以较快的速度达到覆盖要求,提高了测试效率。
其他文献
文章对剩余电流保护器的一些主要技术参数及抗干扰问题进行了分析。
由临沂市有机农产品协会申请的“蒙山沂水及图形”商标，于2007年12月28日获国家工商行政管理总局商标局正式核准注册。这标志着临沂市第一个集体商标诞生。该商标核定在第31类
为研究断层防水煤柱挖潜对断层的影响，分析断层活化的危险性，应用FLAC3D数值模拟分析软件，以荆各庄矿1196F工作面开采挖潜F3断层防水煤柱为原型，对煤柱挖潜影响下F3断层活化进行
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
在低压电器试验中,由于外界的干扰,试验参数如试验电压、电流经常偏离预设值,从而对试验结果产生很大的影响.本文介绍一种在传统的模糊控制基础上,通过在线调整输出比例因子
石油化工是国民经济中尤为重要的基础工业,是战略性新兴产业发展的基础,目前,我国经济发展进入了新阶段,即面临着新的机遇,也面临着新的挑战。在新常态下,国内市场潜力巨大,
微课作为翻转课堂的一个必不可少的教学手段已然受到了广大教育工作者及学校管理者的重视，也开始被广泛应用到了实际的教学之中。本文从微课的概念特征及内容入手，分析了大学英
从山西产地骨皮（枸杞Ｌｙｃｉｕｍｃｈｉｎｅｎｓｅ根皮）中分离鉴定了４个化合物，为β－谷甾醇、盐酸甜菜碱、莨菪亭和阿魏酸二十八酯，后者为首次从枸杞属中分离得到
【正】 也许是宋太祖的功业过盛,在他的赫赫功业之下,宋太宗就显得有些黯然无光。因此,对宋太宗其人,历来似乎研究得不够。其实,构成宋初政治的主角,分别以武功、文治开创有