序列图论文

基于UML序列图模型的软件测试研究
论文摘要软件测试是软件开发过程中重要的组成部分，是保证软件质量的有效手段。本文主要研究了基于UML序列图模型的软件测试方法和工具实现。鉴于UML模型是一种半形式化的建模，本文首...
基于开放编译的C++程序静态分析机制
论文摘要随着软件系统的日益复杂,软件开发、维护以及进化的大部分工作和主要成本集中在对现有系统的理解上。逆向工程是一种辅助程序理解的重要手段,是软件工程的一个重要分支,它通过抽取...
逆向工程中恢复UML行为模型的研究
论文摘要随着软件系统的日益复杂,软件开发、维护以及进化的大部分工作和主要成本集中在对现有系统的理解上。软件逆向工程是一种辅助程序理解的重要手段,其目标是利用工程化的方法和技术分...