基于模AC的异步通信对象测试与验证方法探讨
65 浏览量
更新于2024-06-18
收藏 701KB PDF 举报
本文主要探讨了基于模AC的异步通信对象模型测试与验证方法的研究,特别是在挪威奥斯陆大学计算机科学系进行的相关工作。作者Olaf Owe、Martin Steesen和Arild B. Thoresen针对异步环境中的软件可靠性问题,提出了一个黑盒测试的接口规范语言。这种语言以约束-承诺的风格描述对象的行为,特别适用于高级的克理奥尔(Creol)对象模型,这是一种面向对象建模的工具。
在传统的系统测试中,确保软件质量和可靠性至关重要。随着形式化方法和程序语言理论的应用,测试过程变得更严谨和系统化。近期,基于模型的测试策略逐渐受到重视,如在之前的论文中,研究人员提出了一种针对异步通信组件的规范测试方法,这种方法适用于开放环境下的非确定性交互。
本文的工作受到了欧盟项目Credo(分布式服务进化结构)和HATS(使用形式化方法的高度适应性和可信赖的软件)的资助,以及德国-挪威DAAD-NWO交换项目的Avabi(异步活动对象行为接口的自动验证)的支持。在这个背景下,作者利用Creol语言进行模型测试,通过同步执行规范与受测组件,实现观察等效性的测试目标。然而,由于异步通信的特性,测试案例可能导致状态空间显著增长,这增加了测试的复杂性。
为了解决这个问题,作者们利用了模AC(结合性和交换性)的概念,将其融入到重写逻辑系统Maude中,通过优化状态空间的处理。他们采用了广度优先搜索策略,有效地减少了状态空间的探索,从而提高了测试效率和实用性。当前的实验结果显示,这种方法在实际应用中展现出了良好的效果。
总结来说,本文的核心贡献是提供了一种有效的方法来处理异步通信对象模型的测试和验证,利用形式化手段,尤其是通过 Creol 和 Maude 的结合,简化了复杂性,提高了测试的准确性和效率。这对于保证软件在异步环境中的可靠性和质量具有重要的意义。
2013-04-03 上传
2019-11-15 上传
2023-05-24 上传
2023-08-08 上传
2023-08-07 上传
2023-04-02 上传
2024-09-05 上传
2024-09-05 上传
![](https://profile-avatar.csdnimg.cn/default.jpg!1)
cpongm
- 粉丝: 5
- 资源: 2万+
最新资源
- 多模态联合稀疏表示在视频目标跟踪中的应用
- Kubernetes资源管控与Gardener开源软件实践解析
- MPI集群监控与负载平衡策略
- 自动化PHP安全漏洞检测:静态代码分析与数据流方法
- 青苔数据CEO程永:技术生态与阿里云开放创新
- 制造业转型: HyperX引领企业上云策略
- 赵维五分享:航空工业电子采购上云实战与运维策略
- 单片机控制的LED点阵显示屏设计及其实现
- 驻云科技李俊涛:AI驱动的云上服务新趋势与挑战
- 6LoWPAN物联网边界路由器:设计与实现
- 猩便利工程师仲小玉:Terraform云资源管理最佳实践与团队协作
- 类差分度改进的互信息特征选择提升文本分类性能
- VERITAS与阿里云合作的混合云转型与数据保护方案
- 云制造中的生产线仿真模型设计与虚拟化研究
- 汪洋在PostgresChina2018分享:高可用 PostgreSQL 工具与架构设计
- 2018 PostgresChina大会:阿里云时空引擎Ganos在PostgreSQL中的创新应用与多模型存储