Specification analysis and test data generation by solving Boolean combinations of numeric constraints

Proceedings - 1st Asia-Pacific Conference on Quality Software, APAQS 2000

Volumn , Issue , 2000, Pages 267-274

  Zhang, Jian ^a  

^a INSTITUTE OF SOFTWARE   (China)

Author keywords

[No Author keywords available]

Indexed keywords

DATA COMMUNICATION SYSTEMS; LINEAR PROGRAMMING; SPECIFICATIONS;

BOOLEAN COMBINATIONS; BOOLEAN CONSTRAINT; NON-LINEAR CONSTRAINTS; PROBLEM INSTANCES; REQUIREMENT SPECIFICATION; SATISFIABILITY OF BOOLEAN COMBINATIONS; SOFTWARE TEST DATA GENERATIONS; TEST DATA GENERATION;

SOFTWARE TESTING;

EID: 0000129940     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/APAQ.2000.883800     Document Type: Conference Paper

References (22)

1. M. Berkelaar, lp-solve, a public domain Mixed Integer Linear Program solver, available from ftp://ftp.ics.ele.tue.nl/pub/lp-solve/
2. W. Chan, R. Anderson, P. Beame, and D. Notkin, "Combining constraint solving and symbolic model checking for a class of systems with non-linear constraints," Proc. Int'l Conf. on Computer Aided Verification, pp. 316-327, 1997.
3. A. Colmerauer, "An introduction to Prolog III," Comm. of ACM vol. 33, no. 7, pp. 69-90, 1990.
4. M. Dincbas et al. "The constraint logic programming language CHIP," Proc. Int'l Conf. on Fifth Generation Computer Systems (FGCS'88), 1988.
5. A. Goldberg, T.C. Wang, and D. Zimmerman, "Applications of feasible path analysis to program testing," Proc. Int'l Symp. on Software Testing and Analysis, special issue of ACM SIGSOFT Software Engineering Notes, pp. 80-94, 1994.
6. A. Gotlieb, B. Botella, and M. Rueher, "Automatic test data generation using constraint solving techniques," Proc. Int'l Symp. on Software Testing and Analysis, ACM SIGSOFT Software Engineering Notes, vol. 23, no. 2, pp. 53-62, 1998.
7. M.P.E. Heimdahl and B.J. Czerny, "Using PVS to analyze hierarchical state-based requirements for completeness and consistency," Proc. IEEE High Assurance Systems Engineering Workshop (HASE'96), Oct. 1996.
8. M.P.E. Heimdahl and N.G. Leveson, "Completeness and consistency analysis of state-based requirements," Proc. 17th Int'l Conf. Software Eng., pp. 3-14, 1995.
9. M.P.E. Heimdahl and N.G. Leveson, "Completeness and consistency in hierarchical state-based requirements," IEEE Trans. Software Eng., vol. 22, no. 6, pp. 363-377, 1996.
10. N.C. Heintze, J. Jaffar, S. Michaylov, P.J. Stuckey, and R.H.C. Yap, "The CLP(R) programmer's manual," Version 1.2, 1992.
11. C.L. Heitmeyer, R.D. Jeffords, and B.G. Labaw, "Automated consistency checking of requirements specification," ACM Trans. on Software Eng. and Methodology, vol. 5, no. 3, pp. 231-261, July 1996.
12. J. Jaffar and M.J. Maher, "Constraint logic programming: A survey," J. of Logic Programming vol. 19/20, pp. 503-581, 1994.
13. K. McAloon and C. Tretkoff, "2LP: Linear programming and logic programming," Proc. Int'l Workshop on Principles and Practice of Constraint Programming (PPCP'93), pp. 178-189, 1993.
14. A.J. Offutt and J, Pan, "Automatically detecting equivalent mutants and infeasible paths," Software Testing, Verification and Reliability, vol. 7, no. 3, pp. 165-192, 1997.
15. A.J. Offutt and S. Liu, "Generating test data from SOFL specifications," J. of Systems and Software, vol. 49, no. 1, pp. 49-62, 1999.
16. S. Owre, N. Shankar, and J. Rushby, "PVS; A Prototype Verification System," Proc. 11th Int'l Conf. on Automated Deduction, (ed.) D. Kapur, Lecture Notes in Artif. Intel., vol. 607, Springer, pp. 748-752, 1992.
17. G. Pesant and M. Boyer, "QUAD-CLP(R): Adding the power of quadratic constraints," in: Proc. 2nd Int'l Workshop on Principles and Practice of Constraint Programming, (ed.) A. Borning, Springer, pp. 95-108, 1994.
18. N. Tracey, J. Clark, and K. Mander, "Automated program flaw finding using simulated annealing," Proc. Int'l Symp. on Software Testing and Analysis, ACM SIGSOFT Software Engineering Notes, vol. 23, no. 2, pp. 73-81, 1998.
19. P. Van Hentenryck, "Constraint solving for combinatorial search problems: A tutorial," in: Proc. 1st Int'l Conf. on Principles and Practice of Constraint Programming (CP'95), Lecture Notes in Comput. Sci., vol. 976, Springer, pp. 564-587, 1995.
20. E. Weyuker, T. Goradia, and A. Singh, "Automatically generating test data from a Boolean specification," IEEE Trans. Software Eng., vol, 20, no, 5, pp. 353-363, 1994.
21. J. Zhang, "A constraint satisfaction tool for hardware design," Proc. 5th Int'l Conf. on CAD and Computer Graphics, Shenzhen, China, pp. 517-520, Dec. 1997.
22. J. Zhang, "Using search techniques in the formal analysis of programs," Chinese. J. of Advanced Software Research, vol. 6, no. 2, pp. 169-177, May 1999.