Review of Software Model-Checking Techniques for Dealing with Error Detection in Program Codes  

作　　者：Ednah Olubunmi Aliyu Ednah Olubunmi Aliyu(Department of Computer Science, Adekunle Ajasin University, Akungba-Akoko, Nigeria)

机构地区：[1]Department of Computer Science, Adekunle Ajasin University, Akungba-Akoko, Nigeria

出　　处：《Journal of Software Engineering and Applications》2023年第6期170-192,共23页软件工程与应用（英文）

摘　　要：Debugging software code has been a challenge for software developers since the early days of computer programming. A simple need, because the world is run by software. So perhaps the biggest engineering challenge is finding ways to make software more reliable. This review provides an overview of techniques developed over time in the field of software model checking to solve the problem of detecting errors in program code. In addition, the challenges posed by this technology are discussed and ways to mitigate them in future research and applications are proposed. A comprehensive examination of the various model verification methods used to detect program code errors is intended to lay the foundation for future research in this area.Debugging software code has been a challenge for software developers since the early days of computer programming. A simple need, because the world is run by software. So perhaps the biggest engineering challenge is finding ways to make software more reliable. This review provides an overview of techniques developed over time in the field of software model checking to solve the problem of detecting errors in program code. In addition, the challenges posed by this technology are discussed and ways to mitigate them in future research and applications are proposed. A comprehensive examination of the various model verification methods used to detect program code errors is intended to lay the foundation for future research in this area.

关 键 词：Software Model Checking Symbolic Execution State Explosion ABSTRACTION Test Case Generations 

分 类 号：TP3[自动化与计算机技术—计算机科学与技术]