论文部分内容阅读
对多层可信软件代码中程序标注的准确性的验证,能够有效保证多层可信软件的正常运行。对程序标注准确性进行验证,需要建立软件不同程序行为切分的超平面,区分不同的标注错误类型,完成可信软件代码程序标注准确性的验证。传统方法结合机器学习算法,提取可以反映程序标注准确性行为的特征,但忽略了对标注错误类型的区分,导致验证精度偏低。提出基于支持向量机的多层可信软件代码中程序标注准确性验证方法。通过构建不准确标注的行为特征空间,建立不同程序行为切分的超平面,从而对不同的标注错误类型进行区分,对多层可信软件代码程序标注