【摘 要】
：
目前,扩展有限状态机的测试问题为基于扩展有限机模型获取合适的迁移路径,然后根据这些路径导出测试数据。针对提高基于扩展有限状态机模型生成测试用例效率的目的,采用了将
【基金项目】
：
湖南省教育厅科学研究重点项目(16A182)
论文部分内容阅读
目前,扩展有限状态机的测试问题为基于扩展有限机模型获取合适的迁移路径,然后根据这些路径导出测试数据。针对提高基于扩展有限状态机模型生成测试用例效率的目的,采用了将扩展有限状态机模型状态迁移图转换为状态迁移树的方法,通过对扩展有限状态机状态迁移树的分析,获取基于该树的测试路径,再根据扩展有限状态机模型的迁移信息表以及迁移路径的可行性,分析且构造测试用例,最终得出该方法有效减少了测试用例生成的复杂性,提高了基于扩展有限状态机模型的测试效率。
其他文献
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
我国的芹菜品种类型分中国芹菜和西洋芹菜两大类。在209份地方品种中,叶柄淡绿和绿色的约占80%左右,白色种占20%。早、中、晚熟品种分别为45个、94个、70个。植株高、中.矮的
针对农业领域物理防控农作物害虫的需要,设计实现了一个高压可调大范围的开关电源,采用ARM7微处理器作为电源的控制器完成ADC变换及运行PID算法,产生脉冲编码调制PWM实现对调
<正> 伴随金秋的临近,“平遥”与“摄影”又一次成为诸多媒体上频频闪现的词汇。于是,平遥——这一被列入世界文化遗产名录的内陆古城再次成为世界瞩目的焦点,风尘仆仆的国内
在语音情感识别的研究中存在特征集维度过高的问题。高维度的特征向量易造成参数过拟合。因此需要一种合适的特征提取与筛选的方法降低特征维度。自编码器是一种应用广泛的特征降维方法,由此本文提出一种基于栈式自编码器,结合对抗训练的方法并在对抗训练中引入Wasserstein距离构造对抗损失函数进行特征降维。实验结果表明,与原始的对抗自编码器相比,经过改进的自编码器在对特征进行同等程度的降维后,准确率平均提高
针对现有方法无法对电力系统故障进行技术上与安全性实验的问题,文中基于MATLAB对电力系统故障进行了建模及仿真分析。在介绍电力系统故障分析方法的基础上,对单相故障进行理
针对当前配电设备识别技术存在资源消耗大、智能化程度低、效率低、自动化处理困难等问题,文中提出一种基于深度学习的配电设备智能识别技术。通过对待监测区域安装网络摄像设备采集待监测区域图像数据,将采集原始数据通过网络传输至服务器端,服务器端通过深度学习相关技术对图像数据进行处理识别,引用数据挖掘和人工智能相关算法,最终给出相关配电设备的识别结果,并将结果反馈至监控端。相较于传统方法,本技术利用远程网络设
介绍几个高产谷子品种（系）刘正理（河北省承德农科所，承德市０６７０００）承德农科所自建所以来，先后鉴定育成谷子品种（系）２０多个，其中采用系统育种和杂交育种法育成的品种累计推广面积１１００万亩左右。现将
我国56个民族都具有丰富的民族符号,为影视艺术的民族视域观察,提供了原生态的地域化、多元化、异质化素材,这些丰饶的民族符号在多元文化错综复杂的共同繁荣过程中,建构起了