Friday 29th of March 2024
 

Research on effective factors on Verification Results in Software Systems


Alireza Souri, Mohammad Ali Sharifloo and Monire Norouzi

Verification is one of the important sections of producing a software system. Several factors can influence on verification result. In this research, we analyze important factors on verification results and then we explain some verification techniques and software systems briefly. As verification result is sensitive highly in multilayer systems, we present a solution. By this solution, we can guarantee correctness and accuracy of verification results in multilayer systems by using static and dynamic verification techniques and reduce probability of errors in verification results of multilayer systems widely.

Keywords: Software Systems, Verification Results, Multilayer Systems, Specifications, static verification, dynamic verification.

Download Full-Text


ABOUT THE AUTHORS

Alireza Souri
Mr. Alireza Souri has receiving his B.Sc. from University college of Nabi Akram and His main research interests include Software Engineering, Formal Method, Formal Verification, Modelling and Evaluating of Software systems and Wireless network.

Mohammad Ali Sharifloo
Mr. Mohammad ali Sharifloo received his B.Sc. from Azad University of Ghazvin and his M.Sc. from Azad University of Tehran. Currently he is master at University College of Nabi Akram. His main research interests are IT, Distributed Systems, Real-time Systems and Formal Verification.

Monire Norouzi
Mrs. Monire Norouzi has receiving his B.Sc. from University college of Nabi Akram and His research interests include Software Engineering, Wireless network and UML.


IJCSI Published Papers Indexed By:

 

 

 

 
+++
About IJCSI

IJCSI is a refereed open access international journal for scientific papers dealing in all areas of computer science research...

Learn more »
Join Us
FAQs

Read the most frequently asked questions about IJCSI.

Frequently Asked Questions (FAQs) »
Get in touch

Phone: +230 911 5482
Email: info@ijcsi.org

More contact details »