Model-checking plus testing: from software architecture analysis to code testing

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3236, Issue , 2004, Pages 351-365

  Bucchiarone, A ^a   Muccini, H ^a   Pelliccione, P ^b   Pierini, P ^b  

^a SIEMENS AG   (Germany)

^b UNIVERSITY OF L'AQUILA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; FORMAL METHODS; INTEGRATION TESTING; SOFTWARE ARCHITECTURE; SOFTWARE TESTING;

ANALYSIS TECHNIQUES; AUTOMATIC ANALYSIS; MODEL-CHECKING TECHNIQUES; SOFTWARE ARCHITECTURE ANALYSIS; SOFTWARE MODEL CHECKING; SOFTWARE SYSTEMS; TEST CASE; TESTING TECHNIQUE;

MODEL CHECKING;

EID: 35048866565     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30233-9_26     Document Type: Article

References (24)

1. Ammann, P., Black, P.: Abstracting formal specifications to generate software tests via model checking. Proceedings of the 18th Digital Avionics Systems Conference (DASC99), volume 2, page 10.A.6. IEEE, October 1999.
2. Bertolino, A., Inverardi, P.: Architecture-based software testing. Proc. ISAW96, October 1996.
3. Bertolino, A.: Software Testing, In SWEBOK: Guide to the Software Engineering Body of Knowledge.IEEE.
4. Buchi, R.: On a decision method in restricted second order arithmetic. Proc. of the International Congress of Logic, Methodology and Philosophy of Science, pages pp 1-11. Standford University Press, 1960.
5. Callahan, J., Schneider, F., Easterbrook, S.: Automated software testing using modelchecking. Proceedings 1996 SPIN Workshop, Aug. 1996.
6. Charmy Project. Charmy web site, http://www.di.univaq.it/charmy, March 2004.
7. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge, second edition, year 2000.
8. Compare, D., Inverardi, P., Pelliccione, P., Sebastiani, A.: Integrating modelchecking architectural analysis and validation in a real software life-cycle. the 12th International Formal Methods Europe Symposium (FME 2003), number 2805 in LNCS, pages 114-132, Pisa, 2003.
9. Corbett, J.C., Dwyer, M.B., Hatcliff, J., Laubach, S., Pǎ;sǎreanu, C.S., Robby, Zheng, H.: Bandera: extracting finite-state models from Java source code. International Conference on Software Engineering, pages 439-448, 2000.
10. DeMillo, R.A., Lipton, R. J., Sayward, F. G.: Hints on test data selection: Help for the practicing programmer. IEEE Comp, 11(4):34-41, 1978.
11. Formal Methods for Software Architectures. Tutorial book on Software Architectures and formal methods. In SFM-03:SA Lectures, Eds. M. Bernardo and P. Inverardi, LNCS 2804.,2003.
12. Gargantini, A., Heitmeyer, C. L.: Using model checking to generate tests from requirements specifications. ESEC / SIGSOFT FSE, pages 146-162, 1999.
13. Garlan, D.: Software Architecture. Encyclopedia of Software Engineering, John Wiley & Sons, Inc. 2001.
14. Heimdahl, M. P., Rayadurgam, S., Visser, W., Devaraj, G., Gao, J.: Autogenerating test sequences using model checkers: A case study. FATES 2003.
15. Holzmann, J. G.: The logic of bugs. Proc. Foundations of Software Engineering (SIGSOFT 2002/FSE-10), 2002.
16. Holzmann, G. J.: The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley, September 2003.
17. Inverardi, P., Muccini, H., Pelliccione, P.: Charmy: A framework for model based consistency checking. TR., Dept. of Comp. Science, Univ. of L'Aquila, May 2004.
18. Peterson, I.: Fatal Defect: Chasing Killer Computer Bugs. Random House Publisher, 1995.
19. Muccini, H.: Software Architecture for Testing, Coordination Models and Views Model Checking. PhD thesis, University of L'Aquila, year 2002. On-line at: .
20. Muccini, H., Bertolino, A., Inverardi, P.: Using Software Architecture for Code Testing. IEEE Transactions on Software Engineering. Vol. 30, Issue N. 3, March 2004, pp. 160-171.
21. Pnueli, A.: The temporal logic of programs. Proc. 18th IEEE Symposium on Foundation of Computer Science, pages pp. 46-57, 1977.
22. Rayadurgam, S., Heimdahl, M.P.E.: Coverage based test-case generation using model checkers. In 8th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS), Apr. 2001.
23. Richardson, D. J., Wolf, A. L.: Software testing at the architectural level. ISAW-2 in Joint Proc. of the ACM SIGSOFT '96 Workshops, pp. 68-71, 1996.
24. Shaw, M., Garlan, D.: Software Architecture: Perspectives on an Emerging Discipline. Prentice-Hall, 1996.