Abstract
The advent of component-based software engineering changes this situation by making available mechanisms that enable software elements, right down to the binary level, to be rapidly and efficiently assembled into new applications. Component-based testing is a system testing technique that derives a suite of test cases from a component representing the behavior of a software system. By executing a set of component-based test cases, the conformance of the target system to its specification can be validated. However, as there may be large, sometimes infinite, number of operational scenarios that could be generated from a given component, an important issue of component-based testing is to determine a minimal set of test cases which provides sufficient test coverage. With component formal concept analysis mechanism, we could analyze the coverage of the test cases and eliminate those redundant ones. This systematic approach can help reduce the test suite whilst still maintain the sufficiency of test coverage.
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
Bachmann, F., Bass, L., Chastek, G., Donohoe, P., Peruzzi, F.: The architecture Based Design Method. CMU/SEI-2000-TR-0001. Carnegie Mellon University, Software Engineering Institute (2000)
Bosch, J.: Design and use of software architectures. Adopting and evolving a product line approach. Addison-Wesley, Harlow (2000)
Cohen, L.: Quality Function Deployment: how to make QFD work for you. Addison Wesley, Reading (1995)
DeBaud, J.M., Schmid, K.: A Systematic Approach to Derive the Scope of Software Product Lines. In: Proceedings of Int. Conf. On Software Engineering, ICSE 1999, Los Angeles, CA, May 1999, pp. 34–43 (1999)
Arevalo, G., Ducasse, S., Nierstrasz, O.: Lessons Learned in Applying Formal Concept Analysis. In: Ganter, B., Godin, R. (eds.) ICFCA 2005. LNCS (LNAI), vol. 3403, pp. 95–112. Springer, Heidelberg (2005)
Bertolino, A., Inverardi, P., Muccini, H.: Formal Methods in Testing Software Architectures. In: Bernardo, M., Inverardi, P. (eds.) SFM 2003. LNCS, vol. 2804, pp. 122–147. Springer, Heidelberg (2003)
Binder, R.V.: Testing Object-Oriented Systems-Components, Patterns, and Tools, Object Technology. Addison-Wesley, Reading (1999)
Briand, L.C., Labiche, Y., Cui, J.: Automated support for deriving test requirements from UML statecharts. Software and Systems Componenting 4(4), 399–423 (2005)
Broekman, B., Notenboom, E.: Testing embedded software. Addison-Wesley, Reading (2003)
Chen, T.Y., Lau, M.F.: A New Heuristic for Test Suite Reduction. Information and Software Technology 40, 347–354 (1998)
Chevalley, P., Thevenod-Fosse, P.: Automated generation of statistical test cases from UML state diagrams. In: 25th Annual International Computer Software and Applications Conference, COMPSAC 2001, October 8-12, pp. 205–214 (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Kim, HK., Lee, R.Y. (2010). Components Based Testing Using Optimization AOP. In: Lee, R. (eds) Computer and Information Science 2010. Studies in Computational Intelligence, vol 317. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15405-8_17
Download citation
DOI: https://doi.org/10.1007/978-3-642-15405-8_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-15404-1
Online ISBN: 978-3-642-15405-8
eBook Packages: EngineeringEngineering (R0)