徐永森 作品数:37 被引量:75 H指数:6 供职机构: 南京大学计算机科学与技术系 更多>> 发文基金: 国家高技术研究发展计划 国家自然科学基金 江苏省应用基础研究计划 更多>> 相关领域: 自动化与计算机技术 经济管理 更多>>
网络管理中的一种分级告警关联方法 被引量:4 2000年 提出了一种基于SNMP网络管理环境、使用分布式智能代理进行单个网络设备告警关联的算法 .算法分成三步 :①智能代理驻留在设备本地 ,对设备发出的告警进行分类 ,作为协议故障模型有限状态机的输入 ,产生TCP/IP协议实体的当前状态 ;②按照服务关系 ,将状态不正常的协议实体关联起来 ;③对关联的结果赋予一个信念 ,报告给网络管理中心 .该算法将告警关联和故障标识的难度进行了分解 。 胥光辉 谢希仁 徐永森关键词:智能代理 告警关联 网络管理 OO软件的测试分析 提出了OO软件测试中的一些问题,并简介了有助于解决这些问题的一种新的CAST工具OOAK,主要讨论了OOAK工具中动态测试分析和软件复杂度分析的设计和实现。 李本固 陈鑫 朱炜 陈启仁 徐永森EASTT——一种嵌入式应用软件测试系统 目前软件的质量问题正越来越引起人们的重视,测试技术则是保障高质量软件的重要手段之一,这方面的研究可以溯源到20世纪70年代.然而随着嵌入式系统应用领域的不断扩大以及面向对象技术的成熟,一些新的特点使得传统的测试方法已经不... 李茜 计算机软件新技术国家重点实验室(南京) 梅琳 凌辉 徐永森关键词:面向对象 嵌入式 同步阻塞线程的唤醒问题研究 被引量:1 2002年 Firstly, the definition and characters of blocking mode and non-blocking mode in socket communication areintroduced, and the question of wakening up a synchronic blocking thread is proposed. Then, a typical blocking sock-et communication within mobile stock operations is given, and a method based on exception detecting to waken upsynchronic blocking threads is proposed. Additionally, a phenomenon of vibrating is also analyzed and solved. Andlastly, a conclusion is given. 胥光辉 徐永森关键词:证券公司 XML技术在软件测试框架中的应用 被引量:1 2007年 对国内外软件测试工具的系统框架进行研究,在此基础上提出一种扩展性更好的系统框架设计方案。在本文提出的系统框架中,源程序信息使用XML格式的文件表示,根据具体应用,系统使用不同的信息提取模板文件(XSLT格式)对应用关心的程序信息进行提取。随着应用的增加,系统只需要扩充相应的信息提取模板文件,而不用改变源程序信息文件。 胥光辉 杜瑜 李翔 徐永森关键词:软件测试 XML XSLT 嵌入式应用软件测试技术与理论 宋方敏 徐永森 朱明远 胥光辉 谭耀铭 陈鑫 杜晓晨 邵培南 王锦东 凌辉 许晓春 李茜 梅琳 孟波波 嵌入式应用软件分析测试工具EASTT的主要功能包括结构分析、质量分析、动态测试分析、嵌入式操作系统平台上应用软件的测试分析和文档生成,可应用于软件的开发、测试、审核、维护/再工程、文档编制、嵌入式应用软件测试等工作。它具...关键词:关键词:嵌入式系统 软件测试 面向对象软件 面向对象软件度量自动化参考模型MOOP 被引量:6 2001年 评估软件质量涉及到定性和定量两个方面。在定量的度量方面 ,要考虑两个问题 ,一是度量什么 ,二是如何度量。面向对象技术的新特点给软件度量提出了新的要求。本文提出了一种针对面向对象程序分析的度量自动化参考模型 MOOP,该模型采用三层结构 :翻译层、表示层、分析层 ,具有可重定编译前端、中间表示与语言无关、度量集可定制等优点。基于 MOOP参考模型 ,我们设计了一种面向对象度量自动化系统 MOOP- 梅琳 杜晓晨 李茜 徐永森关键词:面向对象 参考模型 软件质量 软件工程 EASTT源码解析系列之二——中间结构管理器 被引量:1 2002年 中间结构管理器是EASTT系统的核心组成部分。它首先通过与语法分析器的协同工作初步构建起EASTT系统的核心数据结构——层次语义模型Hierarchical Semantics Model(HSM),然后在此基础上进行一系列深层分析,并最终实现层次语义模型,为质量评价模块、测试模块、图形化结果显示模块等相关模块提供相应数据, 许晓春 梅琳 胥光辉 徐永森关键词:数据结构 一种分级的基于智能代理的事件关联技术 被引量:9 2002年 事件关联是网络管理中的一项关键技术 ,尽管已经提出了多种解决方法 ,但都没有很好地解决这个 NP完全问题 .提出了一种分级的、基于智能代理的事件关联技术 ,该方法分成两个部分 :1在设备上驻留智能代理 ,对设备发出的告警事件进行分类、过滤和关联工作 ;2管理平台上的事件服务器对智能代理的关联结果进行汇总 ,将MBR技术和 CBR技术有机地结合起来 ,得出最可能的故障假设 .这种方法对事件关联问题的难度进行了分解 ,有利于实现网络的实时管理和自动管理 .另外 ,按照这种方法建立的事件关联系统具有通用性和灵活性 。 胥光辉 徐永森关键词:网络管理 智能代理 MBR CBR 计算机网络 一种改进的程序流程图——层次流程图HFG 被引量:4 2002年 程序流程图是刻划程序控制结构的一种重要的表示方式 .层次流程图 (HierarchicalFlowGraph ,HFG)是一种真正基于块、节点、段三层程序划分机制的完全图形化的新型程序流程图 ,将程序由二维空间拓展到了三维空间 .HFG有效利用了块结构的构型特征和对象封装性 ,具有较高的可重用性和可扩展性 .此外 ,HFG还提供了极为灵活的程序收缩和延展机制 ,可提供多级别的程序框架 。 许晓春 杜晓晨 梅琳 徐永森关键词:软件测试