基于场景行为的需求建模与质量特性验证方法

本文档深入探讨了"基于场景行为的需求建模及质量特性检测"这一主题，针对软件开发中的非功能质量验证问题，提出了创新的方法。核心研究是设计了一种行为描述语言(Behavioral Description Language, BDL)，这是一种旨在构建高精度、可推理且易于理解的需求行为模型的语言。通过将需求行为模型转化为状态迁移模型（如Communicating Sequential Processes, CCS）的形式，论文构建了一个模型转换函数，并以互模拟的理论为基础，确保其正确性。 该研究的关键步骤包括模型转换的验证，即开发了一款可信建模检测工具(MTS，Model Transformation System)，该工具可以将行为模型与质量特性表达式结合，以便在特性检测工具CWB（Characteristics Verification Tool）中进行质量特性检测。这种方法对于软件项目的早期阶段至关重要，可以帮助开发者在需求分析阶段就识别出潜在的质量问题。 具体应用实例中，作者利用这个工具对手机软件升级的需求进行了行为建模，验证了诸如一致性、安全性、行为可信性和行为非终止性等关键非功能质量特性。这种场景行为建模方法不仅提高了软件质量的预评估能力，还提高了软件开发的效率和有效性。 论文的作者团队由金欢和黄箐组成，他们分别来自江西科技学院信息工程学院和武汉大学计算机学院，他们的研究领域涵盖了需求工程、软件工程以及可信计算等多个方向。他们的研究成果不仅推动了软件开发过程中的质量控制，也为未来的软件需求分析提供了新的思考角度和实践工具。 本文的研究成果发表于2016年，受到了国家自然科学基金、深圳战略性新兴产业发展专项资金和中央高校基本科研业务费专项资金的支持，显示了学术界对该领域的高度关注和认可。通过这篇论文，读者可以了解到如何在实际软件项目中运用场景行为建模来确保软件的高质量标准。