->Features<-
|
You are here: ADL -> About ->Features
ADL Language Features
- Assertions are pre/post conditions on functions
- Designed specifically to document interfaces
- Easy to learn and use
- High level constructs for error specification
- Well suited for tool support
- Can be translated to natural language test
- Supports specification in the large (scaleable)
TDD Language Features
- Offers a formal, structured framework to describe test data
- Test data can be described symbolically
- Supports reuse of test description libraries through refinements
- Supports testing in the large (scaleable)
|
