[发明专利]一种基于名称语义的配置项类型约束推断方法

摘要

本发明公开了一种基于名称语义的配置项类型约束推断方法，提出了一种基于名称语义的配置项类型推断及相关约束提取方法，充分挖掘配置项名称及类型当中的语义信息，以达到提升配置约束提取精度、消除约束提取局限性的目的。技术方案是首先预先读入软件系统的配置文件，通过解析得到其中的配置项。其次，通过特征模式找到系统配置项与程序源码的映射。再次，通过名称分析和程序源码分析得到配置项所属类型。然后完成对配置类型的验证。最后通过预定义模板，配合程序分析，推断出配置约束。本发明充分挖掘了配置项名称当中的语义信息，尤其是配置项类型当中包含的约束信息。利用配置项名称推断配置项类型，同时提取配置项的语法、语义约束，大幅度减少了配置约束的提取难度，同时能够细粒度地描述配置约束，具有良好的运用场景。

主权项

1.一种基于名称语义的配置项类型约束推断方法，其特征在于包括以下步骤：第一步，读入软件系统的配置文件，通过解析得到其中的配置项；第二步，通过开源软件Augeas解析配置文件，并得到配置项集合O＝{o1,o2,…,on}；第三步，采用Shulin Zhou等人在QRS 2016公布的文章ConfMapper:Automated Variable Finding for Configuration Items in Source Code中的配置变量映射方法，得到与配置项集合O对应的程序变量名V＝{v1,v2,…,vn}，生成一个二元组集合(O,V)；第四步，遍历二元组集合(O，V)中的每个元素，对元素(o，v)执行配置项类型推断；第五步：通过分析(o，v)当中变量v的基本类型是否符合配置项语义类型，完成对配置项类型的验证；第六步：通过预定义模板及程序分析手段，得到每个配置项o的约束。