蔡志旻 作品数:12 被引量:43 H指数:5 供职机构: 南京大学 更多>> 发文基金: 江苏省自然科学基金 更多>> 相关领域: 自动化与计算机技术 经济管理 更多>>
基于询问-回答模式的对象控制模型的实现 2003年 在诸多系统设计中,系统需要管理大量具有内在关联性相似性的对象系统(通常表现为对象树或对象图的形式)。通常采用的方法是系统集中管理和控制,根据对象的互异性特征,选取指定的对象和决定对象如何访问。这种集中控制的弊端是管理复杂、成本高,容易造成错误,并且可扩充性差。文章介绍了一种基于询问-回答模式的对象控制模型,有效地解决了这个问题。 蔡志旻 赵洋 潘捷 潘金贵关键词:虚函数 计算机系统 软件静态分析的研究与实现 该文对软件静态分析技术进行了深入的研究,分析了软件静态分析技术的起源和发展,特别讨论了手工静态分析技术与计算机自动静态分析技术的不同特点和关系,对静态分析技术的发展方向进行了大胆的预测;同时,我们详细讨论了一个自动静态分... 蔡志旻关键词:软件审查 文献传递 基于使用模型的软件测试路径选择及其性能分析 被引量:1 2003年 基于有向图理论对程序正文进行解析,同时对软件的使用模型做了初步的探讨,分析了具有Markov随机性质的软件使用过程和软件测试中的测试路径的选择策略,并对测试结果做出评价,给出软件的可靠性。 荣国平 蔡志旻 韩嵩 潘金贵关键词:软件测试 有向图 使用环境 软件质量改善方法研究 被引量:17 2003年 软件在现代经济中扮演着越来越重要的角色 ,用户对软件质量的要求也越来越严格。分析了当前软件产品质量的现状 ,以及影响软件质量的种种因素 ,并给出了一些针对不同原因的解决方法。 姜文峰 徐立中 蔡志旻关键词:软件质量 软件工程 软件管理 软件成熟度模型 中间件 面向对象分析 一个基于对象、域和型的层次式程序表示模型 被引量:4 2003年 It is necessary to represent a program in a visual model before analyzing it. This paper introduces a hierarchical program visual model based on object, scope and type. It depicts a program's information through a recursive-nested structure. Particularly, it emphasizes on the inherent relationships among objects, scopes and types and connects objects and types within scopes. This paper explains all parts and their relationships in details and also addresses briefly about how to realize the model. 赵洋 蔡志旻 金浩 潘金贵关键词:程序设计语言 符号语言 程序员 作用域 程序设计 从中印对比看中国软件服务业的发展和定位 从20世纪90年代开始,随着西方发达国家率先进入信息化阶段,全球出现信息服务工作向低成本国家外包的趋势。根据Gartner的统计,2014年全球企业软件和IT信息服务的规模达到12730亿美元,并且预测整体的ICT支出在... 蔡志旻关键词:钻石模型 软件服务外包 文献传递 程序静态分析中的双重模型策略 被引量:1 2003年 介绍了描述程序信息的两种模型(EPOM和OSTPM)以及它们之间的联系,并举例介绍了如何利用这两种模型进行程序的静态分析检测。 黄春浩 赵洋 蔡志旻 潘金贵一个统一的异构对象持久化框架 被引量:5 2004年 以大型对象系统PG-RELIEF为对象,考察一般大型对象系统在持久化管理上的需求,然后提出基于面向对象范型的统一对象持久化框架并对之进行分析。 潘捷 蔡志旻 赵洋 潘金贵关键词:持久化对象 面向对象设计 基于EPOM的程序可视化表示系统的设计与实现 被引量:9 2002年 可扩展程序对象模型是一种用来刻画高级语言程序的抽象模型,利用该模型可以很方便地抽取出程序中各式各样的信息。概要介绍 了可扩展程序对象模型并基于该模型设计和实现了一个程序的可视化表示系统,同时给出了该系统的运行结果。 赵洋 蔡志旻 潘金贵关键词:词法分析 语法分析 计算机 基于EPOM的扩展程序参考模型 2003年 扩展程序参考模型是在可扩展的程序对象模型(EPOM)的基础上建立起来的有关程序统计信息的模型。它能够反映程序中的变量信息、函数信息、类型信息和枚举常量等信息,并以HTML的形式展现给用户。询问-回答模式在该模型中得到了广泛应用,不仅在模型的构造过程中大量采用,模型的输出也采用该模式。概要介绍了扩展程序模型的结构和特点,同时给出了在此模型上的一个运行实例。 吕波 赵洋 蔡志旻 潘金贵