吴沛林
- 作品数：3 被引量：4H指数：1
- 供职机构：湖南涉外经济学院更多>>
- 发文基金：湖南省普通高等学校教学改革研究项目湖南省教育厅优秀青年基金湖南省教育厅科研基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于Java建模语言的不变量检测工具
- 2012年
- 结合Java建模语言描述了程序不变量的基本概念,以程序静态分析技术和动态分析技术为基础,讲解了程序不变量在软件质量保证中的重要作用。分别针对主要的两种不变量检测工具Daikon和Diduce,叙述了它们的主要功能以及检测不变量的基本过程。阐述了两种检测工具的共性,并在此基础上进一步分析了程序不变量检测的基本理论模型,最后分析了两种工具面临的主要问题。
- 刘树锟莫正杰吴沛林黄小波
- 关键词：程序不变量
- 基于C#语言的程序合约动态抽取工具
- 2013年
- 文章中描述了C#语言实现程序合约动态抽取工具的整体设计过程，包括变量轨迹的提取和动态检测思想。针对二元关系和三元关系的检测原理和实现过程进行了详细的描述。实现了能够对指定源程序导出其变量运动轨迹并进行动态检测的功能。
- 刘树锟莫正杰吴沛林
- 高校开放式实验教学管理系统被引量：4
- 2014年
- 实施开放式实验教学实践,鼓励学生开展个性化学习、自主性学习,有利于提升大学生的自学能力和探索能力.设计并实现了一个基于ASP.NET的高校开放式实验教学管理系统,它以开源系统FrameWork为底层平台,实现了实验预约管理、实验课程管理、实验室管理等上层应用功能,设计了完善的预约时间约束检测和可视化预约工位的动态生成算法,可满足开放式实验管理的复杂需求,具有较高的实用价值.
- 马华吴沛林
- 关键词：高校教学管理系统实验预约
