Software Quality Assurance Static Analysis Exercise using JAVA(1.8.0231)
[ad_1]
The Details of Projects ar in the following Link (and ALL FILES Necesary) : – ****************************** https://github.com/wonsunahn/CS1632_Spring2020/tree/master/deliverables/5 ***************************** – You will need to use bug finder named SpotBugs, a linter named CheckStyle, and a model checker named Java Pathfinder (JPF). – Pls check the readMe first in the link provided for files on github -ou are asked to fill in and modify 3 files: BeanCounterLogicImpl.java, BeanImpl.java, BeanCounterLogicTest.java. The first two files complete the bean counter implementation. The last file tests the implementation using the Java Path Finder model checker via the JUnit framework. Take care that you limit your modifications to these three files as all the other files will be ignored in your submission. Also, take care that you do not change the method names of pre-existing methods as GradeScope relies on them to exist. *recommend you to employ test-driven development (TDD) for this project I can guarantee you that it will shorten development time -All the GUI coding has already been done for you. You only need to implement the logic of the applciaiton and the parts that you have to fill in have been commented with // TODO in the files: BeanCounterLogicImpl.java and BeanImpl.java. You will not need to modify any of the other files.
“Place this order or a similar order with Essay Writers 4Life and get an amazing discount”
[ad_2]
Source link