Automatic dynamic generation of likely invariants for WS-BPEL compositions

作者：

Highlights：

• Properties inferred from static analysis of the WS-BPEL composition could be limited.

• We propose extracting properties from actual executions of WS-BPEL compositions.

• We provide innovative solutions for WS-BPEL-specific features.

• We have implemented the only dynamic invariant generator available for WS-BPEL.

• Results show that the solutions are successful.

摘要

•Properties inferred from static analysis of the WS-BPEL composition could be limited.•We propose extracting properties from actual executions of WS-BPEL compositions.•We provide innovative solutions for WS-BPEL-specific features.•We have implemented the only dynamic invariant generator available for WS-BPEL.•Results show that the solutions are successful.

论文关键词：Web service composition,WS-BPEL,Dynamic invariant generation,White-box testing

论文评审过程：Available online 25 February 2014.

论文官网地址：https://doi.org/10.1016/j.eswa.2014.01.037