孙文辉
- 作品数：26 被引量：36H指数：3
- 供职机构：北京交通大学计算机与信息技术学院更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信经济管理更多>>
- 并行编程环境的研究
- 该论文着重研究了PVM的通讯机制,提出为提高通讯性能如何支持Active message机制以及PVM的可视化环境;从理论和实践两方面深入研究了可扩展并行计算机性能模型,指出了一些已有性能模型的不足,讨论了可能的改进和推...
- 孙文辉
- 关键词：并行计算机并行编程环境
- 基于JML的标记—清扫垃圾收集验证
- 2014年
- Java中的垃圾收集机制,有效地避免了安全漏洞也提高了资源利用率。然而对于和用户程序并行执行的垃圾收集,其过程及算法的实现甚是复杂,使得可靠性难以保证。目前,基于契约的程序动态分析技术已成为软件质量保证的一个重要途径。而JML继承了契约式设计的所有优点,成为一种为Java量身定做的形式化的行为接口规范语言,用来规范Java程序模块的行为及详细设计决策。基于这种思想,通过前置条件、后置条件等规范对垃圾收集的功能进行精确描述,来确保不可达节点的正确回收和整个收集过程中内存堆数据保持和用户数据的不变性,保证了用户程序数据未被垃圾收集修改,也确保了用户程序没有干涉垃圾收集操作的正确执行。
- 宋玉婷孙文辉
- 关键词：垃圾收集
- 基于设计模式的综合网络管理应用研究
- 目前网络管理系统正朝着综合化、分布化和智能化的方向快速发展,因此，本文提出在综合网络管理网关的研究中应用设计模式,创造性提出将设计模式中的WrapperFacade模式应用到CORBA/SNMP网关和SNMP/XML网关...
- 孙文辉刘峰李红辉徐悦
- 关键词：设计模式综合网络管理网关设计
- 文献传递
- 基于流分析与归纳不变式结合的German协议验证
- 2017年
- German缓存一致性协议是用于共享内存的并发多处理器系统中的缓存一致性协议,对German协议进行形式化验证一直是学术界和工业界的热点.我们生成German协议的流图,对流程图的各个步骤进行详细的描述,并提出了流分析与归纳不变式结合对协议验证的方法,通过辅助不变式与协议流图的对应关系,从而进一步分析和验证German协议的正确性.
- 张瑜孙文辉
- 关键词：形式化验证
- 基于Web services的跨平台用户身份统一认证研究
- 尽管Web Services技术在实现不同系统不同平台之间的对接方面能够大大简化代码,但是,每个应用系统都有其自身的用户系统和认证方式,用户使用时必须在每个系统中都注册,登录,比较麻烦,同时也容易造成混乱,更带来数据资源...
- 刘占鹏李红辉张骏温戴钢孙文辉
- 关键词：统一身份认证XMLSOAP协议用户身份
- 文献传递
- 基于符号执行的单元测试研究与应用被引量：2
- 2012年
- 近年来随着测试的复杂性和重要性不断增加,软件测试技术逐渐成为软件领域研究的热点。符号执行技术是一种重要的形式化和自动化的分析技术,在程序自动化测试中具有重要的应用。重点描述运用符号执行技术进行参数化单元测试的实现过程,并选择运用动态符号执行技术实现的参数化单元测试软件Pex进行实验,从而更好地验证符号执行技术在自动化单元测试中的优势。
- 赵慧娟孙文辉
- 关键词：软件测试
- 面向电子商务的服务等级协议研究被引量：2
- 2004年
- 对面向电子商务的服务等级协议(SLA)进行了研究,提出了基于XMLSchema的SLA通用信息结构,给出了SLA规定的服务质量参数验证系统框架,对服务质量参数用户响应时间与网络带宽的关系进行排对论统计分析.
- 孙文辉刘峰张俊温徐悦戴钢
- 关键词：服务质量服务等级协议
- 面向电子商务的服务等级协议研究
- 本文对面向电子商务的服务等级协议(SLA)进行了研究,提出了基于XMLSchema的SLA通用信息结构,给出了SLA规定的服务质量参数验证系统框架,对服务质量参数用户响应时间与网络带宽的关系进行排对论统计分析.
- 孙文辉刘峰徐悦张俊温戴钢
- 关键词：服务质量服务等级协议电子商务SLA
- 文献传递
- 面向电子商务的服务等级协议研究
- 对面向电子商务的服务等级协议(SLA)进行了研究,提出了基于XML Schema的SLA通用信息结构,给出了SLA规定的服务质量参数验证系统框架,对服务质量参数用户响应时间与网络带宽的关系进行排对论统计分析.
- 孙文辉刘峰张俊温徐悦戴钢
- 关键词：服务质量服务等级协议电子商务XML
- 文献传递
- 一种基于覆盖的软件缺陷定位技术的在线评测与实验平台及方法
- 本发明涉及一种基于覆盖的软件缺陷定位技术的在线评测与实验平台及方法，该平台基于CentOS release 6.2(Final)操作系统，采用B/S结构，通过HTTP请求获得实验结果，返回结果输出为XML格式文件流。该平...
- 张龙张震宇孙文辉刘誉臻
- 文献传递
