5、商用现货软件组件测试与项目类型解析

商用现货软件组件测试与项目类型解析

在软件开发领域，商用现货（COTS）产品对系统开发策略和战术有着显著影响。同时，将测试功能融入软件组件也是确保软件质量的重要环节。下面将详细介绍基于状态的合同测试、BIT/J库的使用示例，以及不同类型的COTS密集型项目。

基于状态的合同测试

状态基内置测试（BIT）可测试性合同是一种扩展接口，通过它可以将BIT组件进行关联。在Java中，类与接口之间的“实现”关系用带虚线的白色箭头表示。这种运行内置合同测试的方式更具强制性，因为被测试的COTS组件需要一个状态机。但并非所有情况都能有现成的状态机，有时需要从现有组件中提取行为规范，这可能涉及一些重新工程工作。

BIT/J库的使用示例

为了展示相关概念的适用性，以可编程恒温器组件为例，详细介绍BIT组件的构建过程。
- BIT/J库概述 ：BIT/J库的内置测试可通过三个主要元素实现，即BIT可测试性合同、BIT测试用例和BIT测试器。在简单情况下，BIT主要处理计算结果、执行环境和故障的评估；在复杂情况下，则需要基于状态的BIT可测试性合同、基于状态的BIT测试用例和基于状态的BIT测试器这三个面向状态的工具。这些工具使用了Harel的状态图形式主义，依赖于一个底层子库（“Statecharts”包）。
- 可编程恒温器组件 ：可编程恒温器组件提供的接口操作由客户端请求，这些操作隐藏了组件内部的细节。传统测试主要是激活操作，但要评估部署合规性，还需要了解中间隐藏结果、状态和可能的故障。
- 可编程恒温器组件的BIT实现 ：实现B