Unit Testing for CASL Architectural Specifications

Unit Testing for CASL Architectural Specifications
复制标题

CASL 架构规范的单元测试

DOI：
--
复制
发表时间：
2002
期刊：
International Symposium on Mathematical Foundations of Computer Science
影响因子：
--
通讯作者：
D. Sannella
D. Sannella
中科院分区：
--
文献类型：
--
作者：
Patricia D. L. Machado;D. Sannella

文献摘要

被引文献

相似文献

讨论了模块化系统的代数规范测试问题。我们专注于系统的分解成部分是由一个Casl风格的架构规范和部分（单元）是分开开发的，也许是由一个独立的供应商。我们考虑如何测试这些单位，而不参考他们的使用环境。这个问题对于不能预测特定实例化的通用单元来说是最严重的。
The problem of testing modular systems against algebraic specifications is discussed. We focus on systems where the decomposition into parts is specified by a Casl-style architectural specification and the parts (units) are developed separately, perhaps by an independent supplier. We consider how to test such units without reference to their context of use. This problem is most acute for generic units where the particular instantiation cannot be predicted.