国家高技术研究发展计划(2007AA01Z123)
- 作品数：6 被引量：27H指数：3
- 相关作者：金英罗术通张晶张长海胡亮更多>>
- 相关机构：吉林大学内蒙古民族大学更多>>
- 发文基金：国家高技术研究发展计划吉林省自然科学基金中央级公益性科研院所基本科研业务费专项更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于安全模式的软件安全设计方法被引量：4
- 2011年
- 提出一种基于安全模式的软件安全设计方法,能在设计阶段保障软件的安全性。以新的安全构造型标识安全关注,建立一种高层的安全抽象;阐述使用安全构造型和安全模式进行系统设计的具体过程,给出应用实例的系统设计类图;对安全模式库的构建方法进行分析,并与其他软件设计方法进行了比较。
- 王涛金英张晶
- 关键词：统一建模语言
- 通过需求依赖判定横切关注点被引量：3
- 2011年
- 提出了一种定义需求依赖关系以及基于该依赖关系判定需求横切关注点的方法。首先,针对系统资源定义了需求之间原子关系;其次,提出了需求簇的概念以及基于需求之间关系划分需求簇的方法;最后给出了基于需求簇以及需求依赖关系进行横切关注点判定方法和冲突分析方法。通过应用本文方法对一个已有系统提取了相应的横切关注点,验证了本文方法的可行性和有效性。
- 罗术通张长海金英刘元宁
- 基于aspect封装的需求级特征复用方法被引量：1
- 2011年
- 可复用的软件资产的确定为软件复用活动提供了基础.特征模型通过特征以及特征之间的关系来有效地组织特定领域的软件需求,为领域需求的复用提供有力支持.面向方面系统设计着眼于减少软件开发中需求或代码的纠结,将识别出的横切关注点封装成aspect,有利于开发模块化良好的软件产品以及高效的软件维护和复用.为方便特征复用,提出了一种在系统需求分析级别对特征模型进行aspect化封装的方法,可提取出遗留系统中的可复用部分.首先,通过分析同一领域遗留系统的需求文档,识别出系统关注点,建立领域的关注点层次结构;其次,基于领域关注点层次结构,提取领域特征,并对相似特征进行aspect化封装,形成特征层次模型;最后,基于建立的特征模型以及封装的aspect开发新系统,达到软件复用目的.基于新方法进行了实例分析,通过复用两个不同的Web遗留系统得到一个新的Web系统.可以看出新方法对同一个领域中的多遗留系统地复用有较好的指导意义.
- 罗术通裴志利张长海金英
- 一种基于约束的变异测试数据生成方法被引量：11
- 2011年
- 作为衡量测试用例集完备性的测试策略,变异测试是一种"面向缺陷"的单元测试技术,主要用来生成完备的测试用例集.其中面向路径测试数据生成技术通过约束系统构造和求解过程实现用例集生成,是一种高效的测试用例生成技术.但目前大部分面向路径测试用例生成技术只考虑了程序语句间的控制依赖,即通过对控制流图的分析来构建约束系统,而忽略了语句间的数据依赖对约束系统的影响.充分考虑两种依赖关系,针对域削减的测试数据生成技术进行了改进,提出了一种考虑数据依赖的域削减方法.实验表明,这种方法在变异测试数据生成的成功率和执行效率上都有较大程度的提高.
- 刘新忠徐高潮胡亮付晓东董玉双
- 关键词：软件自动化测试测试数据生成
- 软件安全需求获取方法的研究被引量：8
- 2011年
- 近年来,软件主动式防御思想在软件安全性保障中的地位越来越高,它是一种积极的保障软件安全性的思想,可有效地构建高可信性软件。安全需求的获取是软件安全性保障中最关键的部分,是主动式防御首要完成的任务并且也是最难完成的部分。针对典型的安全需求获取方法,从它们的研究途径、应用情况等方面进行比较和分析,总结并讨论了安全需求获取方法的状况及其未来的发展趋势。上述工作将对安全需求获取方法的研究和实践应用提供有益参考。
- 金英刘鑫张晶
- 关键词：主动式防御安全需求
- 基于设计变动分析的JAVA源代码变动预测
- 2008年
- 提出了一种映射面向对象软件设计变动到程序代码变动的方法来预测可能产生的源代码变动。该方法把设计与代码都定义和分类为原子变动与复合变动,根据变动的定义与分类提出并应用变动影响分析的算法,从而得出从UML设计模型变动到Java代码变动的映射规则。并且设计了一个支撑工具,对一个开源软件进行分析来验证本文的方法。
- 谭向臣冯铁罗术通李大利
- 关键词：计算机软件面向对象软件设计JAVA编程语言
