UnitCheck: Unit Testing and Model Checking Combined

Author(s):  
Michal Kebrt ◽  
Ondřej Šerý
Keyword(s):  
1995 ◽  
Vol 10 (6) ◽  
pp. 245 ◽  
Author(s):  
Gang Luo ◽  
Robert L. Probert ◽  
Hasan Ural
Keyword(s):  

2019 ◽  
Vol 2 (3) ◽  
pp. 164-169
Author(s):  
Mohammed Faza ◽  
Maulahikmah Galinium ◽  
Matthias Guenther

An energy supply system consists of a system of power plants and transmission anddistribution systems that supply electrical energy. The present project is limited to the modellingof the generation system. Its objective is the design and implementation of a web-basedapplication for simulating energy supply systems using the Laravel framework. The projectfocuses on six modules representing geothermal energy, solar energy, biopower, hydropower,storage, and fossil-based energy that are allocated to satisfy a given power demand. It isexecuted as a time series modelling for an exemplary year with hourly resolution. Thedevelopment of the software is divided into four steps, which are the definition of the userrequirements, the system design (activity, use case, system architecture, and ERD), the softwaredevelopment, and the software testing (unit testing, functionality testing, validity testing, anduser acceptance testing). The software is successfully implemented. All the features of thesoftware work as intended. Also, the software goes through validity testing using three differentinput data, to make sure the software is accurate. The result of the testing is 100% accuracy withrespect to the underlying model that was implemented in an excel calculation.


Author(s):  
James Kapinski ◽  
Alexandre Donze ◽  
Flavio Lerda ◽  
Hitashyam Maka ◽  
Edmund Clarke ◽  
...  

2019 ◽  
Vol 13 (3) ◽  
pp. 1
Author(s):  
ALIYU E. O. ◽  
ADEWALE O. S. ◽  
ADETUNMBI A. O. ◽  
OJOKOH B. A. ◽  
◽  
...  
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document