面向测试和模型检测需求的程序建模技术研究

• 作者: 孙晶 张学娜
• 来源期刊: 计算机应用研究
• 关键词: 模型检测 软件测试 模型代数 程序建模 程序流图
• 年，卷（期）: 2015,（9）
• 所属期刊栏目: 软件技术研究
• 页码范围: 2693-2696,2701
• 页数: 5页
• 分类号: TP311.1
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2015.09.031

摘要

由于同时支持软件测试和模型检测需求的程序建模比较少，为此提出了一种程序建模技术，该技术主要包括物理存储模型、可视化模型和代数模型。利用程序流图的思想建立物理存储模型和可视化模型，并通过建立在严格数学基础上的代数模型验证可视化模型的正确性。实验结果表明，建立的程序模型为后续的模型检测工作提供了基本路径等可用信息，在一定程度上抑制了模型检测状态空间爆炸的问题。同时为后续的TTCN-3抽象测试套的自动生成提供了基本路径、数据类型等信息。该程序模型为最终实现建模与检测自动一体化，提高效率奠定了基础。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孙晶	北方工业大学计算机学院	54	408	9.0	19.0
2	张学娜	北方工业大学计算机学院	1	1	1.0	1.0