孙守卿
- 作品数：12 被引量：14H指数：2
- 供职机构：山东理工大学计算机科学与技术学院更多>>
- 相关领域：自动化与计算机技术文化科学电子电信更多>>
- 案例驱动法在《软件测试》实践教学中的研究与应用被引量：1
- 2018年
- 近年来,软件行业蓬勃发展,使得保证产品质量,提高用户满意度成为业界共同关注的首要任务。《软件测试》课程隶属于软件工程课程群,是软件质量保证的基础。在深入分析了目前高校软件测试课程所存在问题后,本文从测试环境的搭建、完整案例的选择和实验项目及内容的设计三方面论述了基于"案例驱动法"的软件测试实践教学改革的研究内容及实施方案,该方案的初步构建和实施,对于系统的提高学生的动手实践能力及专业素养具有重要的意义。
- 苏晶张冬梅孙守卿
- 关键词：软件测试实践教学课程改革
- 硬件系统SystemCFL模型的SPIN验证
- 1 引言随着系统设计复杂度的提高,设计验证已成为系统设计的瓶颈;传统验证技术已不能满足需要,形式化验证技术是适应这种需求而产生的新技术。形式化验证方法包括算法验证、属性验证和等价性验证等方法。我们的研究领域为属性验证。属...
- 李彩虹李廉章超孙守卿吴孝军陈波
- 关键词：SYSTEMC
- 文献传递
- 分布式同步仲裁器电路的SPIN建模和验证
- 1言软件和硬件工程中已经成功地应用了各种验证技术,包括从模拟技术到模型检验技术。而模拟技术对规模比较大的系统很难验证所有的设计错误。测试技术也只能用于检测错误,而不能证明设计的正确性。近十几年来,模型检验技术已被应用于验...
- 李彩虹章超李廉孙守卿
- 关键词：SPINPROMELA
- 文献传递
- 基于模型检测工具SPIN的安全协议形式化分析
- ＜正＞ 1 引言安全协议是一种通信协议,它通过密码技术实现通信过程中的密钥分发以及身份认证,从而保证网络通信的安全。目前,存在多种验证安全协议的形式化方法和相应的工具。其中主要有定理证明和模型检测两种方法。定理证明是用逻...
- 孙守卿李廉章超李彩虹
- 关键词：SPINLTL
- 文献传递
- 中外合作办学形式下《计算机科学》课程教学实践与探索
- 2017年
- 《计算机科学》(Computer Science)课程是中外合作办学方向计算机科学专业的核心基础课程,其理论性强,内容抽象。本文从如何搞好课堂教学,针对中外合作办学生源的具体情况,在实际的教学过程中对原有的教学模式和教学内容作了调整,明确教学重点难点,很好地改善了教学效果。
- 孙守卿刘秋香苏晶
- 关键词：计算机科学形式化方法TRIPLELOGIC
- 基于SPIN的网络脆弱性分析
- 2008年
- 计算机脆弱性分析是指找出计算机系统的漏洞,以防危机计算机系统的安全。基于模型检验的分析方法不仅可以发现系统已知的漏洞,也可以发现系统未知的新的漏洞。在本篇文章中,我们利用模型验证器SPIN对网络系统脆弱性做了抽象的描述。建立了一个简单的网络脆弱性分析模型。
- 孙守卿
- 关键词：SPIN
- 基于模型检测工具SPIN的安全协议分析和验证
- 随着Internet和分布式系统的广泛应用,安全协议逐渐发挥着越来越重要的作用。形式化的方法是分析安全协议的主要方法。目前已经有很多研究安全协议的理论和方法,其中比较著名的有可证明安全理论、BAN逻辑、串空间模型理论以及...
- 孙守卿
- 关键词：安全协议形式化方法BAN逻辑SPINPROMELA串空间
- 文献传递
- 基于认知建构主义的《C语言程序设计》课程改革被引量：2
- 2020年
- 针对目前C语言程序设计公共课程中存在的专业相关性差、学生学习兴趣低、学生动手能力差等问题。以认知建构主义理论为指导,对公共课程《C语言程序设计》的教学模式以及实验实践内容、考核评价方式等进行相应改革。通过改革,使得学生的学习兴趣得到了激发,学生使用计算机语言解决实际问题的能力得到了提高,继而提高了学生综合掌握利用计算机程序设计的能力。
- 孙守卿
- 关键词：认知建构主义
- “案例引导、项目驱动”教学法在《.NET程序设计语言》课程中的应用被引量：3
- 2015年
- 《.NET程序设计语言》是一门实践性和操作性很强的课程,传统的教学模式已经无法适应发展的需要。本文介绍了一种"案例引导、项目驱动"教学法,这种教学法的关键在于选择案例和设计项目。课堂上,教师以案例的分析讲解让学生掌握相关的知识点与技术;机房中,学生以掌握的知识点与技术分组进行相关项目的开发。实践证明,该教学法不仅可以提高学生分析解决问题的能力,而且可以调动学习的积极性,锻炼团队协作能力。
- 刘秋香孙坤孙守卿
- 关键词：程序设计教学改革
