基于模型的网构软件可达性检测方法研究

• 作者: 孙晶 王文文 赵会群 郭峰 魏莹
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 网构软件 软件可达性 进程代数 线性代数
• 年，卷（期）: 2011,（6）
• 页码范围: 1001-1011
• 分类号: TP311
• 字数: 11868字
• 语种: 中文
• DOI: 10.3724/SP.J.1016.2011.01001

摘要

针对网构软件(Internetware)可达性检测中存在状态空间"爆炸"等问题,提出了一种基于网构软件代数模型的可达性检测方法.根据网构软件特性建立其代数模型,通过引入网构相关和网构空间概念,进一步扩展网构软件代数模型.通过明确网构软件可达性与网构组合运算表达式的关系,把可达性判定转化成递归表达式(网构线性相关)判定上来;通过建立网构空间到线性空间映射,把网构线性相关判定问题转化成齐次线性方程组非零解的判定上来.转换过程把线性相关的网构进行压缩,从而有效地抑制了状态空间的增长.给出了可达性检测算法,并讨论了该方法的实际应用.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孙晶	北方工业大学计算机科学与技术系	54	408	9.0	19.0
2	赵会群	北方工业大学计算机科学与技术系	79	920	14.0	28.0
3	郭峰	北方工业大学计算机科学与技术系	20	41	4.0	5.0
4	魏莹	北方工业大学计算机科学与技术系	2	4	1.0	2.0
5	王文文	北方工业大学计算机科学与技术系	1	4	1.0	1.0