TY -的A2 -刘,保定AU - El-Zawawy,默罕默德·A . PY - 2014 DA - 2014/12/29 TI -测试面向环境的自动化程序使用分离逻辑SP - 930186六世- 2014 AB -一种新的编程方法,使上下文之间的切换在程序执行的命令是面向环境编程(COP)。这种技术比面向对象和面向方面的编程更结构化和模块化，因此更灵活。对于面向上下文的编程，如在COP语言中实现的ContextJ^＊和ContextL，本文介绍了精确的操作语义。本文的语言模型使用Java概念，并配备了激活/去激活层上下文的层技术。本文还介绍了COP程序的逻辑系统。这个逻辑对于自动化测试、开发和验证COP程序的部分正确性规范是必要的，也是分离逻辑的扩展。针对所提出的操作语义，给出了逻辑系统的数学可靠性证明。SN - 1687-9724 UR - https://doi.org/10.1155/2014/930186 DO - 10.1155/2014/930186 JF -应用计算智能和软计算PB - Hindawi Publishing Corporation KW - ER -