搜索筛选:
搜索耗时3.6081秒,为你在为你在102,285,761篇论文里面共找到 10 篇相符的论文内容
发布年度:
[期刊论文] 作者：刘珊艳,,
来源：荆楚理工学院学报 年份：2015
燃气报警器是非常重要的燃气安全设备,它是安全使用城市燃气的最后一道保障。采用时间自动机对报警器系统进行精确的描述和验证是保证其正确性和实时性的重要途径。文章设计...
[期刊论文] 作者：刘珊艳,
来源：云南师范大学学报：自然科学版 年份：2006
XYZ／ADL是一种基于时序逻辑语言XYZ／E的可视化体系结构描述语言。文章使用XYZ／ADL对高校选修课管理系统的体系结构、客户端组件及服务器端组件进行了抽象描述，并对服务器组件中选......
[期刊论文] 作者：刘珊艳,
来源：湖北理工学院学报 年份：2017
软件测试是保证软件可靠性的主要方法,为了提高测试的质量可以在需求分析阶段对测试对象进行分析,根据需求分析规则产生的谓词常常可以用于软件检测。讨论基于谓词的测试准则...
[期刊论文] 作者：刘珊艳,
来源：中国科技信息 年份：2013
软件工程是指导软件生产、维护的一门工程学科，是计算机科学与技术研究的一个热点。本文研究了如何利用项目驱动课程教学的方式，将软件工程开设成学生岗前培训的技能课及工程能......
[会议论文] 作者：刘珊艳,
来源：全国新建本科院校联席会议暨第十八次工作研讨会 年份：2018
针对软件测试人才市场的需求情况,分析国内软件测试专业的教育现状,提出新形势下信息产业的“软件测试”课程建设方案.分别从教学模式、教学内容和教学体系设置等方面介绍了高校“软件测试”课程改革实施,促进软件测试人才的培养,缓解软件测试人才的供需失衡现......
[期刊论文] 作者：刘珊艳,胡秀,
来源：贵州师范学院学报 年份：2019
在新工科人才培养模式指导思想和基本要求下,分析了软件测试技术发展的现状及现有软件测试课程教学存在的问题。提出了课程教学知识点要前后贯通、教学内容要融合测试领域前...
[期刊论文] 作者：刘珊艳,张广泉,
来源：重庆师范大学学报：自然科学版 年份：2006
针对实时系统在计算机系统应用中的重要性，采用形式化方法是保证实时系统软件开发正确性的一种重要途径，而时序逻辑这种形式化方法是研究实时系统的一个重要的理论基础。本文给......
[期刊论文] 作者：张太武,刘珊艳,
来源：长江大学学报自然科学版：理工卷 年份：2006
探讨了UML在面向对象需求分析中的应用．并结合实例．构建了UML的若干简易视图，包括用例图、类图、状态图等。提出了一种实用的基于UML的系统需求分析及建模方法．阐明了这种建模语......
[期刊论文] 作者：刘珊艳,胡秀,严武,
来源：湖北工业大学学报 年份：2020
在介绍了大数据测试的主要技术后,给出了面向大数据的测试过程,由于ETL(Extract Transform and Load抽取、转换和加载)测试是数据仓库测试中重要且复杂的阶段,给出了ETL测试...
[期刊论文] 作者：刘珊艳,戎玫,张广泉,
来源：微计算机应用 年份：2008
时间自动机是一种重要的实时系统建模工具。本文建立了实时时序逻辑语言XYZ／RE到时间自动机的一种映射机制，将XYZ／RE所描述的系统进程直接转换为时间自动机，这样不但可以准确捕获......
相关搜索：
