Abstract
Static testing leads to early detection of defects throughout a project software development. This results in reduced costs and risks in the development process. Various types of static tests can be performed. In this paper, we propose extensions to contemporary static testing techniques based on CRUD matrices. In particular, we consider cross-verification between various types of CRUD matrices made by different parties at different stages of the project. This leads into extended the verification consistency of a CRUD matrix. In our evaluation, proposed techniques lead to significantly more consistent test Data Cycle Test cases, when involving our static testing techniques. Moreover, our results indicate positive impact on lowering the number of defects that usually remain undetected under the system test.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Koomen, T., van der Aalst, B., Brokeman, M., Vroon, M.: TMap Next, for Result-Driven Testing, pp. 625–627. UTN Publishers, Den Bosch (2013)
Martin, J.: Information Engineering. Prentice Hall, Englewood Cliffs (1990)
De Grood, D.: TestGoal: Result-Driven Testing, pp. 208–210. Springer, Heidelberg (2008)
Van Veenendall, E.L.: The Testing Practitioner, pp. 241–243. UTN Publishers, Den Bosch (2002)
Trčka, N., Aalst, Wil, M.,P., Sidorova, N.: Data-flow anti-patterns: discovering data-flow errors in workflows. In: Eck, P., Gordijn, J., Wieringa, R. (eds.) CAiSE 2009. LNCS, vol. 5565, pp. 425–439. Springer, Heidelberg (2009). doi:10.1007/978-3-642-02144-2_34
Sundari, M.H., et al.: Detecting data flow errors in workflows: a systematic graph traversal approach. In: 17th Workshop on Information Technology and Systems (2007)
Ryndina, K., Küster, Jochen, M., Gall, H.: Consistency of business process models and object life cycles. In: Kühne, T. (ed.) MODELS 2006. LNCS, vol. 4364, pp. 80–90. Springer, Heidelberg (2007). doi:10.1007/978-3-540-69489-2_11
Awad, A., Decker, G., Lohmann, N.: Diagnosing and repairing data anomalies in process models. In: Rinderle-Ma, S., Sadiq, S., Leymann, F. (eds.) BPM 2009. LNBIP, vol. 43, pp. 5–16. Springer, Heidelberg (2010). doi:10.1007/978-3-642-12186-9_2
Moser, S., Martens, A., Gorlach, K., Amme, W., Godlinski, A.: Advanced verification of distributed WS-BPEL business processes incorporating CSSA-based data flow analysis. In: International Conference on Services Computing, pp. 98–105. IEEE (2007)
Poelmans, J., Dedene, G., Snoeck, M., Viaene, S.: Using formal concept analysis for the verification of process-data matrices in conceptual domain models. In: Proceedings of the IASTED International Conference on Software Engineering, pp. 79–86. Acta Press (2010)
Sun, S.X., et al.: Formulating the data flow perspective for business process management. Inf. Syst. Res. 17(4), 374–391 (2006)
Author information
Authors and Affiliations
Corresponding authors
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer Nature Singapore Pte Ltd.
About this paper
Cite this paper
Bures, M., Cerny, T. (2017). Static Testing Using Different Types of CRUD Matrices. In: Kim, K., Joukov, N. (eds) Information Science and Applications 2017. ICISA 2017. Lecture Notes in Electrical Engineering, vol 424. Springer, Singapore. https://doi.org/10.1007/978-981-10-4154-9_68
Download citation
DOI: https://doi.org/10.1007/978-981-10-4154-9_68
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-10-4153-2
Online ISBN: 978-981-10-4154-9
eBook Packages: EngineeringEngineering (R0)