Generating functional test cases in-the-large for time-critical systems from logic-based specifications

Proceedings of the 1996 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 1996

Volumn , Issue , 1996, Pages 39-52

  Morasca, Sandro ^a   Morzenti, Angelo ^a   Sanpietro, Pieluigi ^b  

^a POLITECNICO DI MILANO   (Italy)

^b JAPAN ADVANCED INSTITUTE OF SCIENCE AND TECHNOLOGY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; OBJECT ORIENTED PROGRAMMING; SPECIFICATIONS; TESTING;

FUNCTIONAL TEST; INTERACTIVE TOOL; LOGIC BASED SPECIFICATION; MODULARIZED; OBJECT ORIENTED; TEST CASE; TEST CASE DERIVATIONS; TIME-CRITICAL SYSTEMS;

SOFTWARE TESTING;

EID: 27644576413     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/229000.226300     Document Type: Conference Paper

References (19)

1. Butler, R.W., and Finelli, G.B., The infeasibility of quantifying the reliability of life-critical real-time software, IEEE Transactions on Software Engineering, vol. 19, n. 1 (January 1993), pp. 3-12.
2. M.Basso, E.Ciapessoni, E. Crivelli, D. Mandrioli, A. Morzenti, E. Ratto, P. San Pietro, Experimenting a Logicbased Approach to the Specification and Design of the Control System of a Pondage Power Plant, in M. Wirsing (ed.), ICSE-17 Workshop on Formal Methods Application in Software Engineering Practice, Seattle, April 1995.
3. J, Burch, E. Clarke, K.L. McMillan, D. Dill and H. Hwang, Symbolic model checking: 1020 states and beyond. In Proceedings of 5th Symposium on Logics in Computer Science, Philadelphia, June 1990, IEEE, pp. 428-439.
4. Cheng, K.T. and Jou, J.Y., Functional Test Case Generation for Finite State Machines. In Proceedings of IEEE Int. Testing Conference , 1990, pp. 162-168.
5. Specification environments for real time systems based on a logic language, Technical annex to research contract 27/90, December 1990. Case studies (in Italian) on a regulator in a pondage power plant and on high-voltage substations.
6. Specification environments for real time systems based on a logic language, Technical annex to research contract 49/92, December 1992, Case studies (in Italian) on a programmable digital energy and power meters and on data collection and elaboration for dam security.
7. L.K.Dillon and Qing Yu, "Oracles for Checking Temporal Properties of Concurrent Systems". Proc. of the Second ACM SIGSOFT Symp. on Foundations of Software Engineering, in ACM Software Engineering Notes, Vol.19, N.5, 140-153, December 1994.
8. Dasarathy, B., Timing Constraints of Real-Time Systems: Constructs for Expressing Them, Methods of Validating Them. IEEE Transaction on Software Engineering SE-I1, 1 (January 1985), 80-86.
9. O.J. Dahl, E.W. Dijkstra and C.A.R. Hoare, Structured Programming, Academic Press, New York, 1972.
10. DeMillo, R.A., McCracken, M.W., Martin, R.J., and Passafiume, J.F., Software Testing and Evaluation, Benjamin/Cummings, Menlo Park, CA (1987).
11. Fujiware, S., Bochman, G.V., Khendek, F., Amalou, M., and Ghedamsi, A., Test Selection Based on Finite Automata. IEEE Transaction on Software Engineering 17, 6 (June 1991), 591-603.
12. Howden, W.E., Functional Program Testing & Analysis, Mc Graw Hill (1987).
13. A. Morzenti, and P.San Pietro, Object oriented logic specification of time-critical systems, ACM TOSEM, Vol. 3, n. 1, January 1994, pp. 56-98.
14. Ma, H.K.T., Devadas, R., Newton, A., and Sangiovanni-Vincentelli, A., Test Generation for Sequential Circuits. IEEE Transactions on Computer-Aided Design 7(October 1988), 1081-1093.
15. Morzenti, A., Mandrioli, D., and Ghezzi, C., A Model Parametric Real-Time Logic, ACM Transactions on Programming Languages and Systems 14, 4 (October 1992), 521-573.
16. Mandrioli, D., Morasca, S., and Morzenti, A. Functional test case generation for real-time systems. In Proceedings of DCCA3: 3rd International Working Conference on Dependable Computing for Critical Applications, IFIP, September 1992. Springer Verlag, New York, pp. 13-26.
17. Mandrioli, D., Morasca, S., and Morzenti, A. "Generating Test Cases for Real-Time Systems from Logic Specifications". ACM Transactions On Computer Systems, to appear.
18. D.J.Richardson, "TAOS: Testing with analysis and oracle support", In Proc. Inter. Symp. Software Testing and Analysis, Seattle, August 1994.
19. Richardson, D.J., Leif Aha, S., and O'Malley, T.O., Specification-Based Test Oracles for Reactive Systems. In Proc. 14th ICSE-International Conference on Software Engineering, IEEE-ACM, 1992, pp. 105-118.