基于SysML模块定义图的集成测试序列生成方法

来源 :计算机工程与设计 | 被引量 : 0次 | 上传用户:lijingmeng
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
如何通过各应用系统之间的逻辑关系将嵌入式实时系统有序的集成起来,是嵌入式系统测试领域的热点问题。针对这一问题,提出一种以多应用间功能分解为依据、自底向上的集成测试策略。结合嵌入式实时系统功能分解的特点,采用SysML模块定义图对其进行建模。由于测试序列的生成是以覆盖准则为导向的,因此,通过对SysML模块定义图进行形式化定义,分析模块之间的关系对测试顺序的影响,提出相关模块分支覆盖准则。实例分析结果表明,相较于组合覆盖准则,相关模块分支覆盖准则能在一定程度上减少测试序列的数量,提高测试效率。
其他文献
为了进一步推进上市公司资产重组市场化进程,2014年底证监会颁布第109号令对《上市公司重大资产重组管理办法》进行了修订,正式将估值机构与估值报告引入并购重组市场。笔者
随着城镇化发展和大众休闲时代的到来,城市旅游蓬勃发展。城市旅游使得原本只是本地居民休闲载体的城市公园成为城市一个“对外的窗口”。城市公园的迅猛发展及人们对其日益
为提高合成孔径雷达目标识别性能,提出一种基于目标轮廓匹配的目标识别方法,目标轮廓描述目标的几何外形分布以及尺寸信息,是广泛应用于目标识别的特征之一。将目标轮廓进行