搜索结果: 1-4 共查到“计算机科学技术 程序分析”相关记录4条 . 查询时间(0.129 秒)
计算机学科前沿论坛之二十——程序分析驱动的软件智能质量保障（图）
程序分析 软件测试
2023/12/24
软件质量问题难以预知。软件质量保障技术，包括测试、调试、重现等，可以有效降低人力消耗，提升软件生产效率。本报告围绕现代软件的质量保障的智能化，介绍程序分析驱动的软件质量保障的实践基础，及近期对该领域研究的浅显思考。
基于分段执行和摘要的动态程序分析
程序设计 动态程序分析 路径探索 具体符号测试
2010/6/1
传统的动态程序分析需探索程序运行的所有可能路径。然而，实际的程序通常有大量甚至无限多的路径。由于不能完全探索所有路径，对程序的准确分析只限于一些简单的情形。具体符号测试方法结合符号分析和通过运行程序获得变量的具体数值。它提高了传统方法的适用性，但同样受到路径数目的限制。为解决这一问题，提出基于分段执行程序和对程序段落自动生成摘要的手段。该手段扩展了具体符号测试，提高其效率，并使之可应用于一些具有无...
基于程序分析的通信软件模型驱动测试研究
模型驱动的测试 程序分析 测试生成
2009/12/3
针对通信软件的模型驱动测试框架中出现的测试生成问题，对MSC测试模型的测试生成方法进行改进，获得有效的系统测试集。采用符号执行和程序分析相结合的方法，收集生成的约束、测试脚本变量与被测系统变量之间的映射关系，据此生成测试模型，进一步进行模型验证和测试生成。这种方法可以对原有的测试集合进行半自动的扩展，对关心的程序路径进行测试覆盖，从而提高测试集合的有效性和完备性。