Generating test data from SOFL specifications

Journal of Systems and Software

Volumn 49, Issue 1, 1999, Pages 49-62

  Jefferson Offutt, A ^a   Liu, Shaoying ^b  

^a GEORGE MASON UNIVERSITY   (United States)

^b HIROSHIMA CITY UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); SOFTWARE ENGINEERING;

SOFTWARE TESTING; SPECIFICATION-BASED TESTING;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 0033324481     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0164-1212(99)00066-7     Document Type: Article

References (47)

1. Amla, N., Ammann, P., 1992. Using Z specifications in category partition testing. In: Proceedings of the Seventh Annual Conference on Computer Assurance (COMPASS 92), Gaithersburg MD, IEEE Computer Society Press, Silver Spring, MD.
2. Acree, AT., Budd, T.A., DeMillo, R.A., Lipton, R.J., Sayward, F.G., 1979. Mutation analysis. Technical report GIT-ICS-79/08, School of Information and Computer Science, Georgia Institute of Technology, Atlanta GA.
3. Allee, J.M., Cannon, J., 1993. State-based model checking of event-driven system requirements. IEEE Trans. Software Engrg. 19 (1), 24-40.
4. Ammann, P., Offutt, A.J., 1994. Using formal methods to derive test frames in category-partition testing. In: Proceedings of the Ninth Annual Conference on Computer Assurance (COMPASS 94), Gaithersburg MD, IEEE Computer Society Press, Silver Spring, MD, pp. 69-80.
5. Blackburn, M., Busser, R., 1996. T-VEC: A tool for developing critical systems. In: Proceedings of the 1996 Annual Conference on Computer Assurance (COMPASS 96), Gaithersburg MD, IEEE Computer Society Press, Silver Spring, MD, pp. 237-249.
6. Bouge, L., Choquet, N., Fribourg, L., Gaudel, M.-C, 1986. Test sets generation from algebraic specifications using logic programming. The J. Systems Software 6 (4), 343-360.
7. Bernot, G., 1991. Testing against formal specifications: A theoretical view. Technical report LIENS-91-1, LIENS, Department de Mathematiques et d'Informatique.
8. Bernot, G., Gaudel, M.C., Marre, B., 1991. Software testing based on formal specifications: A theory and a tool. Software Engrg. J. 6 (6), 387-405.
9. Balcer, M., Hasling, W., Ostrand, T., 1989. Automatic generation of test scripts from formal test specifications. In: Proceedings of the Third Symposium on Software Testing, Analysis, and Verification, Key West Florida, ACM SIGSOFT 89, pp. 210-218.
10. Brooks, F.B., 1987. No silver bullet: Essence and accidents of software engineering. IEEE Computer 20 (4), 10-19.
11. Choquet, N., 1986. Test data generation using a prolog with constraints. In: Proceedings of the Workshop on Software Testing, Banff Alberta, IEEE Computer Society Press, pp. 51-60.
12. Clarke, L.A., Richardson, D.J., 1983. The application of error-sensitive testing strategies to debugging. In Symposium on High-Level Debugging, ACM SIGSOFT/SIGPLAN, pp. 45-52.
13. DeMarco, T., 1978. Structured Analysis and System Specification, Yourdon Inc., New York.
14. Doong, R.K., Frankl, P.G., 1991. Case studies on testing object-oriented programs. In: Proceedings of the Fourth Symposium on Software Testing, Analysis, and Verification, Victoria, British Columbia, Canada, IEEE Computer Society Press, Silver Spring, MD, pp. 165-177.
15. Dick, J., Faivre, A., 1993. Automating the generation and sequencing of test cases from model-based specifications. In: Proceedings of FME '93: Industrial-Strength Formal Methods, Odense, Denmark, Springer-Verlag Lecture Notes in Computer Science, Vol. 670, pp. 268-284.
16. DeMillo, R.A., Guindi, D.S., King, K.N., McCracken, W.M., Offutt, A.J., 1988. An extended overview of the Mothra software testing environment. In: Proceedings of the Second Workshop on Software Testing, Verification, and Analysis, Banff Alberta, IEEE Computer Society Press, Silver Spring, MD, pp. 142-151.
17. DeMillo, R.A., Lipton, R.J., Sayward, F.G., 1978. Hints on test data selection: Help for the practicing programmer. IEEE Computer 11 (4), 34-41.
18. DeMillo, R.A., Offutt, A.J., 1991. Constraint-based automatic test data generation. IEEE Trans. Software Engrg. 17 (9), 900-910.
19. Cannon, J., McMullin, P., Hamlet, R., 1981. Data-abstraction implementation, specification, and testing. ACM Trans. Prog. Lang. Systems 3 (3), 211-223.
20. Hayes, I.J., 1986. Specification directed module testing. IEEE Trans. Software Engrg. SE-12 (1), 124-133.
21. Henninger, K., 1980. Specifiying software requirements for complex systems: New techniques and their applications. IEEE Trans. Software Engrg. 6 (1), 2-12.
22. Hierons, R.M., 1997. Testing from a Z specification. The J. Software Test. Verification, and Reliability 7, 19-33.
23. Hlady, M., Kovacevic, R., Li, J.J., Pekilis, B.R., Prairie, D., Savor, T., Seviora, R.E., Simser, D., Vorobiev, A., 1995. An approach to automatic detection of software failures. In: Proceedings of the IEEE 6th International Symposium on Software Reliability Engineering (ISSRE), Toulouse, France, pp. 314-323.
24. Jalote, P., 1992. Specification and testing of abstract data types. Computer Language 17 (1), 75-82.
25. Jones, C.B., 1986. Systematic Software Development Using VDM. Prentice-Hall, Englewood Cliffs, NJ. Kemmerer, R.A., 1985. Testing formal specifications to detect design errors. IEEE Trans. Software Engrg. SE-11 (1), 32-43.
26. Laycock, G., 1992. Formal specification and testing: A case study. The J. Software Test. Verification, and Reliability 2, 7-23.
27. Liu, S., Sun, Y., 1995. Structured methodology + object-oriented methodology + formal methods: Methodology of SOFL. In: Proceedings of First IEEE International Conference on Engineering of Complex Computer Systems, Ft. Landerdale, Florida, USA, IEEE Computer Society, Silver Spring, MD, pp. 137-144.
28. Li, J.J., Seviora, R.E., 1996. Automatic failure detection with conditional-belief supervisors. In: Proceedings of the IEEE 7th International Symposium on Software Reliability Engineering (ISSRE 96), White Plains, NY, pp.4-13.
29. Liu, S., Sun, Y., Offutt. A.J, 1998. Chris Ho-Stuart. SOFL: A formal engineering methodology for industrial applications. IEEE Transactions on Software Engineering, 24(1), Special Issue on Formal Methods.
30. Yang, LH., Zhang, X., 1994. Constructing an automated testing oracle: An effort to produce reliable software. In: Proceedings of IEEE Conference on Computer Software and Applications (COMPSAC).
31. Ntafos, S.C., 1984. An evaluation of required element testing strategies. In: Proceedings of the Seventh International Conference on Software Engineering, Orlando FL, IEEE Computer Society, pp. 250-256.
32. Ostrand, T.J., Balcer, M.J., 1988. The category-partition method for specifying and generating functional tests. Commun. ACM 31 (6), 676-686.
33. Offutt, A.J., Irvine, A., 1995. Testing object-oriented software using the category-partition method. In: Proceedings of the Seventeenth International Conference on Technology of Object-Oriented Languages and Systems (TOOLS USA '95), Santa Barbara, CA, pp. 293-303.
34. Offutt, A.J., Pan, J., 1997. Detecting equivalent mutants and the feasible path problem. The J. Software Test. Verification, and Reliability 7 (3), 165-192.
35. Ostrand, T.J., Sigal, R., Weyuker, E.J., 1986. Design for a tool to manage specification-based testing. In: Proceedings of the Workshop on Software Testing, Banff Alberta, IEEE Computer Society Press, Silver Spring, MD, pp. 41-50.
36. Ramamoorthy, C.V., Ho, S.F., Chen, W.T., 1976. On the automated generation of program test data. IEEE Trans. Software Engrg. 2 (4), 293-300.
37. Rowland, J., Zuyuan, Y., 1989. Experimental comparison of three system test strategies preliminary report. In: Proceedings of the Third Symposium on Software Testing, Analysis, and Verification, Key West Florida, ACM SIGSOFT 89, pp. 141-149.
38. Stocks, P., Carrington, D., 1993a. The ISDM case study: A dependency management system (specification-based testing). Technical report, The University of Queensland, Department of Computer Science.
39. Stocks, P., Carrington, D., 1993b. Test template framework: A specification-based testing case study. In: Proceedings of the 1993 International Symposium on Software Testing, and Analysis, Cambridge MA, pp. 11-18.
40. Stocks, P., Carrington, D., 1993c. Test Templates: A Specification-Based Testing Framework. In: Proceedings of the 15th International Conference on Software Engineering, Baltimore, MD, pp. 405-414.
41. Stocks, P., Carrington, D., 1996. A framework for specification-based testing. IEEE Trans. Software Engrg. 22 (11), 777-793.
42. Singh, H., Conrad, M., Sadeghipour, S., 1997. Test case design based on Z and the classification-tree method. In: Proceedings of the First International Conference on Formal Engineering Methods, Hiroshima, Japan, IEEE Computer Society, pp. 81-90.
43. Spivey, J.M., 1989. The Z Notation: A Reference Manual. Prentice Hall, Englewood Cliffs, NJ.
44. Thevenod-Fosse, P., Waeselynck, H., Crouzet, Y., 1991. An experimental study on software structural testing: Deterministic versus random input generation. In Fault-Tolerant Computing: The Twenty-First International Symposium, Montreal, Canada, IEEE Computer Society, pp. 410-417.
45. Tsai, W.T., Volovik, D., Keefe, T.F., 1990. Automated test case generation for programs specified by relational algebra queries. IEEE Trans. Software Engrg., 16 (3).
46. White, L.J., Cohen, E.I., 1980. A domain strategy for computer program testing. IEEE Trans. Software Engrg. 6 (3), 247-257.
47. Weyuker, E., Goradia, T., Singh, A., 1994. Automatically generating test data from a Boolean specification. IEEE Trans. Software Engrg. 20 (5), 353-363.