软件工程学科的建立与软件工程本科教学

建立软件工程学科，系统的、规范的培养软件工程人才已受到国内外高等学校、科研院所和企业界的普遍重视。由ACM和IEEE／CS联合工作组组织制定的软件工程知识体SWEBOK、计算教程软件工程卷CCSE2004于2004年5月正式发布。论证工作吸纳了来自世界70多个国家和地区的著名大学、软件企业和研究院所参加，集中了软件l工程领域众多科学家、教授和企业家的智慧和期望。

从“计算机”到“计算”:计算机教育的发展与思考

随着微电子、计算机、网络、多媒体及软件的迅速发展，人们迎来了知识经济和信息社会。计算机、网络及软件已渗透到社会生活的各个领域，使得传统产业、人们的工作、生产和生活方式发生了根本性的变化。软件开发与信息处理三成为信息社会的关键。年轻的计算机学科必须与时俱进，鬏上信息社会发展的步伐。

软件工程教育:迎接网络时代超大系统的挑战

本文系统回顾了软件工程的发展历程，分析了网络时代软件工程的特点以及以此为基础构建超大系统面临的机遇与挑战，并提出了对软件工程教育改革的思考。

工科研究生教育应主动适应经济和社会发展需要

自1978年恢复研究生招生以来,我国工科研究生教育在招生办法、培养方式、分配制度等方面进行了一系列卓有成效的改革,取得了很大的成就。但是,工科研究生教育与经济和社会发展不相适应的矛盾依然存在。在邓小平同志南巡谈话发表后,全国出现了加快经济建设、加快改革步伐、扩大对外开放的新局面。工科研究生教育面临的社会大环境,正在发生很大的变化,工科研究生教育面临着更加严峻的挑战。为了迎接挑战,使之主动适应经济和社会发展的需要,必须加快和深化工科研究生教育改革。

军队研究生教育发展研究

军队研究生教育发展研究齐治昌，沈跃进自１９７８年我国恢复研究生招生以来，军队各研究生培养单位认真贯彻邓小平同志关于“教育要面向现代化，面向世界，面向未来”的指导方针，坚持“为军队建设服务，适应和平时期部队建设的需要，适应未来反侵略战争的需要”的办学思...

学习感悟：计算机大师们的成才路

本文介绍了荣获图灵奖和先驱奖的计算机大师的工作历程及其创新业绩,分析了计算机大师们成才的主、客观因素,总结了计算机大师们的成才道路。并指出在当前信息时代,我国培养计算(机)创新性人才所面临的机遇和挑战。

高度集中的计划经济与社会主义市场经济对研究生教育影响的差别

高度集中的计划经济与社会主义市场经济对研究生教育影响的差别齐治昌，沈跃进党的“十四大”报告明确提出：“我国经济体制改革的目标是建立社会主义市场经济体制，以利于进一步解放和发展生产力。’中共中央、国务院在１９９３年２月发布的《中国教育改革和发展纲要｝）...

GSEIB软件工程信息库图形规范子系统的设计与实现

软件信息库是集成化软件工程环境的核心。本文给出了一种图形化的软件过程与产品（ｓｏｆｔｗａｒｅｐｒｏｃｅｓｓａｎｄｐｒｏｄｕｃｔ）规范语言及其支撑环境的设计与实现。采用这种规范语言可对给定的软件开发项目进行规划，据此自动产生定做的软件信息库，从而真正反映和支持该软件工程项目的开发。

基于攻击图的网络安全概率计算方法

针对基于攻击图的概率计算中循环路径导致的攻击图难以理解和概率重复计算问题以及渗透之间的相关性导致的概率错误计算问题,通过将攻击图与通用安全脆弱点评估系统结合,删除攻击图中的不可达路径,简化了攻击图,提出了适用于大规模网络的最大可达概率的概念和计算方法,解决了概率重复计算问题,有效避免了相关性导致的概率错误计算问题,并通过真实实验和模拟实验验证了所提方法的合理性和有效性.与相关的研究成果相比,最大可达概率计算方法可以适应于更复杂的攻击图,具有很好的扩展性.

面向服务软件体系结构的接口模型

服务接口描述是面向服务软件体系结构描述的关键问题之一,形式化描述方法是保证服务接口描述准确性的重要手段.目前的接口模型并不支持事务信息的描述.通过对已有Web服务接口模型进行扩展,提出了通过错误处理和补偿支持事务信息描述的接口模型,能够分别在特征层、会话层和协议层3个层面对服务的接口进行描述,然后提出了服务接口在3个层面的相容性和可替换性条件,并针对会话接口和协议接口提出了接口规约及其验证方法.该接口模型不仅能够支持准确的事务信息描述,而且还支持灵活、有效的接口规约验证.

大规模网络中攻击图自动构建算法研究

随着计算机技术和网络通信技术的飞速发展,网络安全形势日趋严峻.攻击者往往采取多步骤网络攻击的方式对网内多个漏洞实施逐步击破,而攻击图正好刻画了目标网络内潜在威胁的传播路径.针对目前攻击图构建算法无法很好地适用于大规模目标网络的问题,通过深入分析传统攻击图构建算法的不足和目标环境的特点,提出了一种新的构建攻击图的方法.首先,采用攻击图建模语言(Attack Graphs Modeling Language,AGML)形式化描述漏洞知识库和目标环境;其次,提出了目标环境的预处理技术,为目标环境中的属性建立索引,然后利用攻击模式的实例化技术构建攻击图.通过对该算法的时间复杂度分析和模拟实验验证,表明该算法具有良好的可扩展性,能够为具有复杂网络拓扑结构的大规模目标网络自动构建攻击图.

面向路径的测试数据自动生成方法述评

为指定的程序路径自动生成测试数据是软件单元测试中一个基本问题 .求解该问题的实质在于约束系统的建立和求解 ,其主要困难之一在于非线性约束求解是一个理论上困难的问题 .文中将面向路径的测试数据自动生成方法分为四类———随机法、静态法、动态法和试探法 ,分析和比较了每一类中有代表性的方法 ,并探讨了研究方向 .

UMLStatecharts的模型检验方法

统一建模语言UML已广泛应用于软件开发中,验证UML模型是否满足某些关键性质成为一个重要问题.提出了对UML Statecharts进行模型检验的方法.首先用扩展层次自动机结构化地表示UML Statecharts,然后给出其操作语义,通过寻找最大无冲突迁移集可以保证语义的正确性.对于具有无穷运行的系统,该操作语义可以映射到一个Bchi自动机.使用基于自动机理论的模型检验方法来验证UML Statecharts的线性时态逻辑性质,并给出方法验证由Statecharts和协同图建模的复杂多对象系统.

UML statecharts的测试用例生成方法

测试用例生成是软件测试的关键 .根据 U ML statecharts的层次和并发结构 ,研究相应的测试用例产生方法 .它视复合状态为抽象状态 ,分别构造主 UML statecharts和复合状态所对应的子 UML statecharts的测试基 ,并依据一定的合成规则和 Wp-方法生成整个 U ML statecharts的测试用例 .这种方法能够支持递增式测试用例的生成 .理论和实验结果说明 ,如果满足测试条件 ,它们保证全故障覆盖 ,且产生较少的测试用例 .这种改进对大型复杂系统尤其有效 。

基于Agent的网构软件构件模型及其实现

网构软件代表了Internet环境下的一种新型的软件形态,但仍然面临着外部环境显式化、软件实体主体化、运行机制自适应等问题.从构件的角度出发,提出了EBDI(electronic business document exchange)结构以表示能够根据环境变化实施自主行为的构件,利用动态绑定关系解释了构件的自适应演化特征.根据形式化的Role模型,描述了构件的运行状态、自主运行及自适应演化运行机制开发了DAgent-Internetware原型作为网构软件的支撑平台,支持以DAgent为构件的网构软件从设计到实现、部署、运行、演化等一系列流程.

基于攻击图的风险邻接矩阵研究

针对各种已知的工具产生的攻击图十分复杂而且难以理解的问题,提出一种基于攻击图的风险邻接矩阵方法,并通过实验验证了所提方法的合理性和有效性。结果表明风险邻接矩阵方法增强了攻击图可视化的程度,并简洁有效地解决了风险评估中由环和回路带来的重复计算问题。

UML Statechart图的操作语义

面向对象标准建模语言 UML(unified modeling language)缺乏精确的动态语义 .根据 UML1.1语义文档 ,提出描述对象状态机的 UML Statechart图的形式化操作语义 .该语义覆盖了 UML Statechart图的绝大部分特征 ,为 UML Statechart图的代码产生、模拟和测试用例生成奠定了基础 .根据上述语义 ,基于 Rose98完成了UML Statechart图的测试用例生成和测试过程的模拟 .

并发反应式系统的组合模型检验与组合精化检验

模型检验和精化检验是两种重要的形式验证方法,其应用的主要困难在于如何缓解状态爆炸问题.基于分而治之的思想进行组合模型检验和组合精化检验是应对这个问题的重要方法,它们利用系统的组合结构对问题进行分解,通过对各子系统性质的检验和综合推理导出整个系统的性质.在一个统一的框架下对组合模型检验和组合精化检验作了系统的分析和归纳,从模块检验的角度阐述了上述两种组合验证方法的原理及其相应的组合验证策略.同时总结了各类问题的复杂性,并对上述两种方法作了比较分析,揭示了它们之间的内在联系.最后展望了组合模型检验与组合精化检验的发展方向.