中文摘要：

当前的软件开发过程中，软件的非功能性通常在功能模块代码实现以后才考虑实现和检验，对非功能性考虑时间的延迟导致后期对代码频繁的修改，直接影响软件的生产效率和质量，并增加成本。本项目研究旨在提前在建模阶段考虑软件的功能性与非功能性规约的全面设计，并对得到的模型进行验证以确保满足功能性规约的同时也能满足非功能性规约，并基于验证后得到的全局模型，对最终代码进行测试，以确保代码与模型一样满足了非功能性规约。为达到该目标，本项目研究拟基于aspect对工业界广泛应用的统一建模语言（UML）进行扩充，以支持对软件非功能性规约的建模，并进一步系统地研究实现非功能性模型横切（crosscut）功能性模型的集成机制，实现模型驱动测试和验证等相关问题。在完成理论研究的基础上，我们拟开发一套原型工具来支撑上述技术，并选择工业界典型的项目进行试验，以探索其实际应用的前景。