论文部分内容阅读
在面对复杂的系统时，EFSM模型在语法上的欠缺，非层次结构会导致状态爆炸。针对EFSM中存在的状态迁移不确定性问题进行改进，对状态图中存在的超态结构，提出一种转化方法来消除状态图中的层次和并发状态，将其转化为EFSM后，用基于扩展有限状态机的测试用例生成方法来生成系统的测试用例。
一种基于状态图类测试用例的转换算法
【摘 要】
：
在面对复杂的系统时，EFSM模型在语法上的欠缺，非层次结构会导致状态爆炸。针对EFSM中存在的状态迁移不确定性问题进行改进，对状态图中存在的超态结构，提出一种转化方法来消除状态
【机 构】
：
鹤壁职业技术学院电子信息工程学院
【出 处】
：
电脑知识与技术：学术交流
【发表日期】
：
2015年9期
其他文献
孟河费氏治咳经验丰富,后世传人在继承的基础上不断创新发展。为探究孟河医派费氏治咳临证经验传承路径,通过文献整理、数据挖掘对费氏及其二代传人(徐迪华、申春悌)治咳方剂
本文系统地介绍了雷达极化基础理论。首先引入了电磁波极化的各种描述符,然后详细地阐述了雷达目标极化识别技术中的两个重要概念——散射矩阵和最佳极化,并导出了各种散射矩
目的筛选由花生四烯酸(AA)诱导的鸡血藤抗血小板聚集作用的有效成分。方法采用水提醇沉法,得鸡血藤浸膏(总成分),用AB-8大孔吸附树脂提取其中的总黄酮成分,提取黄酮后剩下的
通过引进接近１的修正系数η，计算波导结式环行器的退磁铁氧体柱形谐振腔谐振频率，并列出计算带宽的通用公式。实验结果证明了此计算方法的正确性。本文的计算公式便于计算机编程
搬家,寻常百姓家的不同寻常事。今年春末夏初,我又一次搬家,连同以前的几次,40年来共搬了4次。每次搬家的景况都大不相同,都感怀至深,久久难忘。1978年前后,在连队住的是土块
数据库查询优化技术对提高数据库的查询效率,增强数据库性能有重要作用。针对大型数据库中多表连接查询效率低的问题,提出了一种基于粒子群算法的改进查询优化算法。针对多表
目的了解西安市阎良井家村奶牛场布氏杆菌病（简称布病）感染现况。方法根据《陕西省布病监测方案》要求开展监测，病例判定依据GB15988-1995。结果奶牛场监测48人，琥红平板凝集试验