所有属性值都将在属性被获取之前使用user集的当前状态来生成。
All of the property values will be generated using the current state of user set just before the properties are obtained.
基于状态集的指示器：这些指示器是DB 2“Stinger”中新增的特性，可生成注意警报，实际上就是指示非正常状态的信息条件。
Collection state-based indicators: These indicators are new to DB2 V8.2 and generate attention alerts which are really information conditions indicating a non-normal state.
介绍了形式化描述技术在测试集生成过程中的应用，针对PPP协议介绍其协议实现时的状态迁移。
This paper introduces the application of formal description technology in the progress of generate testing suite, and the PPP protocol's state transference of the implement module.
应用推荐