TY - JOUR A2 - 柳，保定AU - 埃尔 - Zawawy，穆罕默德·PY动态 - 2014 DA - 2014年12月29日TI - 面向环境的程序中使用分离逻辑SP的测试自动化 - 930186 VL消息 - 2014年AB - 一种新的方法用于编程使得能够在程序执行期间的命令的上下文之间的切换是面向环境的编程（COP）。这种技术是更结构化的和比面向对象和面向方面的编程模块，从而更加灵活。对于面向方面的编程，如COP语言如ContextJ实施^*和ContextL，本文介绍精确操作语义。本文的语言模型使用Java的概念，并配有层技术层境的激活/停用。本文还介绍了COP程序的逻辑体系。这种逻辑是必要的，用于测试，开发和局部正确性规格为COP方案的验证的自动化和是分离逻辑的延伸。针对所提出的操作语义的逻辑系统的数学稳健证明呈现在纸张上。SN - 1687-9724 UR - https://doi.org/10.1155/2014/930186 DO - 10.1155 /九十三万○一百八十六分之二千○一十四JF - 应用计算智能与软计算PB - Hindawi出版公司公司KW - ER -