基于Clight形式语义的代码功能描述提取

• 作者: 王涛 陈敏翼 齐军
• 来源期刊: 计算机应用
• 学科: 工学
• 关键词: 功能集成 形式语义 Clight 自然语义 代码功能 描述提取
• 年，卷（期）: 2012,（8）
• 所属期刊栏目: 典型应用
• 页码范围: 2333-2337
• 分类号: TP311.5
• 字数: 6145字
• 语种: 中文
• DOI: 10.3724/SP.J.1087.2012.02333

摘要

软件代码的功能提取是功能集成的最基本前提,但软件功能提取普遍存在正确率低的问题.为此,提出基于Clight形式语义的代码功能描述提取机制,并用Clight代码功能描述算法实现.该机制严格基于Clight自然语义推理规则,忽略代码执行的中间细节,只关注执行前后的存储状态,并以此作为代码的功能描述,提高了功能提取的正确率和关键领域软件开发的成功率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王涛	华南师范大学计算机学院	30	106	6.0	8.0
2	齐军	华南师范大学计算机学院	2	1	1.0	1.0
3	陈敏翼	华南师范大学计算机学院	1	0	0.0	0.0