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

1

作者 齐治昌 刘春林 宁洪 《国防科技大学学报》 EI CAS CSCD 北大核心 1994年第2期82-88,共7页

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

关键词 软件工程 软件信息库 图形规范语言

在线阅读 下载PDF 职称材料

在职申请学校与继续教育相结合加速高层次应用人才的培养

2

作者 齐治昌 周良柱 《高等教育研究（长沙）》 1997年第2期1-4,共4页

关键词 在职人员 研究生教育 继续教育 申请学位 培养

在线阅读 下载PDF 职称材料

面向路径的测试数据自动生成方法述评 被引量：46

3

作者 单锦辉 王戟 齐治昌 《电子学报》 EI CAS CSCD 北大核心 2004年第1期109-113,共5页

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

关键词 测试数据自动生成 程序路径 约束求解 数值优化

在线阅读 下载PDF 职称材料

基于攻击图的风险邻接矩阵研究 被引量：12

4

作者 叶云 徐锡山 +2 位作者 贾焰 齐治昌 程文聪 《通信学报》 EI CSCD 北大核心 2011年第5期112-120,共9页

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

关键词 脆弱性 攻击图 聚集算法 风险邻接矩阵

在线阅读 下载PDF 职称材料

UML Statecharts的切片模型检验方法 被引量：4

5

作者 董威 王戟 齐治昌 《电子学报》 EI CAS CSCD 北大核心 2002年第12A期2083-2089,共7页

统一建模语言UML已被广泛应用于软件设计和开发中,而验证UML模型是否满足关键的性质需求成为一个重要问题.由于空间爆炸和语义的复杂性,对Statecharts进行模型检验受到软件规模和设计精化程度的制约.本文在用扩展层次自动机(EHA)结构化... 统一建模语言UML已被广泛应用于软件设计和开发中,而验证UML模型是否满足关键的性质需求成为一个重要问题.由于空间爆炸和语义的复杂性,对Statecharts进行模型检验受到软件规模和设计精化程度的制约.本文在用扩展层次自动机(EHA)结构化的表示UML Statecharts后,通过分析EHA中存在的层次、并发和事件同步等特征定义了一组依赖关系.对于由状态和迁移组成的切片准则,给出对EHA进行切片的算法.该算法能保证切片后的EHA与原来的Statecharts对性质具有相同的可满足性,且删除了与被验证性质无关的层次和并发状态,缓解了空间爆炸问题. 展开更多

关键词 UML STATECHARTS 切片 模型检验 统一建模语言

在线阅读 下载PDF 职称材料

主动适应军队现代化建设需要努力开创研究生教育的新局面

6

作者 齐治昌 《高等教育研究（长沙）》 1998年第2期7-12,共6页

关键词 军队建设 研究生教育 管理体系

全文增补中

一种面向性质的实时系统测试方法 被引量：2

7

作者 李书浩 王戟 +1 位作者 齐治昌 董威 《电子学报》 EI CAS CSCD 北大核心 2005年第5期827-834,共8页

　尽管Statecharts在反应式实时系统建模领域获得了广泛应用,基于Statecharts开发的实时软件的测试仍然十分困难.由于引入了时间维,待测系统的行为空间变得非常庞大,使得难以对其进行全面深入测试.本文提出了一种面向性质的实时系统测... 　尽管Statecharts在反应式实时系统建模领域获得了广泛应用,基于Statecharts开发的实时软件的测试仍然十分困难.由于引入了时间维,待测系统的行为空间变得非常庞大,使得难以对其进行全面深入测试.本文提出了一种面向性质的实时系统测试方法.首先对UMLStatecharts作适当实时扩展,使得扩展后能描述non trivial时间约束;然后用一种受限实时逻辑描述待测系统的功能特性;在此基础上根据待测性质从系统模型生成有针对性的测试序列.实验表明,在相同测试深度下,面向性质测试比非面向性质测试需要少得多的测试序列. 展开更多

关键词 软件测试 实时系统 UML STATECHARTS 时序逻辑 测试序列

在线阅读 下载PDF 职称材料

动态灰色时序系统DGTS及其在安全策略规范中的应用 被引量：1

8

作者 樊爱华 陈火旺 +1 位作者 齐治昌 沈雁 《国防科技大学学报》 EI CAS CSCD 北大核心 1995年第4期75-80,共6页

设计安全策略模型时应考虑安全策略的时序特性和灰色特性，还应综合考虑保密性、完整性和可用性三方面的需求。已有的安全模型没有描述时序性和灰色特性，而且一般只侧重描述保密性或完整性。为此，本文提出了动态灰色时序系统（简称Ｄ... 设计安全策略模型时应考虑安全策略的时序特性和灰色特性，还应综合考虑保密性、完整性和可用性三方面的需求。已有的安全模型没有描述时序性和灰色特性，而且一般只侧重描述保密性或完整性。为此，本文提出了动态灰色时序系统（简称ＤＧＴＳ）。本文详细描述了ＤＧＴＳ，以及基于ＤＧＴＳ的动态语义设计的灰色时序安全策略规范语言ＧＴＳＬ。 展开更多

关键词 灰色系统 安全策略 DGTS 计算机网络

在线阅读 下载PDF 职称材料

体系作战下信息化人才的软件工程素质培养 被引量：4

9

作者 董威 宁洪 齐治昌 《高等教育研究学报》 2010年第4期30-32,共3页

提高基于信息系统的体系作战能力已成为军队信息化建设的重点,由于软件被认为是信息系统的核心与灵魂,培养信息化人才与其职能和岗位相适应的软件工程素质,对发挥信息系统在体系作战中的效能具有重要的意义。本文以软件工程教育知识体(S... 提高基于信息系统的体系作战能力已成为军队信息化建设的重点,由于软件被认为是信息系统的核心与灵魂,培养信息化人才与其职能和岗位相适应的软件工程素质,对发挥信息系统在体系作战中的效能具有重要的意义。本文以软件工程教育知识体(SEEK)为基础,探讨了如何针对体系作战下科研、开发、指挥、作战、保障等不同类型人员进行相应的软件工程教育。 展开更多

关键词 软件工程 信息系统 体系作战

在线阅读 下载PDF 职称材料

基于灰色时序的完整性规范技术 被引量：1

10

作者 樊爱华 陈火旺 齐治昌 《国防科技大学学报》 EI CAS CSCD 1998年第4期65-69,共5页

计算机系统的完整性安全策略模型与规范问题，是计算机安全研究中最重要的课题之一。已有的研究结果离实际应用还相差太远，例如Ｃｌａｒｋ－Ｗｉｌｓｏｎ完整性模型只是提出了一个框架。本文呈现了我们构造的形式化灰色时序安全策略规... 计算机系统的完整性安全策略模型与规范问题，是计算机安全研究中最重要的课题之一。已有的研究结果离实际应用还相差太远，例如Ｃｌａｒｋ－Ｗｉｌｓｏｎ完整性模型只是提出了一个框架。本文呈现了我们构造的形式化灰色时序安全策略规范语言（ＧＴＳＬ）。ＧＴＳＬ的理论基础是灰色系统理论和时序规范语言ＬＯ－ＴＯＳ理论。由于它在完整性规范能力、完整性验证过程的构造与表示、责任分离合理性测试等一系列技术方面的完善与创新，使得ＧＴＳＬ成为真正能够实际使用的完整性安全策略规范语言。 展开更多

关键词 安全策略 完整性规范 灰色系统 计算机 保密性

在线阅读 下载PDF 职称材料

反应式系统面向性质测试的方法框架

11

作者 李书浩 王戟 +1 位作者 董威 齐治昌 《电子学报》 EI CAS CSCD 北大核心 2004年第F12期222-225,共4页

提出了一种反应式系统选择性测试方法 .该方法根据描述待测系统的UMLStatecharts模型和描述系统功能属性的时序逻辑公式生成有针对性的测试序列 .据此实现了一个面向性质的测试工具 .实验表明 ,该方法可以将测试资源集中于用户关注的系... 提出了一种反应式系统选择性测试方法 .该方法根据描述待测系统的UMLStatecharts模型和描述系统功能属性的时序逻辑公式生成有针对性的测试序列 .据此实现了一个面向性质的测试工具 .实验表明 ,该方法可以将测试资源集中于用户关注的系统行为 .经扩展后 ,该方法可用于实时系统 . 展开更多

关键词 软件测试 反应式系统 UML STATECHARTS 时序逻辑

在线阅读 下载PDF 职称材料

自适应Agent策略描述语言的设计及编译器的实现 被引量：7

12

作者 郝小雷 董孟高 +1 位作者 毛新军 齐治昌 《电子学报》 EI CAS CSCD 北大核心 2009年第B04期65-69,共5页

当前自适应系统的开发存在自适应逻辑和业务逻辑相互缠绕的问题,使得自适应系统的开发和维护变得极为复杂和困难.论文认为自主性是实现自适应性的基础和前提,提出将自适应逻辑和业务逻辑相分离的思想,设计了一个自适应Agent策略描述语言... 当前自适应系统的开发存在自适应逻辑和业务逻辑相互缠绕的问题,使得自适应系统的开发和维护变得极为复杂和困难.论文认为自主性是实现自适应性的基础和前提,提出将自适应逻辑和业务逻辑相分离的思想,设计了一个自适应Agent策略描述语言SADL,用于对系统自适应特征进行描述.自适应Agent基于预定义策略,在运行时根据外部环境和内部状态的变化,通过动态绑定、释放、激活或钝化行为规约展示自适应行为.论文介绍了SADL语言的语法和语义及其编译器的设计和实现. 展开更多

关键词 AGENT 动态绑定机制 自适应策略描述语言

在线阅读 下载PDF 职称材料

基于SWEBOK的“软件工程”系列课程建设 被引量：2

13

作者 董威 李暾 +1 位作者 舒绍娴 齐治昌 《高等教育研究学报》 2004年第4期40-42,共3页

建设高水平的“软件工程”课程,培养高素质软件工程人才是信息化建设的迫切需要。论文首先对国内外著名院校“软件工程”课程设立情况进行了概述,然后具体阐述了国防科技大学计算机学院基于ACM和IEEE-CS联合推出的软件工程知识体(SWEBOK... 建设高水平的“软件工程”课程,培养高素质软件工程人才是信息化建设的迫切需要。论文首先对国内外著名院校“软件工程”课程设立情况进行了概述,然后具体阐述了国防科技大学计算机学院基于ACM和IEEE-CS联合推出的软件工程知识体(SWEBOK)建设本科“软件工程”系列课的研究和实践,并对该课程建设中的实习、教学平台等相关内容进行了讨论。 展开更多

关键词 高校 软件工程课程 软件工程知识体 SWEBOK 课程建设

在线阅读 下载PDF 职称材料

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

14

作者 齐治昌 沈跃进 《高等教育研究（长沙）》 1993年第2期11-19,共9页

关键词 研究生教育 计划经济 市场经济 影响 高等教育

在线阅读 下载PDF 职称材料

研究生教育在重点高等学校中的地位与作用

15

作者 郭桂蓉 齐治昌 《高等教育研究（长沙）》 1993年第2期5-10,共6页

关键词 研究生教育 高校 高等教育 科研 师资队伍建设

在线阅读 下载PDF 职称材料

深化研究生教育改革主动适应军队现代化建设的需要

16

作者 郭桂蓉 齐治昌 《高等教育研究（长沙）》 1994年第1期1-5,共5页

加强计算机学科建设，主动适应国防建设需要齐治昌，王广芳，王凤学，张俊科，张克强国防科学技术大学计算机系、研究所经过３０多年的艰苦奋斗，目前已发展成系所合一，集教学、科研、生产、科技开发为一体的高科技实体。现有教职员工... 加强计算机学科建设，主动适应国防建设需要齐治昌，王广芳，王凤学，张俊科，张克强国防科学技术大学计算机系、研究所经过３０多年的艰苦奋斗，目前已发展成系所合一，集教学、科研、生产、科技开发为一体的高科技实体。现有教职员工８００多人，有硕士点５个，博士点３... 展开更多

关键词 研究生教育 高等教育 军队现代化

全文增补中