国家高技术研究发展计划(2007AA01Z123)

作品数：6被引量：29H指数：4
导出分析报告
相关作者：金英罗术通张晶张长海胡亮更多>>
相关机构：吉林大学内蒙古民族大学更多>>
相关期刊：《计算机研究与发展》《计算机工程》《吉林大学学报（工学版）》《计算机科学》更多>>
相关主题：测试数据生成数据生成方法软件自动化测试安全需求主动式防御更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-6
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于安全模式的软件安全设计方法被引量：4
《计算机工程》2011年第12期59-61,共3页王涛 金英 张晶 
国家"863"计划基金资助项目(2007AA01Z123);吉林大学科学前沿与交叉学科创新基金资助项目(200903193)
提出一种基于安全模式的软件安全设计方法,能在设计阶段保障软件的安全性。以新的安全构造型标识安全关注,建立一种高层的安全抽象;阐述使用安全构造型和安全模式进行系统设计的具体过程,给出应用实例的系统设计类图;对安全模式库的构...
关键词：安全模式 软件安全设计 统一建模语言 安全模式库 
基于aspect封装的需求级特征复用方法被引量：1
《计算机研究与发展》2011年第9期1714-1721,共8页罗术通 裴志利 张长海 金英 
国家"八六三"高技术研究发展计划基金项目(2007AA01Z123);吉林省自然科学基金项目(20101509);吉林大学基本科研业务费"科学前沿与交叉学科创新项目"(200903193);内蒙古自然科学基金项目(20080404MS0908);内蒙古自治区高等学校研究项目(NJ10118);内蒙古民族大学博士科研启动基金项目(BS191)
可复用的软件资产的确定为软件复用活动提供了基础.特征模型通过特征以及特征之间的关系来有效地组织特定领域的软件需求,为领域需求的复用提供有力支持.面向方面系统设计着眼于减少软件开发中需求或代码的纠结,将识别出的横切关注点封...
关键词：需求关注点层次结构 多遗留系统复用 特征层次模型 关注点获取 aspect化封装 
通过需求依赖判定横切关注点被引量：5
《吉林大学学报（工学版）》2011年第4期1065-1070,共6页罗术通 张长海 金英 刘元宁 
'863'国家高技术研究发展计划项目(2007AA01Z123);吉林省自然科学基金项目(20101509);吉林大学科学前沿与交叉学科创新项目(200903193);吉林大学基本科研业务费(201103133)
提出了一种定义需求依赖关系以及基于该依赖关系判定需求横切关注点的方法。首先,针对系统资源定义了需求之间原子关系;其次,提出了需求簇的概念以及基于需求之间关系划分需求簇的方法;最后给出了基于需求簇以及需求依赖关系进行横切关...
关键词：计算机软件工程 需求依赖关系 横切关注点判定 需求簇 簇内横切 簇间横切 冲突分析 
软件安全需求获取方法的研究被引量：8
《计算机科学》2011年第5期14-19,共6页金英 刘鑫 张晶 
国家"863"高技术研究发展计划专题课题(2007AA01Z123);国家自然科学基金青年基金(60603031);吉林大学科学前沿与交叉学科创新项目(200903193)资助
近年来,软件主动式防御思想在软件安全性保障中的地位越来越高,它是一种积极的保障软件安全性的思想,可有效地构建高可信性软件。安全需求的获取是软件安全性保障中最关键的部分,是主动式防御首要完成的任务并且也是最难完成的部分。针...
关键词：软件安全性 主动式防御 安全需求 威胁 
一种基于约束的变异测试数据生成方法被引量：11
《计算机研究与发展》2011年第4期617-626,共10页刘新忠 徐高潮 胡亮 付晓东 董玉双 
国家"八六三"高技术研究发展计划基金项目(2007AA01Z123)
作为衡量测试用例集完备性的测试策略,变异测试是一种"面向缺陷"的单元测试技术,主要用来生成完备的测试用例集.其中面向路径测试数据生成技术通过约束系统构造和求解过程实现用例集生成,是一种高效的测试用例生成技术.但目前大部分面...
关键词：变异测试 约束系统 软件自动化测试 测试数据生成 面向路径测试 
基于设计变动分析的JAVA源代码变动预测
《吉林大学学报（工学版）》2008年第3期685-689,共5页谭向臣 冯铁 罗术通 李大利 
'863'国家高技术研究发展计划专题课题(2007AA01Z123)
提出了一种映射面向对象软件设计变动到程序代码变动的方法来预测可能产生的源代码变动。该方法把设计与代码都定义和分类为原子变动与复合变动,根据变动的定义与分类提出并应用变动影响分析的算法,从而得出从UML设计模型变动到Java代...
关键词：计算机软件 变动影响分析 面向对象软件设计 JAVA编程语言 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部