崔玲 作品数:20 被引量:8 H指数:1 供职机构: 北京工业大学 更多>> 发文基金: 国家自然科学基金 更多>> 相关领域: 自动化与计算机技术 文化科学 更多>>
一种对含有特殊转换过程的非通用有限状态机进行改造的方法 本发明公开了一种对含有特殊转换过程的非通用有限状态机进行改造的方法,属于系统测试领域,具体涉及一种对非通用有限状态机中的特殊转换过程进行改造的方法。针对非通用FSM中的特殊转换,本发明提出一种FSM模型改造方法,将非通用... 张建标 杨宇泽 崔玲 刘红宇 艾蓉文献传递 基于计算思维的数据库技术及应用课程教学研究 被引量:6 2013年 目前教育部启动的大学计算机课程改革项目,旨在推动以大学生计算思维能力培养为重点的教学改革。文章结合北京工业大学数据库技术与应用课程的实际教学情况,指出在教学活动中引入计算思维的重要性,从教学内容和教学方式方面探讨培养学生计算思维能力的可行性。 崔玲 王全民 吴丽影关键词:计算思维 数据库 教学实践 非计算机专业类'计算机安全技术及应用'课程改学探索 计算机安全技术是信息社会中一门选修的课程,作为新时代的大学生更是要了解和掌握一些必备的知识,这样才能学会保护自己的计算机,保护自己的网络世界。我们在多年讲授该课程的过程中,力求让非计算机专业学生以实际生活的计算机典型案例... 王全民 郑小静 崔玲关键词:安全技术 案例教学 实践教学 基于Wp的无线传感器网络系统测试方法及装置 本发明实施例提供一种基于Wp的无线传感器网络系统测试方法及装置,所述方法包括:通过用于植物生长环境监测的无线传感器网络系统描述得到的有限状态机模型,计算有限状态机模型中所有状态的等价特征集、转换覆盖集以及状态覆盖集,并根... 张建标 崔玲一种无线传感器网络的故障发现和快速报警的方法 无线传感器网络的故障发现和快速报警的方法属于无线传感器网络运行领域,其特征在于,是一个由中控节点和所有无线传感器共同组成的中心辐射网以及一个由各存储服务器彼此通过光缆连成的蠕虫网经各无线传感器上下串接而成的组合网中实现的... 张建标 李跃华 崔玲 公备文献传递 基于Wp的无线传感器网络系统测试方法及装置 本发明实施例提供一种基于Wp的无线传感器网络系统测试方法及装置,所述方法包括:通过用于植物生长环境监测的无线传感器网络系统描述得到的有限状态机模型,计算有限状态机模型中所有状态的等价特征集、转换覆盖集以及状态覆盖集,并根... 张建标 崔玲文献传递 基于Access的'数据库技术与应用'课程实践 针对非计算机专业学生数据库技术与应用课程的实践,重点从教学方法和手段上对该课程的改革和实施进行了探讨.本课程采用案例式教学,边讲授、边实现;学生采用项目式学习,边模仿、边实践;并辅以情境教学、活动教学等多种教学方法。以“... 蔡越江 崔玲 韩彦平关键词:教学改革 素质教育 基于集合覆盖的Wp方法测试集约简方法 被引量:1 2016年 为了提高测试效率,提出一种基于集合覆盖的测试集约简方法.该方法对有限状态机(finite state machine,FSM)模型中经典的测试生成算法Wp方法(部分W方法)所生成的测试集进行冗余约简.通过分析Wp方法的特点,找出测试序列之间包含关系的规律,删除冗余的测试用例.理论分析和实验结果表明:该方法能够有效约简测试集,并且不改变故障检测能力. 崔玲 张建标 公备 吴丽影基于有限状态机的系统诊断方法、装置、设备及存储介质 本发明实施例涉及计算机技术领域,公开了基于有限状态机的系统诊断方法、装置、设备及存储介质。本发明实施例先根据测试序列对预设有限状态机进行测试,以得到测试结果;从测试结果中获取与初始症状对应的冲突集;通过冲突集中的转换行为... 张建标 崔玲基于Wp测试用例约简集的无线传感器网络系统测试方法 基于Wp测试用例约简集的无线传感器网络系统测试方法属于无线传感器网络系统的通信协议设计验证和系统测试。其特征在于,依次含有以下步骤:利用Wp方法处理计算机仿真系统有限状态机模型M<Sub>1</Sub>生成测试用例集、为... 张建标 刘红宇 崔玲 杨宇泽 艾蓉文献传递