百科释义
报错Wright 是由美国卡内基梅隆大学开发的体系结构描述语言(ADL),属于基于组件和消息的分布并发类型架构描述工具,其核心技术特征包括使用 CSP(通信顺序进程)符号描述构件行为、支持 Client/Server 架构的形式化建模等。该语言通过定义组件、连接件、端口等元素构建软件体系结构模型,并采用 BG 图(动态行为图)结合 Petri 网理论实现构件交互行为的可视化分析。其扩展版本 AWright 新增面向方面编程支持,通过切入点描述机制实现了功能需求与非功能需求的解耦。在软件测试领域,基于 Wright 的测试路径生成方法可覆盖六类体系结构测试准则,有效支撑架构级验证。 查看百科
注:百科释义来自于百度百科,由网友自行编辑。