此文章为本人亲自指导加编写，禁止任何人抄袭以及各类盈利性传播， 相关的代码+部署+论文+ppt+代码讲解+答辩指导文件都有可私
计算机专业毕业设计任何项目-程序-论文-想单独指导的可以私

项目难度: 中等难度
适用场景: 相关题目的毕业设计
包含内容: 整套源码+完整毕业论文
大家点赞、收藏、关注、评论啦 。
资源下载|如果你正在做毕业设计，需要源码和论文，不局限于该项目，私聊我

摘要

人们的经济在二十一世纪中发展迅速，这与现代社会中公司的增多有这直接的关系，企业的人数需求量增加，上班族也越来越多。在工作中，大多数的上班者处于静坐的状态，运动量极少，这使人们的身体出现了亚健康的状态。为了方便人们运动，在人们身边有很多健身房，这些健身房的管理并不足够完善，在管理中出现了很多问题。

为了解决健身房的管理问题，本课题针对健身房的管理做出了研究，通过调查健身房工作人员对系统的需求，分析出设计本系统的功能。本课题使IDEA作为本系统的开发环境，使用Java作为开发语言，使用MySQL作为数据的存储。，在本系统中，主要有娱乐收费、娱乐退费、设备入库、收费单位管理、服务项目管理、会员卡类别管理、员工信息管理、会员卡信息管理、操作员信息维护、修改个人信息、修改登录信息等功能。这些功能基本能够满足健身房的管理系统，避免人工失物给健身房带来损失，减缓了管理员在工作上的压力。

关键字：健身房；Java；MySQL

Abstract

People's economy has developed rapidly in the 21st century, which is directly related to the increase of Companies in modern society. The number of enterprises is increasing, and the number of workers is also increasing. In the work, most of the workers are in a sedentary state, with little exercise, which makes people's body appear in a sub-healthy state. In order to facilitate people to exercise, there are many gymnasiums around people. The management of these gymnasiums is not perfect enough. There are many problems in the management.

In order to solve the problem of gymnasium management, this topic has made a research on gymnasium management. Through investigating the needs of gymnasium staff on the system, the function of the design system is analyzed. This topic makes IDEA as the development environment of this system, Java as the development language, MySQL as the storage of data. In this system, there are entertainment charges, entertainment refunds, equipment storage, charging unit management, service project management, membership card category management, staff information management, membership card information management, operator information maintenance, modifying personal information, modifying login information and other functions. These functions can basically meet the management system of the gym, avoid the loss of artificial property to the gym, and alleviate the pressure of the administrator at work.

Key words: Gymnasium; Java; MySQL

目录

摘要

Abstract

第一章绪论

1.1课题的研究背景

1.2课题的研究意义

1.3国内外现状

1.4课题的研究内容

第二章 技术介绍

2.1jsp介绍

2.2Java语言

2.3SSM框架介绍

2.4Mysql数据库

2.5Tomact服务器

2.6本章小结

第三章 系统需求分析

3.1可行性分析

3.2功能需求分析

3.4数据库设计

第四章 系统详细设计与实现

4.1数据库连接

4.2登陆管理

4.3会员卡管理

4.3会员注册

4.4后台管理

第五章 系统测试

5.1测试分析

5.2项目测试

第六章 总结与展望

6.1 总结

6.2 展望

感谢

参考文献

第一章绪论

1.1课题的研究背景

随着人们生活水平的提高，人们对于健康越来越重视，健康的问题已经成为了当代社会中最为首要的任务，为了方便人们的锻炼，逐步有了健身房这样能够锻炼身体的场所。健身房是最近几年开始兴起的，在管理上运行的并不足够完善。随着网络时代的到来，在生活中和工作中到处都有网络的背影，这让很多工作更加便捷起来。早期的健身房管理并没有与网络联系在一起，而且把网络加入到管理中使健身房的管理成本增高。传统的健身房是通过纸质登记来进行管理的，随着健身人们的数量逐渐增多，这样的管理模式让工作人员在查找会员时浪费了大量的时间，降低了工作效率。

1.2课题的研究意义

健身房管理系统的研究意义主要是为了让健身房的管理有一个良好的管理系统，将管理系统与网络联系在一起，为以后健身房的良好发展奠定了一个基础，也减轻了工作人员的压力。健身房内人数的增多主要有两点，一是为了锻炼身体，现代生活节奏加快，人们的身体状况逐渐变差，在健身房锻炼能够让人们的身体更加健康；二是为了减轻个人压力，在生活和工作中难免会有一些高负担、情绪化，有时候这让人无处发泄，通过锻炼能够让人们得到减压的模式，随着发展健身房已经不仅仅停留在锻炼的存在模式，也以一种休闲场所而立足。因此，为了让健身房有一个更好的管理模式，让健身者能够不因为工作人员效率低而产生不良的服务，本课题针对健身房的管理开发了一款健身房管理系统，让网络与健身房紧密相连。

1.3国内外现状

随着网络技术的发展，人们生活水平的提高，对于健康人们也越来越重视了，尤其是国外的一些发达国家。在国外，运动、健身早在上个世纪就已经存在并发展起来，这也使外国的平均身体状况要优于我国。当然，健身房的出现主要是由于工业发展较快，国民在工作中运动较少所导致出现的新的行业。在欧美地区，正是因为工业代替了很多传统的手工行业，锻炼减少，因此出现了健身房的行业。健身房的出现在国外瞬间成为了一个流行的行业，在国外得到了发展，健身房的管理系统也成为了众人的研究对象，为健身房的发展有了长远的规划。

在国内，无论是经济发展还是网络技术，都要落后于国外，这使得健身房的发展也落后于国外。在近几年内，我国的网络技术和工业技术都逐渐提高，人们对生活的质量和身体的健康也都有了足够的重视，这使得健身房的行业在国内开始发展起来，从最早的只能够在健身房锻炼身体到能够在健身房有一些娱乐锻炼，例如游泳、瑜伽、跳舞、拳击等，这些都成为了吸引健身爱好者和消费者的亮点。在管理上，人们也不在拘束于传统模式的管理，网络发展起来后，开始将网络的发展和健身房的管理联系在一起，降低了人力成本，保证了数据的准确性和查找速度，让人们能够更加方便的享受工作。

在国内外，有关健身房办公管理的相关系统，在市面上已经出现了不少。但是，很多都是系统写的不够完善，或者不能满足大多数人们的使用要求。目前，我国的互联网发展迅猛，各行各业中都能看到互联网的产物。传统的人为、纸质已经不在适应社会的发展了，已经有很多传统的行业或者很多工作被高速运行的计算机所代替。而现在，很多的部门都依靠人力来统计，就人事来讲，如果公司内部员工庞大，对于员工来说，人事的工作量是非常巨大的。相对于国外来说，我国的办公管理系统起步较晚。在国外，互联网已经渗入到企业，员工可通过打卡模式在线打卡，记录当天的绩效考核，因此，拥有一个优良的健身房办公管理系统已经呼之欲出。对于国内外来说，健身房办公管理系统都在迅速发展，拥有很广阔的前景。随着物联网时代的到来，3G、4G的普遍，其中办公系统更是被看好的，基于Java语言开发的办公管理系统将会越来越流行。

1.4课题的研究内容

在本课中，主要是使用Java为工作语言，使用MyEclipse作为本系统的开发环境。在系统中存在大量的数据进行存贮，这些数据都是通过My SQL进行储存。在开发本系统时，最主要的工作是实现这些功能，将这些功能联系在一起，测试无误后能够正常运行；最大的难点在于在数据的存储上，数据问题在健身房是最为重要的问题，这关系这客户资料和资金的问题。因此在使用数据库时，采用MySQL数据库，这样使数据得到了更安全、不易丢失的保障。本文的重点在于将互联网和健身房管理联系在一起，并且能用相应的开发语言和数据库原理实现系统中的各个功能。本文的难点在于办公管理系统中各项功能的实现，要做好需求分析，进行详细的业务流程分析，得到系统的总体功能结构以及对系统的数据库设计。

第二章 技术介绍

2.1jsp介绍

jsp也成动态页面，里面包含了css、javascript、html标签，jsp其实就是html变换过来的，区别在于jsp中可以嵌套很多的标签，例如c标签、jstl标签，s标签，在用户访问时，首先浏览器会发送HTTP请求到应用服务器，然后服务器检索分析jsp网页的请求并传递此请求给JSP引擎，在引擎中可以将jsp页面转换为servlet，其实就是转换为服务器可以识别的Java文件，之后servlet会将HTML格式的内容输出到浏览器中，浏览器处理Rseponse返回的页面，之后渲染显示样式内容。

2.2Java语言

java作为最常用的开发语言之一，是基于面向对象的开发，而c++相比是基于面向过程开发，这也是java开发简单的原因之一，c++则经常作为底层开发语言或者游戏进行开发，据统计在近几年java一直是作为第一开发语言选择，java语言的开发优势明显，跨平台优势，不局限与某一开发平台，移植性较高，且具有三大特点，继承、封装、多态，因此代码的重复利用度与逻辑性较高，继承，可以将具有公共类或者属性的类进行整合，提炼，逻辑性更好，封装，则可以作为jar包，避免一些开发人员因为业务逻辑而去阅读一行行的代码，只需直接调用处理结果，多态，则是依据不同的情形对不同的方法设定不同的参数，返回不同的结果，java的开发包为jdk，包含了很多的基础的开发封装，java开发也有23中开发模式，都是经过提炼后的一种设计思想。

2.3SSM框架介绍

Spring容器，作为java的三大框架之一，spring可以整合、集成很多的框架，spring主要的两个特点控制反转也成依赖注入、切面编程，切面编程顾名思义，切面设计原理，Java作为面向对象的设计理念，很多设计是基于对象的通俗来说就是基于点的设计或者拦截，AOP技术关注的不仅仅是某个横切点，而是整个分界行为面，将某种行为直接进行模块话，例如事务和日志、权限的管理拦截，核心构造是切入面，将对多个类构成影响的设计组装封装成一个模块，类似于Spring的interceptor设计思路，通过切面拦截，实现了某个接口，从而实现具体的切面业务逻辑。IOC核心设计是springframe.beans的jar包，主要设计为服务器自动生成代理对象，不经过用户创建生成，基于java的工厂设计模式，实现BeanFactory接口，通过Autowired 等名称注解注入和检索对象，BeanFactory作为最高级的抽象接口，直接管理对象之间的联系。Spring常用的设计单例模式，顾名思义，一个服务应用只能有一个且只能创建一次，一般为静态的static，Singleton作为最常用的设计对象模式，规避掉了每次用户都需检索创建新的对象。SpringMVC框架介绍：在最开始的时候servlet作为后台请求处理，业务繁琐，跟页面的交互也比较乱，struts的出现解决了路由请求的烦乱，而作为新兴框架Springmvc，彻底将请求交互变得更为清晰，基于Spring的注解，@Controller可以将对象注入到服务器，框架将访问路径也更为简化，只需在对象头部定义就可以，基于restful的风格更为简约鲜明，springmvc主要由以下几个功能模块组成，视图解析，处理器映射、DispatcherServlet，servlet在收到前端页面的请求后，根据配置的处理器映射，检索找到对应的handlerMapping，根据定义的规则，找到对象的处理服务。在后端server处理好业务，根据ModelAndServlet视图对象，解析配置，确认对应的ViewResolver，拼接路径，将要显示的数据返回给对应的视图。Mybatis框架介绍：jdbc作为底层的数据库处理交互的基础，无论是在事务的处理，还是增删改查sql的执行，拼接复杂，sql错乱，不易于阅读维护，mybatis可以简化sql语句，只需一个对象xml跟mapper对应，即可作为dao执行sql。

2.4Mysql数据库

mysql服务器作为目前最主流的高效率数据库，mysql作为操作最简洁、sql最简单的数据库，便于很多小型项目的选择，数据库中很重要的核心为事务，事务能够保证数据的原子性和一致性，避免了数据的脏读，如若执行sql失败，数据立马回滚，事务具有的四大ACID特性，一致性：保证数据的一致，原子性：以最小的单位进行执行，成功与否都是一个执行整体，持久性：sql执行成功即保存到数据库不会再进行改变，隔离性：在事务执行过程中不受其他干扰，此数据库采用插件式的存储优化引擎设计，根据不同的表的搜索条件设置不同的存储引擎，给一些操作频繁的表设计索引，查询快捷。

2.5Tomact服务器

tomcat即为部署服务器，可以部署静态的html，war包等应用，默认的访问端口为8080，关闭指令默认端口为8007，配置文件都在cof文件夹下面，其中包括server.xml,主要包括hosts配置、端口的配置，realm权限配置等，web.xml主要配置servlet，且可以配置MIME映射，tomcat-user.xml 顾名思义配置用户信息，manager默认会使用此文件，添加、编辑用户都可以修改此文件，在bin文件夹下有startup.bat、shutdown.bat主要用于开启关闭tomcat，在logs文件下有catalina.out文件，在服务部署启动运行的时候生成日志可以使用tail –f来动态查询运行日志。

2.6本章小结

本章主要介绍此系统在设计过程中才涉及的技术，本系统采用MVC的三层设计思想，采用Jsp作为页面设计，采用SSM框架作为Java后台设计，数据库存储采用Mysql。

第三章 系统需求分析

3.1可行性分析

经济可行性：在开发系统的时候，依据目前健身房管理平台系统进行分析，根据已有的资料来进行整合，设计系统所需要的各项软件均已很好的获取。相对于其他大型的健身房管理网站，本系统成本较低，可以满足功能信息的需求。前期投入开发较小，可以满足。      技术可行性：开发工具：IntelliJ IDEA，应用服务器：Tomcat，数据库所运行环境：MySQL，系统运行环境：Windows或Linux本系统在设计的过程中就是依靠JSP语言和MySQL数据库系统结合，采用实践法跟文献法进行分析设计。

3.2功能需求分析 

此系统主要分为两种权限，因此有前后台两种情况，前端主要为平台会员的注册，健身的预约，自身会员卡的管理，后台主要为会员的管理，会员卡的管理，健身缴费的管理，健身器材的管理，人事的管理等。

系统功能模块图如图3-1所示：

图3-1系统功能模块图

3.4数据库设计

根据功能模块梳理，数据库表结构如下所示

本系统数据存储采用mysql数据库，以下为表的数据库设计方案。

表1为健身卡信息表，用于存储健身卡基本信息，包括卡编号、单价、等级等信息。

表1 健身卡信息表

列名	中文描述	数据类型	约束条件
id	卡号	int(8)	PRIMARY KEY
cardnum	健身卡编号	varchar(50)
carddengji	健身卡星级	int(8)
price	健身卡单价	double
description	卡备注描述	varchar(50)

表2为健身会员信息表，用于存储平台用户及基本信息，

表2 健身会员信息表

列名	中文描述	数据类型	约束条件
hyid	会员编号	int(8)	PRIMARY  KEY
hyname	会员姓名	varchar(50)
hyusername	登陆用户名	varchar(50)
hytel	会员电话	varchar(11)
hyaddress	会员地址	varchar(50)
hycard	会员身份证号	varchar(50)
hypassword	会员密码	varchar(50)
hybirthday	会员生日	date

表3为健身预约信息表，用于存储平台会员健身预约基本信息，例如会员编号、预约日期，预约项目等

表3 会员预约信息表

列名	中文描述	数据类型	约束条件
id	预约编号	int(8)	PRIMARY  KEY
userid	用户编号	int(8)
riqi	预约日期	date
description	项目备注	varchar(50)

表4为健身器材信息表，用于存储平台器材基本信息，例如器材编号、器材描述、器材数量等

表4 健身器材信息表

列名	中文描述	数据类型	约束条件
id	器材编号	int(8)	PRIMARY  KEY
qcnum	器材数量	int(8)
qcname	器材名称	varchar(50)
description	器材备注	varchar(50)

表5为健身教练表，用于存储平台健身教练基本信息，例如教练的姓名、电话等

表5 健身教练信息表

列名	中文描述	数据类型	约束条件
id	教练编号	int(8)	PRIMARY  KEY
jiaolian	教练姓名	int(8)
jlsex	教练性别	varchar(4)
description	教练备注	varchar(50)

第四章 系统详细设计与实现

4.1数据库连接

在后端与数据库的连接交互时我们经常会用到数据库连接工具之前是JDBC连接，目前采用的上司c3p0连接池，可以对连接池的最大连接数，最小连接数，连接唤醒等进行自动配置c3p0目前作为最常用的数据库连接池，主要可以将连接池的连接数进行监控，可以进行连接数的自动增减，且可以通过select 1然后在8小时内进行唤醒，避免了 数据库假死情况，数据库配置文件内容如下4-1所示：

图4-1数据库连接配置

4.2登陆管理

系统主要分为俩种用户角色，后台管理员跟平台会员，首先进入登陆页面，输入用户名、密码通过Post进行提交到LoginController进行验证，通过findByName进行校验，如果未根据username查询到此用户则直接提示此账号不存在，如果根据username查询到用户则，以查询到的user进行跟前台输入的password进行匹配，匹配成功登陆成功，否则提示用户名或者密码错误，如果有此用户登陆成功否则登陆失败，如果没有账号，则进行新增，填写个人基本信息，username，password，tel等然后提交到后台调用add方法，首先进行校验查看是否此用户名已存在，若存在则提示此账号已注册，不存在则保存到数据库，登陆界面如下4-2：

图4-2登陆界面

4.3会员卡管理

会员卡模块，管理员登陆后可以跳转到会员卡新增页面，通过在input中输入会员信息，post方法提交form表单，将数据提交到controller，然后调用service中的addcard保存到数据库，提交成功跳转到查询页面，通过findByPage进行分页查询，界面如下4-3：

图4-3会员卡页面

4.3会员注册

会员注册侧模块，会员跳转到注册页面，通过在input中输入会员信息，post方法提交form表单，将数据提交到regedit，然后调用service中的insert保存到数据库，提交成功，界面如下4-4：

图4-4会员注册页面

4.4后台管理

后台模块，管理员登陆后可以跳转到后台管理界面，主要为健身房会员的分页查询，办卡业务的处理，娱乐项目的查询，健身房员工的查看等，在查询时通过findList查询数据通过c标签的foreach进行循环展示，在编辑时调用updayestatus进行更新，界面如下4-5：

图4-5后台页面

第五章 系统测试

5.1测试分析

在一个系统的开发中，从定义要开发的内容，到提出开发软件的需求，再到具体开发，最后到测试，一共会经历大概四个步骤。首先要确定我们开发的系统都有那些功能，在开发中会遇到什么问题，所提的功能是否符合标准，最后是否能够真正的开发成功，人们会觉得这个步骤是有用的。而到软件开发就更不用说了，也是比不可少的步骤。但是，到测试的步骤是，就会出现一些人对于测试这个步骤觉得有没有都可以，但实际上却不知测试才是一个程序或者一个系统的最终检验，因为系统开发出来是给人们使用的，并不是单纯的开发，而测试正是检验一个系统的开发是否正确，以及开发是否能够正常运行。

本章的目的主要就是针对本系统进行系统测试，本章首先介绍了系统的搭建环境和开发环境，其次按照每个功能的需求进行测试，测试应该进行多次重复测试，以确保测试的真实性和有效性，避免出现测试的小概率事件，影响用户的使用舒适。最后，我们应该通过测试进行测试分析，分析系统的功能和系统的测试情况，针对不同问题进行处理与改进，避免系统在使用时出现问题。

本系统中测试分为几大模块，包括用户的管理，活动管理、社团管理等，主要通过模块测试和黑盒、白盒测试进行分析，通过对模块逻辑的分析进行流程的测试。系统的测试环境在项目部署后，不同的浏览器来测试屏幕网页的自适应度，通过相同的浏览器不同的内核版本进行测试，首先安装JDK，然后安装测试服务器Tomcat，安装测试数据库Mysql，然后配置数据库，导入测试数据，从而搭建测试环境。

5.2项目测试

（1）用户登录模块测试

表5.1用户登录模块测试

测试模块	输入值	期待输出	真实输出
登录模块的测试	输入正确的用户名，正确密码	成功进入首页	成功进入首页
	输入错误的用户名还有密码	提示密码错误	提示密码错误
	用户名输入正确，密码输入错误	提示密码错误	提示密码错误
	输入正确用户名，密码为空	提示用户名或密码错误	提示用户名或密码错误

（2）会员充值模块测试

表5.2会员充值模块测试

测试模块	输入值	期望输出	真实输出
会员充值模块的测试	填写非数字金额信息	充值失败	提示输入金额异常
	填写正常金额信息	充值成功	提示充值成功跳转查询页
	输入正确金额	会员金额增加	会员金额编号，充值成功

（3）健身预约模块测试

表5.3健身预约模块测试

测试模块	输入操作	期待输出	真实输出
健身预约模块的测试	选择日期项目预约	预约成功	预约成功
	未选择日期预约	提示选择预约日期	提示选择预约日期

（4）健身器材模块测试

表5.4健身器材模块测试

测试模块	输入值	期望输出	真实输出
健身器材模块的测试	填写非完整信息	提示输入信息不全异常	提示输入信息不全异常
	输入完整的健身器材信息	健身器材新增成功	健身器材新增成功

第六章 总结与展望

6.1 总结

本论文主要介绍了基于IDEA开发的系统的分析、设计与实现的过程。在开发过程中，使我对软件开发系统有了更深的了解，明白了开发一个系统并非一件容易的事情。在完成本系统的过程中，我也遇到了很多问题，在不断的解决问题的同时，我也学到了很多专业知识。

在开发过程中，使用JAVA开发，采用MYSQL数据库，采用SSM框架技术，基于MVC的三层设计思想，并不是所有的理论都会就可以开发，也并不是所有代码掌握了就能够灵活运用，他还需要大量的积累经验。由于这是程序，因此他需要一个比较庞大的数据库，遇到的问题都已经在老师和同学的帮助下得到了解决。本系统满足移动化需求，能够长期使用。如果需再次开发，可将在本系统上继续开发，完善本系统的功能和性能需求。

经过本次开发系统，我明白了做好一个项目不但需要有大量的专业知识，还需要有分析问题和解决问题的能力。在开发系统前，开发者应该做好前期工作并考虑到方方面面，在前期准备时做好基础工作，准备好后期开发时用到的资料，以避免后期出现大量问题导致终止开发。

6.2 展望

在设计项目的过程中，发现项目实现需要缜密的逻辑思维、项目的宏观把控、功能实现的可行性以及具体界面的设计与排版。在编写实现项目功能模块的代码时，使用不同的软件工具以及技术思想，来实现功能的逻辑思维以及所需时间和呈现效率，其差异性明显。利用IntelliJ IDEA软件的过程中，软件工具本身自带代码优化以及智能代码审查功能为项目提供了巨大的帮助。从平时了解并掌握项目的部分操作到完整完成项目的开发，进一步加深知识的理解与运用。在本系统的部分功能实现过程中，融汇了新知识的学习，既开阔了眼界，又清楚了解自己的喜好和专业方向。这次项目对作者而言，更多明白学校与公司中所要求的差距，摆平心态，以更积极的态度去吸收更多更有趣的知识

参考文献

[1]秦佳.基于MVC模型的网上书店系统设计与实现[J/OL].电子技术与软件工程,2019(05):44[2019-03-25].http://kns.cnki.net/kcms/detail/10.1108.TP.20190320.1145.070.html.

[2]龚兴平.基于JSP的汽车租赁管理系统的设计与实现[J].计算机产品与流通,2019(01):158-159.

[3]袁嘉欣,马佳琳.基于JSP的大学生活动管理平台的设计与实现[J].软件工程,2019,22(01):43-46.

[4]吴向荣.“Java Web编程技术”课程教学方法研究[J].电脑知识与技术,2019,15(01):165-168.

[5]徐岩,乔丽娟.医药进销存管理系统的设计与实现[J].电子技术,2018,47(12):112-113.

[6]周兵.以应用能力为目标的JSP程序设计课程教学改革[J].汉江师范学院学报,2018,38(06):129-131.

[7]刘烨.高职JSP程序设计课程教学模块化探讨[J].农家参谋,2018(24):124.

[8]洪惠群.基于Spring MVC框架的在线辅助教学系统的设计[J].曲靖师范学院学报,2018,37(06):49-52.

[9]熊淑华.网页设计中JSP和ASP技术的应用研究[J].网络安全技术与应用,2018(11):48+50.

[10]樊飞转,蒲伟华.小型企业人力资源管理系统的设计[J].电脑迷,2018(12):185.

[11]王东新,李欢欢.基于JSP的教育信息化平台开发[J].电子设计工程,2018,26(20):27-32.

[12]屈晓,郑哲豪,陈焕培,江文杰,李俊杰,谭振宁.基于JSP毕业设计管理系统设计与实现[J].科技创新与应用,2018(30):42-43.

[13]郑逸凡.基于JSP的在线学习系统分析与设计[J].电脑编程技巧与维护,2018(10):42-43+59.

[14]刘婷.JSP技术优势分析[J].科技视界,2018(29):190-191.

[15]Tiago Cogumbreiro,Raymond Hu,Francisco Martins,Nobuko Yoshida. Dynamic Deadlock Verification for General Barrier Synchronisation[J]. ACM Transactions on Programming Languages and Systems (TOPLAS),2018,41(1):27-36.

[16]Konstantins Gusarovs. An Analysis on Java Programming Language Decompiler Capabilities[J]. Applied Computer Systems,2018,23(2) :73-95.