Abstract
This paper shows a novel construction technique of large operational profiles in order to effectively apply statistical software testing to recent projects in which large software is developed in a short timeframe. In this technique, test engineers construct small operational profiles that represent usage characteristics of components of SUT (software under test), and a large operational profile that represents usage characteristics of the whole of SUT is automatically generated from the small operational profiles so as to satisfy behavioral constraints among the components of the SUT. The large operational profile generated by this technique is called a product operational profile, and is used to generate test cases in statistical testing. The key idea of this technique is that an operational profile of the whole of SUT is too large to be constructed manually, but operational profiles of the components of SUT are small and therefore are easy to be constructed. We propose the basic notions of the product operational profile, the behavioral constraints and a generation algorithm, and then evaluate their effectiveness by using an example of software.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Beizer, B.: Software Testing Techniques, 2nd edn. Van Nostrand Reinhold (1990)
Chow, T.S.: Testing software design modeled by finite-state machines. IEEE Transactions on Software Engineering SE-4(3), 178–187 (1978)
Doungsa-ard, C., Dahal, K., Hossain, A., Suwannasart, T.: Test data generation from uml state machine diagrams using gas. In: Proc. International Conference on Software Engineering Advances, p. 47 (2007)
Hartmann, H., Bokkerink, J., Ronteltap, V.: How to reduce your test process with 30% – the application of operational profiles at philips medical systems. In: Proc. 17th International Symposium on Software Reliability Engineering. CD-ROM (2006)
Kalaji, A., Hierons, R.M., Swift, S.: Generating feasible transition paths for testing from an extended finite state machine (efsm). In: Proc. International Conference on Software Testing Verification and Validation, pp. 230–239 (2009)
Musa, J.D.: The operational profile. In: Reliability and Maintenance of Complex Systems. NATO ASI Series F: Computer and Systems Sciences, vol. 154, pp. 333–344 (1996)
Myers, G.J.: The Art of Software Testing. John Wiley & Sons (1979)
Neto, A.C.D., Subramanyan, R., Vieira, M., Travassos, G.H.: A survey on model-based testing approaches: A systematic review. In: Proc. 1st ACM International Workshop on Empirical Assessment of Software Engineering Languages and Technologies, pp. 31–36 (2007)
Popovic, M., Basicevic, I., Velikic, I., Tatic, J.: A model-based statistical usage testing of communication protocols. In: Proc. 13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems, pp. 377–386 (2006)
Rook, P.: Software Reliability Handbook. Elsevier Science (1990)
Sayre, K., Poore, J.H.: Stopping criteria for statistical testing. Information and Software Technology 42(12), 851–857 (2000)
Takagi, T., Furukawa, Z.: Construction method of a high-order markov chain usage model. In: Proc. 14th Asia-Pacific Software Engineering Conference, pp. 120–126 (2007)
Walton, G.H., Poore, J.H., Trammell, C.J.: Statistical testing of software based on a usage model. Software Practice and Experience 25(1), 97–108 (1995)
Whittaker, J.A., Thomason, M.G.: A markov chain model for statistical software testing. IEEE Transactions on Software Engineering 20(10), 812–824 (1994)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer International Publishing Switzerland
About this paper
Cite this paper
Takagi, T., Furukawa, Z. (2013). Construction Technique of Large Operational Profiles for Statistical Software Testing. In: Lee, R. (eds) Computer and Information Science. Studies in Computational Intelligence, vol 493. Springer, Heidelberg. https://doi.org/10.1007/978-3-319-00804-2_14
Download citation
DOI: https://doi.org/10.1007/978-3-319-00804-2_14
Publisher Name: Springer, Heidelberg
Print ISBN: 978-3-319-00803-5
Online ISBN: 978-3-319-00804-2
eBook Packages: EngineeringEngineering (R0)