【作者】 张璇；

【导师】 李彤；

【作者基本信息】 云南大学 ， 系统分析与集成， 2014， 博士

【摘要】 可信软件基于软件过程在开发或演化条件下的方法论是当前可信软件及软件工程领域国内外的关注重点。不同于普通软件,可信软件的可信性由其功能需求和非功能需求共同来体现,对可信软件需求进行研究,以及在可信软件生命周期全过程中融入可信性是实现可信软件生产及演化的一个有效途径。在软件过程建模领域,软件演化过程建模方法已经有效地解决了软件开发及演化的通用流程架构,是一种提高软件开发与演化质量以及效率的重要方法。然而,当面对可信软件时,其对非功能需求的特殊依赖,致使我们对软件过程建模方法提出了新的需求。依托本人主持的国家自然科学基金项目“基于演化的可信软件过程建模研究”(61262025),基于软件演化过程建模方法,使用面向方面方法,提出面向方面的可信软件过程建模方法,解决软件生命周期全过程融入可信性的问题,为可信软件的生产及演化提供可靠的软件过程模型,为实现这一目标,本文从理论、方法以及技术方面给予了全面的支持。在理论方面,针对非功能需求对可信软件的重要性,本文首先提出了分析可信软件需求以及通过可信软件需求获取过程策略的相关理论,在此基础之上,提出了基于面向方面方法扩展软件演化过程建模方法的相关理论,在保证软件演化过程建模方法提供可重用的通用过程模型的同时,可以灵活可控地融入通过可信软件需求推导出的相关过程策略。在方法方面,本文提出了可信软件需求获取、建模与推理方法,通过可信软件需求获取满足可信需求的过程策略。在此基础之上,提出了面向方面的可信软件过程建模方法,可信软件过程建模方法以软件演化过程建模方法为基础,依赖软件演化过程建模方法实现软件有关功能需求的过程建模,然后,使用面向方面方法将过程策略定义的可信方面通过合成机制织入软件演化过程模型,实现可信性融入软件生命周期全过程的需要,其中,重点解决了可信方面织入冲突控制及检测的问题。在技术方面,本文开发了可信需求推理辅助工具和可信软件过程建模辅助工具,为可信软件过程建模提供技术支持。最后,通过在两个可信软件的案例中使用本文提出的理论、方法和技术,说明本文提出的理论和方法是可行的,开发的辅助工具是有效的,可信软件过程建模方法可以通过软件生命周期全过程的可信性保证达到可信软件生产的目标。更多还原

【Abstract】 Based on software process, engineer trustworthy software that survives trustworthy requirements and requirement evolution has been an outstanding puzzle to the trustworthy software and software engineering community. Unlike ordinary software, the trustworthiness of trustworthy software include both functional requirements and non-functional requirements. Researching on the requirements of trustworthy software, as well as integrating software trustworthiness across its life cycle is an effective way to achieve trustworthy software production and evolution.In the field of software process modeling, the approach of modeling software evolution process proposed an effective solution for the universal software development and evolution process framework. It is a useful approach for improving the quality and efficiency through software development and evolution process. However, according to the differences of trustworthy software, new requirements were proposed in our software process modeling approach for its special dependence on non-functional requirements.Our work is supported by the National Natural Science Foundation of China under Grant No.61262025. Based on the approach of software evolution process modeling, by using aspect-oriented approach, an approach of aspect-oriented trustworthy software process modeling is proposed. The approach integrated the software trustworthiness into its life cycle and provided a reliable software process model for the trustworthy software development and evolution. To achieve this goal, a comprehensive support in the theory, methods, and techniques were proposed.Firstly, according to the importance of non-functional requirements for trustworthy software, a theory is presented for analysising, modeling and reasoning of truworthy software requirements.on this basis, another theory was presented for trustworthy software process modeling which is based on aspect-oriented modeling. It provided a reusable general process model and also provided a flexible and controllable way to assure trustworthiness across the software life cycle process.Secondly, an approach of trustworthy software requirements capturing, modeling and reasoning is proposed to meet the needs of obtaining the process strategies. Based on these strategies, trustoworthy aspects were defined to be composed into the software evolution process model. This approach of aspect-oriented trustworthy software process modeling achieves the functional requirements by software evolution process modeling, and the non-functional requirements by aspects composition. Especially, aspect conflicts were solved by controlling and detection in this approach.Thirdly, a trustworthy attribute correlation diagnose tool and a trustworthy process aided tool were developed to provide technical support for trustworthy software process modeling.Finally, the theory, the approach and the techniques were used in the cases of two trustworthy software. Through the analysis of the cases, the theory and the approach proposed in this paper is feasible, the tools are effective. The trustworthy software process modeling approach was proved that the trustworthy software production goals can be achieved by the credibility of the whole process of the software life cycle.更多还原