国内外入学准备研究比较:特征、趋势与展望

运用COOC、VOSviewer和CiteSpace等工具,对CNKI和WOS核心合集数据库的有关国内外入学准备的研究进行分析。结果显示,国内外入学准备研究均呈上升趋势;中国尚未形成稳定的研究团队,与国外存在差距;目前国内研究集中于国外成果介绍、幼小衔接、幼儿园入学准备实践及新生入学适应,国外则关注学业准备、执行功能、自我调节及其干预措施;未来国内研究将关注城乡差异、学习品质、大班儿童和家园合作,国外则侧重于儿童心理健康、家庭养育对入学准备的影响及元分析的应用。在此基础上,对我国入学准备研究的发展方向做出展望。

利用逆向判定性缩短EFSM的测试序列的长度

在一个以扩展的有限状态机 (EFSM)为模型描述的协议测试系统中 ,测试序列的可执行性是一个重要的问题。同时 ,还要考虑到测试序列的优化问题。文中以EFSM为协议的描述模型 ,引入了逆向判定性的概念 ,并利用这一概念对转换可执行性分析 (TEA)方法进行了改进 ,缩短了生成的测试序列的长度 ,并且减小了所需的TEA树扩展空间。

一种改进的转换可执行分析测试序列生成算法

为确保测试序列对控制流和数据流的覆盖,提出了一种对以扩展有限状态机(extended finitestate machine,EFSM)为模型描述的协议进行测试的方法.该方法在控制流部分采用惟一输入输出(unique input/output,UIO)序列,在数据流部分采用全定义-使用路径(all Def-use paths)标准,通过改进的转换可执行分析(transition executability analysis,TEA)方法,使用深度优先策略生成TEA树,同时得到可执行的EFSM控制流和数据流测试序列以及所有变量的定义-使用对(Def-use pairs).