A Testing Approach for Hidden Concurrencies Based on Process Execution Logs

详细信息    查看全文

• 关键词：Process testing ; Concurrency ; Test case prioritization
• 刊名：Lecture Notes in Computer Science
• 出版年：2016
• 出版时间：2016
• 年：2016
• 卷：9936
• 期：1
• 页码：577-585
• 全文大小：673 KB
• 参考文献：1.Allen, J.F.: Maintaining knowledge about temporal intervals. ACM 26, 832–843 (1983)CrossRef MATH
  2.Alrifai, M., Dolog, P., Nejdl, W.: Transactions concurrency control in web service environment. In: Web Services, pp. 109–118. IEEE (2006)
  3.Böhmer, K., Rinderle-Ma, S.: A genetic algorithm for automatic business process test case selection. In: Debruyne, C., Panetto, H., Meersman, R., Dillon, T., Weichhart, G., An, Y., Ardagna, C.A. (eds.) CoopIS, ODBASE, and C&TC 2015. LNCS, vol. 9415, pp. 166–184. Springer, Heidelberg (2015)CrossRef
  4.Böhmer, K., Rinderle-Ma, S.: A systematic literature review on process model testing: approaches, challenges, and research directions. arXiv (2015)
  5.De Angelis, F., Fanì, D., Polini, A.: Partes: a test generation strategy for choreography participants. In: Automation of Software Test, pp. 26–32. IEEE (2013)
  6.Dijkman, R.M., Rosa, M.L., Reijers, H.A.: Managing large collections of business process models - current techniques and challenges. Comput. Ind. 63(2), 91–97 (2012)CrossRef
  7.Fdhila, W., Rinderle-Ma, S., Indiono, C.: Change propagation analysis and prediction in process choreographies. Coop. Inf. Syst. 24, 47–62 (2015)
  8.Leymann, F., Roller, D.: Production Workflow Concepts and Techniques. Prentice Hall PTR, Upper Saddle River (2000)MATH
  9.Malishevsky, A.G., Ruthruff, J.R., Rothermel, G., Elbaum, S.: Cost-cognizant test case prioritization. Technical report, University of Nebraska-Lincoln (2006)
  10.Ruth, M.E.: Concurrency in a decentralized automatic regression test selection framework for web services. In: Mardi Gras Conference, pp. 7:1–7:8. ACM (2008)
  11.Sriganesh, S., Ramanathan, C.: Externalizing business rules from business processes for model based testing. In: Industrial Technology, pp. 312–318. IEEE (2012)
  12.Van Der Aalst, W.: Process Mining: Discovery, Conformance and Enhancement of Business Processes. Springer, Berlin (2011)CrossRef MATH
  13.van der Aalst, W.M.P., Ter Hofstede, A.H., Weske, M.: Business process management: a survey. In: van der Aalst, W.M.P., Weske, M. (eds.) BPM 2003. LNCS, vol. 2678, pp. 1–12. Springer, Heidelberg (2003)CrossRef
  14.Wang, C., Said, M., Gupta, A.: Coverage guided systematic concurrency testing. In: Conference on Software Engineering, pp. 221–230. ACM (2011)
  15.Yuan, Y., Li, Z.J., Sun, W.: A graph-search based approach to BPEL4WS test generation. In: Software Engineering Advances, p. 14. IEEE (2006)
  
• 作者单位：Kristof Böhmer (17)
  Stefanie Rinderle-Ma (17)
  
  17. Faculty of Computer Science, University of Vienna, Vienna, Austria
  
• 丛书名：Service-Oriented Computing
• ISBN：978-3-319-46295-0
• 刊物类别：Computer Science
• 刊物主题：Artificial Intelligence and Robotics
  Computer Communication Networks
  Software Engineering
  Data Encryption
  Database Management
  Computation by Abstract Devices
  Algorithm Analysis and Problem Complexity
  
• 出版者：Springer Berlin / Heidelberg
• ISSN：1611-3349
• 卷排序：9936

文摘

It is crucial to ensure correct process model executions. However, existing process testing approaches struggle with the verification of concurrent resource access patters that can lead to concurrency faults, such as, deadlocks or data corruption during runtime. Thus, we provide a concurrency verification approach that exploits recorded executions to verify the most frequently occurring concurrent resource access patterns with low test execution time. A prototypical implementation along with real life and artificial process execution logs is utilized for an evaluation.