您的位置： 专家智库 > >

刘珊艳

作品数：11 被引量：27H指数：3
供职机构：荆楚理工学院计算机工程学院更多>>
发文基金：重庆市教育委员会科学技术研究项目重庆市自然科学基金江苏省高校自然科学研究项目更多>>
相关领域：自动化与计算机技术文化科学更多>>

合作作者

文献类型

  • 10篇期刊文章
  • 1篇会议论文

领域

  • 10篇自动化与计算...
  • 4篇文化科学

主题

  • 4篇软件测试
  • 3篇课程
  • 3篇教学
  • 2篇软件工程
  • 2篇时间自动机
  • 2篇时序逻辑
  • 2篇实时系统
  • 2篇自动机
  • 2篇逻辑语言
  • 2篇课程建设
  • 2篇UPPAAL
  • 2篇XYZ/E
  • 1篇信息产业
  • 1篇形式化
  • 1篇形式化方法
  • 1篇选修
  • 1篇选修课
  • 1篇选修课管理
  • 1篇映射
  • 1篇软件测试课程

机构

  • 8篇荆楚理工学院
  • 4篇重庆师范大学
  • 1篇长江大学
  • 1篇暨南大学
  • 1篇苏州大学

作者

  • 11篇刘珊艳
  • 3篇胡秀
  • 2篇张广泉
  • 1篇戎玫
  • 1篇张太武

传媒

  • 1篇云南师范大学...
  • 1篇微计算机应用
  • 1篇中国科技信息
  • 1篇科技资讯
  • 1篇重庆师范大学...
  • 1篇湖北工业大学...
  • 1篇长江大学学报...
  • 1篇荆楚理工学院...
  • 1篇贵州师范学院...
  • 1篇湖北理工学院...

年份

  • 1篇2024
  • 1篇2020
  • 1篇2019
  • 1篇2018
  • 1篇2017
  • 1篇2015
  • 1篇2013
  • 1篇2008
  • 3篇2006
共 11 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
新工科背景下软件测试课程教学改革与探索被引量：4
2019年
在新工科人才培养模式指导思想和基本要求下,分析了软件测试技术发展的现状及现有软件测试课程教学存在的问题。提出了课程教学知识点要前后贯通、教学内容要融合测试领域前沿技术、注重学生测试技能培养的教学改革思路,分别从课程前期知识点、教学内容、自动化测试技能的培养、学习形式要求和创新能力培养等方面探讨新工科背景下软件测试课程教学改革的措施。通过将改革措施引入软件测试课程教学中,能够加强对学生测试实践能力和创新能力的培养,并提高教学效果。
刘珊艳胡秀
关键词：软件测试教学改革
基于谓词的系统需求测试用例生成方法研究
2017年
软件测试是保证软件可靠性的主要方法,为了提高测试的质量可以在需求分析阶段对测试对象进行分析,根据需求分析规则产生的谓词常常可以用于软件检测。讨论基于谓词的测试准则BOR和BRO,并使用该准则检测需求规则中所有的布尔运算符故障和关系运算符故障。结果表明,根据谓词信息生成的测试用例集合是最小的,且每个测试用例都能从不同方面暴露各种运算符故障,从而可以对软件需求规则进行充分地测试,提高软件设计的准确性。
刘珊艳
关键词：软件测试谓词测试用例生成
大数据软件测试技术研究被引量：1
2020年
在介绍了大数据测试的主要技术后,给出了面向大数据的测试过程,由于ETL(Extract Transform and Load抽取、转换和加载)测试是数据仓库测试中重要且复杂的阶段,给出了ETL测试的主要类型及ETL自动化测试的优势。通过对员工信息表进行数据填充测试及测试结果分析,说明ETL测试是保证数据质量有效性的重要途径。研究表明合理的搭建测试环境,应用自动化测试技术,可以提高测试效率以降低大数据测试的难度。
刘珊艳胡秀严武
关键词：大数据软件测试测试数据
基于UPPAAL的燃气报警器的建模与验证被引量：2
2015年
燃气报警器是非常重要的燃气安全设备,它是安全使用城市燃气的最后一道保障。采用时间自动机对报警器系统进行精确的描述和验证是保证其正确性和实时性的重要途径。文章设计了能够根据环境燃气浓度进行实时控制的燃气报警器系统自动机模型,并应用UPPAAL工具仿真系统的运行过程,进一步验证系统的安全性、活性、可达性和时间约束。实验结果表明,系统的执行不仅在逻辑结果上是正确的,在实时处理上也满足规定的时间约束。
刘珊艳
关键词：燃气报警器时间自动机UPPAAL实时性
工程教育认证背景下软件工程课程思政建设探究——从党的二十大报告中汲取课程建设本质
2024年
工程教育专业认证推动我国高校工程教育的发展,党的二十大报告对科技支撑社会主义现代化国家建设提出新要求。在研究工程教育认证毕业要求和党的二十大精神文明内涵的基础上,探讨将课程思政融入软件工程课程建设的思路,增加思政元素重塑课程教学内容,设计课程教学模式及优化课程评价体系,为工程教育认证背景下软件工程课程提出了可行的思政建设方案。
刘珊艳胡秀
关键词：工程教育认证软件工程
基于时序逻辑语言XYZ/E的实时系统应用研究被引量：1
2006年
针对实时系统在计算机系统应用中的重要性,采用形式化方法是保证实时系统软件开发正确性的一种重要途径,而时序逻辑这种形式化方法是研究实时系统的一个重要的理论基础。本文给出了时序逻辑语言XYZ/E的相关介绍,并利用XYZ/E的子语言XYZ/RBE与XYZ图描述了煤气炉实时控制问题。
刘珊艳张广泉
关键词：实时系统形式化方法时序逻辑XYZ/E
基于XYZ/ADL描述的选修课管理系统体系结构被引量：1
2006年
XYZ/ADL是一种基于时序逻辑语言XYZ/E的可视化体系结构描述语言。文章使用XYZ/ADL对高校选修课管理系统的体系结构、客户端组件及服务器端组件进行了抽象描述,并对服务器组件中选课这一事件进行了详细描述。
刘珊艳
关键词：软件体系结构体系结构描述语言XYZ/EXYZ/ADL
UML在系统需求分析中的应用被引量：13
2006年
探讨了UML在面向对象需求分析中的应用,并结合实例,构建了UML的若干简易视图,包括用例图、类图、状态图等,提出了一种实用的基于UML的系统需求分析及建模方法,阐明了这种建模语言在克服传统的需求分析及建模方法不足的情况下体现出的独特性和优越性,并为如何进行系统应用中的需求分析提供了有效的技术和方法。
张太武刘珊艳
关键词：UML面向对象
软件工程项目化教学研究被引量：1
2013年
软件工程是指导软件生产、维护的一门工程学科,是计算机科学与技术研究的一个热点。本文研究了如何利用项目驱动课程教学的方式,将软件工程开设成学生岗前培训的技能课及工程能力提高的特色课的教学途径。
刘珊艳
关键词：软件工程传统教学
实时时序逻辑语言XYZ/RE到时间自动机的映射被引量：4
2008年
时间自动机是一种重要的实时系统建模工具。本文建立了实时时序逻辑语言XYZ/RE到时间自动机的一种映射机制,将XYZ/RE所描述的系统进程直接转换为时间自动机,这样不但可以准确捕获实时系统功能和控制行为,还可以利用基于时间自动机的验证工具UPPAAL对XYZ/RE描述的系统正确性进行检测。最后本文通过一个实例的描述与检测,验证了映射机制的有效性。
刘珊艳戎玫张广泉
关键词：实时系统时间自动机UPPAAL
全选 清除 导出
共2页<12>
聚类工具0