分布式和置换规则基于策略与合同的验证、验证与完整性

规则基于的政策和合同系统在软件工程属性方面鲜有研究。这是一个严重的遗漏，因为在规则基于的政策或合同表示语言中，规则被用作声明式编程语言来形式化现实世界的决策逻辑并创建信息系统生产系统。本文采用极端编程中的一种软件工程方法论——测试驱动开发，并讨论了如何将其适用于政策和合同规范的验证、验证和完整性测试（V&V&I）。由于测试驱动方法关注行为方面和所得结论，而非规则库的结构以及故障原因，因此它独立于规则语言的复杂性以及正在测试的系统，从而对规则工程师和用户更容易使用和理解。