Abstract
In this paper, a novel formal model called an OPFPI (operational profile with fault-proneness information) and a novel algorithm to generate optimized test cases from the OPFPI are proposed in order to effectively improve software reliability or gain a perspective of software reliability in a limited span of time for testing. The OPFPI includes the feasibility problem due to the use of guards (conditions to make specific state transitions feasible); therefore, ant colony optimization is employed in the algorithm to generate test cases that cover frequent and fault-prone state transitions as comprehensively as possible. A test tool that implements the OPFPI and executes the optimized test case generation has been developed, and it has been applied to a non-trivial system. The obtained results indicate that significant improvement of test cases can be achieved in a short time.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Beizer, B.: Software Testing Techniques, 2nd edn. Van Nostrand Reinhold, New York (1990)
Chruscielski, K., Tian, J.: An operational profile for the cartridge support software. In: Proceedings of 8th International Symposium on Software Reliability Engineering, pp. 203–212 (1997)
Cotroneo, D., Pietrantuono, R., Russo, S.: Combining operational and debug testing for improving reliability. IEEE Trans. Reliab. 62(2), 408–423 (2013)
Doungsa-ard, C., Dahal, K., Hossain, A., Suwannasart, T.: Test data generation from UML state machine diagrams using GAs. In: Proceedings of International Conference on Software Engineering Advances, p. 47 (2007)
Eski, S., Buzluca, F.: An empirical study on object-oriented metrics and software evolution in order to reduce testing costs by predicting change-prone classes. In: Proceedings of International Conference on Software Testing, Verification and Validation Workshops, pp. 566–571 (2011)
Frankel, D.S.: Model Driven Architecture: Applying MDA to Enterprise Computing. Wiley, New York (2003)
Hartmann, H., Bokkerink, J., Ronteltap, V.: How to reduce your test process with 30 %—the application of operational profiles at Philips medical systems. In: Supplementary Proceedings of 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: Proceedings of International Conference on Software Testing Verification and Validation, pp. 230–239 (2009)
Musa, J.D.: The operational profile. Reliab. Maintenance Complex Syst. NATO ASI Ser. F Comput. Syst. Sci. 154, 333–344 (1996)
Poore, J.H., Walton, G.H., Whittaker, J.A.: A constraint-based approach to the representation of software usage models. Inf. Softw. Technol. 42(12), 825–833 (2000)
Rook, P.: Software Reliability Handbook. Elsevier Science, New York (1990)
Srivastava, P.R., Baby, K.: Automated software testing using metahurestic technique based on an ant colony optimization. In: Proceedings of International Symposium on Electronic System Design, pp. 235–240 (2010)
Whittaker, J.A., Arbon, J., Carollo, J.: How Google Tests Software. Addison-Wesley Professional, Westford (2012)
Whittaker, J.A., Thomason, M.G.: A Markov chain model for statistical software testing. IEEE Trans. Softw. Eng. 20(10), 812–824 (1994)
Acknowledgments
This work was supported by JSPS KAKENHI Grant Number 23700038.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Takagi, T., Beyazıt, M. (2015). Optimized Test Case Generation Based on Operational Profiles with Fault-Proneness Information. In: Lee, R. (eds) Software Engineering Research, Management and Applications. Studies in Computational Intelligence, vol 578. Springer, Cham. https://doi.org/10.1007/978-3-319-11265-7_2
Download citation
DOI: https://doi.org/10.1007/978-3-319-11265-7_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-11264-0
Online ISBN: 978-3-319-11265-7
eBook Packages: EngineeringEngineering (R0)