Experimental specification mining for enterprise applications

ABSTRACT

Specification mining infers abstractions over a set of program execution traces. Whereas inductive approaches to specification mining rely on a given set of execution traces, experimental approaches systematically generate and execute test cases to infer rich models including uncommon and exceptional behavior. State-of-the-art experimental mining approaches infer low-level models representing the behavior of single classes. This paper proposes an approach for inferring models of built-in processes in enterprise systems based on systematic scenario test generation. The paper motivates the approach, sketches the relevant concepts and challenges, and discusses related work.

References

1. G. Ammons, R. Bodik, and J. R. Larus. Mining Specifications. ACM Sigplan Notices, 37(1):4--16, 2002.
2. A. W. Biermann and J. A. Feldman. On the Synthesis of Finite-State Machines from Samples of Their Behavior. IEEE Transactions on Computers, C-21(6):592--597, 1972.
3. J. E. Cook and A. L. Wolf. Discovering Models of Software Processes from Event-based Data. ACM Transactions on Software Engineering and Methodology, 7(3):215--249, July 1998.
4. V. Dallmeier, N. Knopp, C. Mallon, S. Hack, and A. Zeller. Generating Test Cases for Specification Mining. In Proc. of the 19th International Symposium on Software Testing and Analysis, ISSTA '10, pages 85--96, New York, NY, USA, 2010. ACM.
5. V. Dallmeier, C. Lindig, A. Wasylkowski, and A. Zeller. Mining Object Behavior with Adabu. In Proc. of the 2006 International Workshop on Dynamic Systems Analysis, WODA '06, pages 17--24, New York, NY, USA, 2006. ACM.
6. M. D. Ernst, J. Cockrell, W. G. Griswold, and D. Notkin. Dynamically Discovering Likely Program Invariants to Support Program Evolution. IEEE Trans. on Software Engineering, 27(2):99--123, 2001.
7. J.-C. Fernandez, L. Mounier, and C. Pachon. A Model-based Approach for Robustness Testing. In TestCom, pages 333--348, 2005.
8. C. W. Günther and W. M. P. van der Aalst. Fuzzy Mining - Adaptive Process Simplification Based on Multi-perspective Metrics. In Proc. of BPM, pages 328--343, 2007.
9. S. K\"atker and S. Patig. Model-driven Development of Serviceoriented Business Application Systems. In Wirtschaftsinformatik (1), pages 171--180, 2009.
10. D. Lorenzoli, L. Mariani, and M. Pezzè. Automatic Generation of Software Behavioral Models. In Proc. of the 30th International Conference on Software Engineering, ICSE'08, pages 501--510, Leipzig, Germany, 2008.
11. W. M. P. van der Aalst, T. Weijters, and L. Maruster. Workflow Mining: Discovering Process Models from Event Logs. IEEE Trans. Knowl. Data Eng., 16(9):1128--1142, 2004.
12. B. F. Van Dongen, A. K. A. De Medeiros, H. M. W. Verbeek, A. J. M. M. Weijters, and W. M. P. Van Der Aalst. The ProM Framework. Lecture Notes in Computer Science, 3536/2005:1105--1116, 2005.
13. A. J. M. M. Weijters and J. T. S. Ribeiro. Flexible Heuristics Miner. 2011. Accepted for the SSCI2011.
14. T. Xie and D. Notkin. Mutually Enhancing Test Generation and Specification Inference. In Proc. 3rd International Workshop on Formal Approaches to Testing of Software, FATES 03, volume 2931 of LNCS, pages 60--69, October 2003.
15. T. Xie and D. Notkin. Automatic Extraction of Object-oriented Observer Abstractions from Unit-Test Executions. In Proc. 6th International Conference on Formal Engineering Methods, ICFEM 2004, pages 290--305, November 2004.
16. A. Zeller. Program Analysis: A Hierarchy. In Proc. Workshop on Dynamic Analysis, May 2003.

Index Terms

• Software and its engineering

  • Software creation and management

    • Designing software

      • Requirements analysis