陆公正
- 作品数：31 被引量：25H指数：2
- 供职机构：苏州市职业大学更多>>
- 发文基金：江苏省高校自然科学研究项目国家重点实验室开放基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 以赛证融通为导向的软件测试课程改革研究被引量：1
- 2022年
- 为了培养高质量的软件测试技能型人才,本文以“赛证融通”为导向,结合全国职业院校技能大赛和Web应用“1+X”认证的相关内容和标准,对现有软件测试课程从教学内容、考核机制、评价体系三个方面进行改革,形成嵌入式的教学内容、递进式的考核机制、过程式的评价体系,并在实践过程中取得了很好的效果。
- 陆公正刘阅兵周诗竣程媛
- 关键词：全国职业院校技能大赛软件测试课程改革
- 软件测试中单元测试案例教学实践被引量：3
- 2020年
- 单元测试是软件测试过程中必不可少的一个环节。作为《软件测试工具应用》课程的一个教学单元,在单元测试教学设计中,分析了单元测试的教学定位、学情和教学目标。结合黑盒测试用例设计方法和白盒测试用例设计方法,通过设计不同的案例,讨论了JUnit单元测试、被测代码100%覆盖率以及JDBC GUI程序的单元测试的在教学中的实现。
- 张苏杨元峰陆公正
- 关键词：案例教学软件测试JUNIT
- 基于UML状态图的工作流建模与验证
- 工作流是近年来计算机集成制造领域发展最为迅速的技术之一。目前已有多种产品应用于实际中，例如Metero、WIDE等。但由于大多数产品在产品建模过程中缺乏正确性验证或仅进行局部的语法检验，造成工作流模型存在死锁、活锁等缺陷...
- 陆公正
- 关键词：工作流UML状态图时序逻辑
- 文献传递
- 时间UML-Statecharts建模的工作流时序约束的一致性验证被引量：1
- 2006年
- 工作流模型验证已经成为工作流的重要研究领域之一,工作流模型的时间正确性的验证也越来越受到关注。本文通过对于UML-Statecharts进行时间扩展,建立工作流的时间模型,再把该模型转化为时间自动机,最后分别在建立阶段、实例化阶段和运行阶段使用模型检测技术对时序约束的一致性进行验证,检查是否存在相冲突的时序约束。
- 张广泉陆公正戎玫
- 关键词：工作流一致性
- 基于EFSM模型的路径测试数据生成方法
- 本发明公开了基于EFSM模型的路径测试数据生成方法，包括以下步骤：步骤一、对EFSM模型进行符号执行和数据流依赖分析，获得每条EFSM模型的路径约束；步骤二、使用遗传算法生成满足路径约束的测试数据，给定初始个体；步骤三、...
- 陆公正
- 文献传递
- 一种基于扩展UML状态图的并发工作流验证方法
- 2009年
- 当并发执行工作流的多个实例时会导致数据流访问时语义的不一致。首先扩展了传统的UML状态图，用它进行工作流实例建模。然后把扩展的UML状态图建立的工作流模型转化为Biichi自动机，并用Biichi自动机之间的积表示多个工作流实例的并发模型。接着给出了和证明了根据并发模型中标记的命题公式判定并发冲突的定理。最后，由于随着实例数目的增加，并发模型中的状态数也会按每个实例的状态数倍增加，为了解决这一问题，在检测并发冲突的算法中采用了on—the—fly技术.
- 陆公正吴澜波顾小晶张广泉
- 关键词：UML状态图BÜCHI自动机并发工作流
- 定义及验证UML Statechart图中的数据流语义被引量：1
- 2009年
- 在传统的UML Statechart图中加入了数据流对象后,因为UML Statechart图缺乏精确的数据流语义,所以不适合应用UML Statechart图对工作流中的数据流进行建模并验证其正确性。为了解决这一问题,选择标记转换系统(LTS)作为语义域,并用结构化操作语义(SOS)分两步定义了UML Statechart图的数据流语义,为工作流中的数据流正确性验证奠定了基础。在此基础上,使用时序逻辑公式表示数据流所需满足的性质,在验证数据流的正确性之前,给出了将它的UML Statechart图模型转化为可达状态迁移图的算法,最后通过模型检测算法验证数据流的正确性。
- 陆公正吴澜波张广泉
- 关键词：UML时序逻辑
- 基于众测平台的“软件测试”教学模式改革研究被引量：1
- 2020年
- “软件测试”传统教学模式在教学内容安排、教学质量反馈、实践能力培养等方面存在系统性、及时性、针对性、实用性不足的问题。基于众测平台的教学模式可以提升软件测试人才培养质量,满足新工科背景下对应用型人才的需求。
- 陆公正秦思奇张睿施冬梅
- 关键词：软件测试课程评价
- 一种前车碰撞预警系统
- 本实用新型公开了一种前车碰撞预警系统，包括：RFID射频识别标签、RFID识别器、中央处理器和蜂鸣器，所述RFID射频识别标签设于车辆后端，所述RFID识别器设于车辆前端，所述中央处理器与所述RFID识别器连接，并能控制...
- 尚鲜连陈静张苏陆公正
- 文献传递
- 景点智能识别语音翻译APP 的设计与实现被引量：1
- 2021年
- 许多游客在国外旅游时,由于语言不通,加上对当地景点的文化不了解,容易产生了较差的旅游体验。为了提高出境旅游的游客对景点信息有较为全面和准确的了解,本文研制了一款景点智能识别语言翻译APP。这款APP依托Android平台,通过图像识别、自然语言处理、语音识别等深度学习技术,实现了图像文字识别、地标识别、英汉互译、语言识别播放等功能。
- 陆公正刘阅兵周诗竣宋雅娟杨玉婷程媛
- 关键词：英汉互译语音播放
