A KNOWLEDGE MANAGEMENT APPROACH FOR INDUSTRIAL MODEL-BASED TESTING

Dmitrij Koznov, Vasily Malinov, Eugene Sokhransky, Marina Novikova

2009

Abstract

This paper offers a knowledge management method for industrial model-based testing, which based on partial specifications and “attached” to the software development process that uses it. Partial specification means formal description of considerable/potentially problematic properties of a system, and is used for further automated testing. That allows reducing expenses of testing compared to developing full formal specifications. The “attached” nature of the method means that the team of testers can work independently of the basic process, without imposing on it any specific limitations connected with model-based testing. The method intends for lightweight processes where a lack of documentation and formal described requirements are absent. The paper also presents approbation of the method while testing an industrial Web-application by means of model-based testing technology UniTesk.

References

  1. Hinchey, M., et. al., 2008. Software engineering and formal methods. Commun. ACM 51(9): 54-59.
  2. Knight, J., 1998. Challenges in the Utilization of Formal Methods. FTRTFT: 1-17.
  3. Easterbrook, S., Callahan J., 1997. Formal Methods for Verification and Validation of partial specifications: A Case Study. // Virginia University symposium, Vol. 1. P. 26-37.
  4. Johnsen, E., Owe, O., 2002. Composition and Refinement for Partial Object Specifications. // Parallel and Distributed Processing Symposium. P. 210-217.
  5. Hendrix, J., Clavel, M., Meseguer, J., 2005. A Sufficient Completeness Reasoning Tool for Partial Specifications. // Proceedings of the 16h International Conference on Rewriting. LNCS, Vol. 3467. Springer. P. 165-174.
  6. Bourdonov, I., et. al., 2002. UniTesK Test Suite Architecture. FME 2002: 77-88.
  7. Kuliamin, V., et. al., 2003. The UniTesK Approach to Designing Test Suites. Programming and Computer Software 29(6): 310-322.
  8. Nonaka, I., 1991. The knowledge creating company. Harvard Business Review 69 (6 Nov-Dec): 96-104.
  9. Spender, J.-C., Andreas G.S., 2007. The Philosophical Foundations of Knowledge Management: Editors' Introduction. Organization 14 (1): 5-28.
  10. Engelhart, P.M., 2001. Knowledge Management in Software Engineering: a State-of-the-Art-Report. Air Force Research Laboratory Information Directorate/ IFED. Rome, NY. 57 p.
  11. Utting, M., Legeard, B., 2007. Practical Model-Based Testing: A Tools Approach, Morgan-Kaufmann.
  12. Kuliamin,V., Pakulin, N., Petrenko, O., et. al., 2005. Requirement formalization in practice. Preprint of RAS (In Russian).
  13. Liu, K., 2005. Requirements Reengineering from Legacy Information Systems Using Semiotic Techniques, Systems, Signs and Actions - An International Journal on Communication, Information Technology and Work, 1(1): 36-61.
  14. El-Ramly, M., Stroulia, E., Sorenson, P., 2002. Recovering software requirements from system-user interaction traces. SEKE. P. 447-454.
  15. Mens, T., Demeyer, S., 2008. Software Evolution. Springer.
  16. Jansen, A., Bosch, J., Avgeriou, P., 2008. Documenting after the fact: Recovering architectural design decisions. Journal of Systems and Software archive, V. 81, Issue 4, P. 536-557.
  17. Koznov, D., Romanovsky, K., Nikitin, A., 2001. A Method for Recovery and Maintenance of Software Architecture. Ershov Memorial Conference: 324-327 Letichevsky, A.A., Kapitonova, J., 2004. Basic Protocols, Message Sequence Charts, and the Verification of Requirements Speci-fi-cations. // Proceedings of International Work-shop, WITUL. P. 30-38.
  18. Falcone, Y., Fernandez, J., Mounier, L., et. al., 2007. A Compositional Testing Framework Driven by Partial Specifications. // TestCom FATES. P. 107-122.
  19. Petrenko, A., Yevtushenko, N., 2005. Testing from Partial Deterministic FSM Specifications. // IEEE Trans. Computers, vol.54, No. 9. P. 1154-1165.
  20. Acharya, M., Xie, T., Pei, J., 2007. Mining API patterns as partial orders from source code: from usage scenarios to specifications. // Proceedings of SIGSOFT Seminar. P. 25-34.
  21. Tichomirov, V., Kotlyrov, V., 2008. An approach of integration testing. // Systemnoe programmirovanie. Saint-Petersburg State University. Vol. 3. P. 109-120. (In Russian).
Download


Paper Citation


in Harvard Style

Koznov D., Malinov V., Sokhransky E. and Novikova M. (2009). A KNOWLEDGE MANAGEMENT APPROACH FOR INDUSTRIAL MODEL-BASED TESTING . In Proceedings of the International Conference on Knowledge Management and Information Sharing - Volume 1: KMIS, (IC3K 2009) ISBN 978-989-674-013-9, pages 200-205. DOI: 10.5220/0002310402000205


in Bibtex Style

@conference{kmis09,
author={Dmitrij Koznov and Vasily Malinov and Eugene Sokhransky and Marina Novikova},
title={A KNOWLEDGE MANAGEMENT APPROACH FOR INDUSTRIAL MODEL-BASED TESTING},
booktitle={Proceedings of the International Conference on Knowledge Management and Information Sharing - Volume 1: KMIS, (IC3K 2009)},
year={2009},
pages={200-205},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002310402000205},
isbn={978-989-674-013-9},
}


in EndNote Style

TY - CONF
JO - Proceedings of the International Conference on Knowledge Management and Information Sharing - Volume 1: KMIS, (IC3K 2009)
TI - A KNOWLEDGE MANAGEMENT APPROACH FOR INDUSTRIAL MODEL-BASED TESTING
SN - 978-989-674-013-9
AU - Koznov D.
AU - Malinov V.
AU - Sokhransky E.
AU - Novikova M.
PY - 2009
SP - 200
EP - 205
DO - 10.5220/0002310402000205