刘珊艳 作品数:11 被引量:25 H指数:3 供职机构: 荆楚理工学院计算机工程学院 更多>> 发文基金: 重庆市教育委员会科学技术研究项目 重庆市自然科学基金 江苏省高校自然科学研究项目 更多>> 相关领域: 自动化与计算机技术 文化科学 更多>>
新工科背景下软件测试课程教学改革与探索 被引量:3 2019年 在新工科人才培养模式指导思想和基本要求下,分析了软件测试技术发展的现状及现有软件测试课程教学存在的问题。提出了课程教学知识点要前后贯通、教学内容要融合测试领域前沿技术、注重学生测试技能培养的教学改革思路,分别从课程前期知识点、教学内容、自动化测试技能的培养、学习形式要求和创新能力培养等方面探讨新工科背景下软件测试课程教学改革的措施。通过将改革措施引入软件测试课程教学中,能够加强对学生测试实践能力和创新能力的培养,并提高教学效果。 刘珊艳 胡秀关键词:软件测试 教学改革 基于谓词的系统需求测试用例生成方法研究 2017年 软件测试是保证软件可靠性的主要方法,为了提高测试的质量可以在需求分析阶段对测试对象进行分析,根据需求分析规则产生的谓词常常可以用于软件检测。讨论基于谓词的测试准则BOR和BRO,并使用该准则检测需求规则中所有的布尔运算符故障和关系运算符故障。结果表明,根据谓词信息生成的测试用例集合是最小的,且每个测试用例都能从不同方面暴露各种运算符故障,从而可以对软件需求规则进行充分地测试,提高软件设计的准确性。 刘珊艳关键词:软件测试 谓词 测试用例生成 大数据软件测试技术研究 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/E XYZ/ADL UML在系统需求分析中的应用 被引量:13 2006年 探讨了UML在面向对象需求分析中的应用,并结合实例,构建了UML的若干简易视图,包括用例图、类图、状态图等,提出了一种实用的基于UML的系统需求分析及建模方法,阐明了这种建模语言在克服传统的需求分析及建模方法不足的情况下体现出的独特性和优越性,并为如何进行系统应用中的需求分析提供了有效的技术和方法。 张太武 刘珊艳关键词:UML 面向对象 软件工程项目化教学研究 被引量:1 2013年 软件工程是指导软件生产、维护的一门工程学科,是计算机科学与技术研究的一个热点。本文研究了如何利用项目驱动课程教学的方式,将软件工程开设成学生岗前培训的技能课及工程能力提高的特色课的教学途径。 刘珊艳关键词:软件工程 传统教学 实时时序逻辑语言XYZ/RE到时间自动机的映射 被引量:4 2008年 时间自动机是一种重要的实时系统建模工具。本文建立了实时时序逻辑语言XYZ/RE到时间自动机的一种映射机制,将XYZ/RE所描述的系统进程直接转换为时间自动机,这样不但可以准确捕获实时系统功能和控制行为,还可以利用基于时间自动机的验证工具UPPAAL对XYZ/RE描述的系统正确性进行检测。最后本文通过一个实例的描述与检测,验证了映射机制的有效性。 刘珊艳 戎玫 张广泉关键词:实时系统 时间自动机 UPPAAL