1) constraint checking
约束检查
2) identity constraints checking
ID约束检查
1.
Using Xerces-J2 the XML partial validating interfaces based on XML Schema are designed and implemented, including type checking, identity constraints checking and so on.
利用Xerces-J2,设计实现了基于XMLSchema的XML局部验证接口,包括类型检查和ID约束检查等。
3) check constraint
检查条件约束
4) reliability check
约束检测
5) harness check
线束检查
6) contract-checking
合约检查
1.
Contract-checking Test Framework for Component-based Software;
面向构件化软件的合约检查测试框架
2.
To solve difficulty in integration testing,an Integration Testing Architecture for Component-Based Software(ITACBS),and a contract-checking method as well as its verification formula were presented,which were applicable to the test of component-based flexible Manufacturing Executive System(MES) software.
针对集成测试困难问题,提出了适用于组件化软件集成测试的体系架构和合约检查方法及验证公式。
补充资料：监事会检查后及时作出检查报告的职权
监事会检查后及时作出检查报告的职权：监事会每次对企业进行检查结束后，应当及时作出检查报告。 检查报告的内容包括：企业财务以及经营管理情况评价；企业负责人的经营管理业绩评价以及奖惩、任免建议；企业存在问题的处理建议；国务院要求报告或者监事会认为需要报告的其他事项。 监事会不得向企业透露前款所列检查报告内容。――――――《国有企业监事会暂行条例》第9条
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条