运行时错误验证相关硕士博士期刊学术论文

摘要：安全关键领域中，如何保证软件安全性已经成为了一个广受关注的重要课题。确保程序中没有运行时错误，对于软件安全性的保证十分重......