-
题名软件需求工程课程建设思考与实践
被引量：6
- 1
-
-
作者
董威
舒绍娴
徐小平
-
机构
国防科学技术大学计算机学院
国防科学技术大学科研部
-
出处
《计算机工程与科学》
CSCD
北大核心
2014年第A02期34-37,共4页
-
文摘
针对国家和军队信息化建设中需求工程面临的挑战,考虑需求工程对人员的技术能力、交流协调能力、问题分析能力、社会知识基础的综合要求较高,结合软件工程知识体(SWEBOK)、软件工程教育知识体(SEEK)等规范最新进展,对软件需求工程本科和研究生课程的建设进行了思考,针对课程内容建设、教学实践环节设计、考核方式等提出一系列改进措施,并对这些措施的具体实施进行讨论。
-
关键词
软件需求
需求工程
课程建设
-
Keywords
software requirement
requirement engineering
course construction
-
分类号
G642.3
[文化科学—高等教育学]
-
-
题名基于分层程序频谱的软件故障定位方法研究
被引量：4
- 2
-
-
作者
叶俊民
何印标
陈曙
董威
舒绍娴
-
机构
华中师范大学计算机学院
国防科技大学计算机学院
-
出处
《小型微型计算机系统》
CSCD
北大核心
2015年第9期1953-1957,共5页
-
基金
国家"九七三"重点基础研究发展计划项目(2014CB340703)资助
华中师范大学高校基本科研业务费项目(CCNU15GF003)资助
中央高校基本科研业务费专项科研项目(CCNU15GF003)资助
-
文摘
基于语句程序频谱的软件故障定位方法,通常利用搜集程序在运行测试用例集合产生的语句覆盖信息来实现故障语句定位,但这种定位技术缺乏语句块筛选机制,从而使定位精度受限.为此,提出一种基于分层程序频谱的软件故障定位方法,其具体思想是将故障定位分为函数故障定位和语句故障定位两个层次,在函数故障定位层次上使用函数调用对程序频谱对程序中的函数发生故障的可疑值进行计算,主动筛选"最有可能"发生故障的函数;在语句故障定位层次上优先处理可疑值较大的函数,计算函数中每条语句发生故障可疑值,根据可疑值大小定位语句故障.实验表明,提出的方法能快速地找到故障语句,缩小故障代码审查区域.
-
关键词
多层次频谱
软件故障定位
故障可疑值
-
Keywords
multi-layer spectra
softw are fault location
fault dubious value
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种嵌入式操作系统运行时验证方法
被引量：3
- 3
-
-
作者
张可迪
舒绍娴
董威
-
机构
国防科学技术大学计算机学院
-
出处
《计算机工程与科学》
CSCD
北大核心
2014年第5期900-905,共6页
-
基金
国家自然科学基金资助项目(60970035)
国家863计划资助项目(2011AA010106)
-
文摘
作为测试、模型检验等开发阶段所用技术的有效补充,运行时验证技术越来越受到广泛的关注。然而,当前的运行时验证技术主要用于应用软件,很少专门针对操作系统进行研究。对面向嵌入式操作系统的运行时验证框架和关键技术进行了研究,并结合一个开源嵌入式操作系统FreeRTOS进行了设计与实现。首先提出了一种面向嵌入式操作系统的运行时验证和反馈调整框架,然后针对框架中的关键技术部分,完成了规约语言的设计、三值语义监控器的生成、FreeRTOS嵌入式操作系统相关接口的实现等主要工作。
-
关键词
嵌入式操作系统
FreeRTIOS
运行时验证
规约语言
三值语义监控器
-
Keywords
embedded operating system
FreeRTOS
runtime verification
specification languagethree-valued semantic monitor
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于SWEBOK的“软件工程”系列课程建设
被引量：2
- 4
-
-
作者
董威
李暾
舒绍娴
齐治昌
-
机构
国防科技大学计算机学院
-
出处
《高等教育研究学报》
2004年第4期40-42,共3页
-
文摘
建设高水平的“软件工程”课程,培养高素质软件工程人才是信息化建设的迫切需要。论文首先对国内外著名院校“软件工程”课程设立情况进行了概述,然后具体阐述了国防科技大学计算机学院基于ACM和IEEE-CS联合推出的软件工程知识体(SWEBOK)建设本科“软件工程”系列课的研究和实践,并对该课程建设中的实习、教学平台等相关内容进行了讨论。
-
关键词
高校
软件工程课程
软件工程知识体
SWEBOK
课程建设
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
G642.3
[自动化与计算机技术—计算机科学与技术]
-
-
题名分布科学计算实例研究中的Agent模型
被引量：1
- 5
-
-
作者
舒绍娴
黎建兴
齐治昌
-
机构
国防科技大学计算机学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2003年第12期96-99,共4页
-
基金
银河预研基金项目资助
-
文摘
在分布式条件下使用区域分解法求解偏微分方程定常解时,效率会比单个区域的情况有所下降,这是因为网格上的通讯和计算的比例不协调。为了尽可能地做到适时通讯,采用Agent模型负责每个子区域上的计算,自主控制子区域之间的通讯,从而避免了因通讯不当带来的效率损失。
-
关键词
AGENT
偏微分方程
定常解
-
Keywords
Agent ,PDE,The steady state solution
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名面向对象软件的综合特征定位方法
- 6
-
-
作者
舒绍娴
徐小平
荣霓
郭敏
-
机构
国防科学技术大学计算机学院
国防科学技术大学科研部
[
-
出处
《计算机工程与科学》
CSCD
北大核心
2013年第6期101-106,共6页
-
基金
国家自然科学基金资助项目(60970035
91018013)
-
文摘
高效、准确地定位软件特征所对应的代码实现,对软件维护十分重要。针对面向对象软件系统,提出一种综合的特征定位方法。该方法利用软件搜索技术为特征与相关类建立初始追踪关系;然后以这些类作为种子构造面向对象程序的关注图;进一步采用面向对象切片技术,以关注图中的属性和语句作为切片准则,计算对特征实现具有直接影响的语句代码。该方法有较高的自动化程度,能够提高软件维护中程序理解的效率。
-
关键词
软件维护
特征定位
软件搜索
关注图
程序切片
-
Keywords
software maintenance
feature location
software reconnaissance
concern graph
program slicing
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于时间属性序列图的监控器构造方法
- 7
-
-
作者
叶俊民
辜剑
陈曙
董威
舒绍娴
-
机构
华中师范大学计算机学院
国防科技大学计算机学院
-
出处
《小型微型计算机系统》
CSCD
北大核心
2015年第7期1426-1431,共6页
-
基金
国家"九七三"重点基础研究发展计划课题项目(2014CB340703)资助
-
文摘
运行时验证一般采用时态逻辑来描述要验证的需求规约,并根据需求规约构造监控器.这对于那些没有形式化经验的软件工程师而言,是一件非常困难的事情,同时,这类方法通常缺少时间机制支撑,因此难以满足实时系统运行时验证中的要求.序列图得到了广泛使用,研究基于序列图来自动生成监控器就显得十分有意义.提出基于UML2.0时间属性序列图的监控器的自动生成方法,其具体思想是使用时间属性序列图来描述要验证的需求规约,然后将整个序列图转换为时间自动机网络,构造出监控器.实验表明,该方法方便缺少形式化经验的软件工程师使用,所产生的监控器运行开销较小,能满足验证对实时性的要求,且有效缓解了监控器生成过程中的组合爆炸.
-
关键词
时间属性序列图
时间自动机
监控器
运行时验证
-
Keywords
timed property sequence diagram
timed automaton
monitor
runtime verification
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名面向对象软件的程序级FMEA方法
- 8
-
-
作者
舒绍娴
徐小平
-
机构
国防科技大学计算机学院
国防科技大学科研部
-
出处
《科技信息》
2012年第35期40-41,共2页
-
基金
国家自然基金项目(编号60970035
91018013)资助
-
文摘
软件失效模式及影响分析(FMEA)是一种提高软件安全性和可靠性的有效方法。本文提出基于程序依赖关系的面向对象软件程序级FMEA方法,在详细设计及代码实现阶段,通过构造系统依赖图描述代码间存在的复杂的依赖关系,并采用切片技术提高失效原因和影响分析的效率。
-
关键词
FMEA
面向对象软件
程序切片
-
Keywords
FMEA
Object-oriented software
Program slicing
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于RUP的软件测试实施过程
- 9
-
-
作者
舒绍娴
王大翊
-
机构
国防科学技术大学计算机学院
海军装备技术研究所
-
出处
《科技信息》
2012年第34期1-1,3,共2页
-
基金
国家自然基金项目(编号60970035
91018013)资助
-
文摘
测试是统一软件开发过程RUP中的一个重要核心工作流。本文探讨了如何在RUP过程中实施测试,包括RUP中产品质量维度和测试类型、与迭代过程相结合的测试生命周期,阐述了具体的测试方法以及提高测试效率的自动化测试工具。
-
关键词
RUP软件测试
自动化测试
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
