Filters








33,860 Hits in 6.7 sec

Automated Software Test Data Generation: Direction of Research

Hitesh Tahbildar, Bichitra Kalita
2011 International Journal of Computer Science & Engineering Survey  
The different implementation techniques are described with their relative merits and demerits. The future challenges and problems of test data generation are explained.  ...  In this paper we are giving an overview of automatic test data generation. The basic objective of this paper is to acquire the basic concepts related to automated test data generation research.  ...  In 1976 Clarke [70] implemented path oriented testing using symbolic values on a given path and used linear programming technique to solve the linear path constraints.  ... 
doi:10.5121/ijcses.2011.2108 fatcat:q2yko5bryfh67nhwpnyilcov6a

Constraint Solving and Symbolic Execution [chapter]

Jian Zhang
2008 Lecture Notes in Computer Science  
It is based on the analysis of program paths. The analysis involves detailed semantic information, and uses symbolic execution and constraint solving techniques which are automatic and accurate.  ...  Symbolic Execution For a program path, the path condition can be obtained through symbolic execution [1, 8] , which is a well-known technique for testing and verification.  ... 
doi:10.1007/978-3-540-69149-5_59 fatcat:6zv2ioyhwngrtgorzqq6bw65ji

Constraint-Based Testing [chapter]

Arnaud Gotlieb
2015 Advances in Computers  
the path conditions Symbolic evaluation techniquesSolve the path conditions to generate test data that activate the selected paths Constraint solving Test objectives: generating a test suite  ...  • Introduction • Path-oriented exploration • Constraint-based exploration • Further work Path-oriented test data generation • Select one or several paths Path selection step • Generate  ... 
doi:10.1016/bs.adcom.2015.05.002 fatcat:4m233iabkzhflf2khlar64dq7m

Grey-Box Testing and Verification of Java/JML

Frédéric Dadeau, Fabien Peureux
2011 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops  
Symbolic code execution techniques can then be applied to produce test cases, using classical structural test selection criteria, or to detect possible runtime errors, and non-conformances between the  ...  We present in this paper the application of constraint solving techniques to the validation and automated test cases generation for Java programs, annotated with JML specifications.  ...  Our approach is inspired by the InKA approach [25] , a goal oriented structural test generator using constraint solving.  ... 
doi:10.1109/icstw.2011.30 dblp:conf/icst/DadeauP11 fatcat:iju4m2fyejaudbt6mqhn4imuly

Symbolic execution for software testing in practice

Cristian Cadar, Patrice Godefroid, Sarfraz Khurshid, Corina S. Păsăreanu, Koushik Sen, Nikolai Tillmann, Willem Visser
2011 Proceeding of the 33rd international conference on Software engineering - ICSE '11  
We review classical symbolic execution and some modern extensions such as generalized symbolic execution and dynamic test generation.  ...  and constraint solving technology.  ...  Acknowledgements Sen's work was supported in part by Microsoft (Award #024263) and Intel (Award #024894) funding and by matching funding by U.C.  ... 
doi:10.1145/1985793.1985995 dblp:conf/icse/CadarGKPSTV11 fatcat:mb643zlyczcizdxtzkbbtnr7ha

Research on Fuzz Testing Framework based on Concolic Execution

Xiong Xie, Yuhang Chen
2018 DEStech Transactions on Computer Science and Engineering  
The work of this paper is to design and realize a fuzz framework based on concolic execution using C++.  ...  This framework is composed of instrumentation module, path constraint generation module and solver module. To improve the efficiency, the traditional technology method was optimized.  ...  These constraints are solved using the Z3 solver to generate new input test data and then guide the program toward new path execution.  ... 
doi:10.12783/dtcse/csae2017/17478 fatcat:5jr6s535cjdehnlhx2a64f4l7e

Goal-oriented dynamic test generation

TheAnh Do, Siau-Cheng Khoo, Alvis Cheuk Ming Fong, Russel Pears, Tho Thanh Quan
2015 Information and Software Technology  
Dynamic symbolic execution has its inherent limitations due to the fact that symbolic execution, constraint generation, and constraint solving engines are necessarily imprecise.  ...  Based on the path condition, the test input generation procedure is invoked to select a symbolic predicate and form a constraint system to be solved by the underlying constraint solver for test inputs.  ... 
doi:10.1016/j.infsof.2015.05.007 fatcat:ebdngmeyijdmbdo4e6kzqh4xte

On the Automated Generation of Program Test Data

C.V. Ramamoorthy, S.-B.F. Ho, W.T. Chen
1976 IEEE Transactions on Software Engineering  
When a path or a program segment is specified, symbolic execution is used for generating input constraints which defme a set of inputs for executing this path or segment.  ...  Automation of testing tools can greatly enhance their power and reduce testing cost. In ,this paper, techniques for automated test data generation are discussed.  ...  Han for his help in designing and developing the path generator and part of the test data generator. In addition, P. Jahanian, H. H. So, and A. P.  ... 
doi:10.1109/tse.1976.233835 fatcat:f6jwb6n7m5btxoqnbwcv6uoadu

Automatic test data generation using constraint solving techniques

Arnaud Gotlieb, Bernard Botella, Michel Rueher
1998 Proceedings of ACM SIGSOFT international symposium on Software testing and analysis - ISSTA '98  
Automatic test data generation leads to identify input values on which a selected point in a procedure is executed.  ...  Global constraints are used in a prelil ninary step to detect some of the non feasible paths. Pz rtial consistency techniques are employed to reduce the domains of possible values of the test data.  ...  Acknowledgements Patrick Taillibert and Serge Varennes gave us invaluable help on preliminary ideas to design the global constraints introduced.  ... 
doi:10.1145/271771.271790 dblp:conf/issta/GotliebBR98 fatcat:rsowyb2jkracfnnz2i5bsmgb54

Whispec

Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry
2007 Proceedings of the 2007 Symposium on Library-Centric Software Design - LCSD '07  
To test a method, given its precondition constraint, we first solve that constraint using the Alloy Analyzer and translate a solution into a test input.  ...  Next, we execute the method on that input and build the path condition for the resulting execution path.  ...  To solve the constraints from path conditions and preconditions, they do symbolic execution on both code in the function under test and code for path conditions.  ... 
doi:10.1145/1512762.1512764 fatcat:7aozz5s4vjgghkpdqzrntfomgi

Hybrid test data generation

Zicong Liu, Zhenyu Chen, Chunrong Fang, Qingkai Shi
2014 Companion Proceedings of the 36th International Conference on Software Engineering - ICSE Companion 2014  
We present a preliminary approach on hybrid test data generation, by combining Random Strategy (RS), Dynamic Symbolic Execution (DSE), and Search-based Strategy (SBS).  ...  This limits the usefulness of test data generation in practice.  ...  The collected path constraints will be used to guide the generation of test data by altering the control information.  ... 
doi:10.1145/2591062.2591150 dblp:conf/icse/LiuCFS14 fatcat:wlhr6vulcjggjmc4h4qpbgguh4

Automatic test data generation using constraint solving techniques

Arnaud Gotlieb, Bernard Botella, Michel Rueher
1998 Software engineering notes  
Automatic test data generation leads to identify input values on which a selected point in a procedure is executed.  ...  Global constraints are used in a prelil ninary step to detect some of the non feasible paths. Pz rtial consistency techniques are employed to reduce the domains of possible values of the test data.  ...  Acknowledgements Patrick Taillibert and Serge Varennes gave us invaluable help on preliminary ideas to design the global constraints introduced.  ... 
doi:10.1145/271775.271790 fatcat:p4ksyualjzddricl6qx25jhtxi

Automatic Test Data Synthesis using UML Sequence Diagrams

Ashalatha Nayak, Debasis Samanta
2010 Journal of Object Technology  
The test specifications are then generated from SCG. For each test specification, we follow a constraint solving system to generate test data.  ...  Model based testing techniques are used to generate test scenarios from a behavioral description of system under tests.  ...  Path oriented test data generation The path oriented test data generation methods identify a set of paths and then generate input to execute the selected paths.  ... 
doi:10.5381/jot.2010.9.2.a2 fatcat:y72hj4boind6xhfezwtl2fla4e

Puzzle-based automatic testing: bringing humans into the loop by solving puzzles

Ning Chen, Sunghun Kim
2012 Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering - ASE 2012  
inputs to desired object states; and 2) the constraint solving problem, where test generators fail to solve path conditions to cover certain branches.  ...  Recently, many automatic test generation techniques have been proposed, such as Randoop, Pex and jCUTE.  ...  The second up-front testing technique we used was a symbolic execution based automatic test generation technique (Symbolic).  ... 
doi:10.1145/2351676.2351697 dblp:conf/kbse/ChenK12 fatcat:jekl6xzmxjd7jpmqkjth6f3zh4

Techniques for Automated Test Cases Generation: A Review

Pranali Mahadik, Debnath Bhattacharyya, Hye-jin Kim
2016 International Journal of Software Engineering and Its Applications  
The different techniques for automatic generation of test cases find small set of test cases reduce human efforts as well as cost of software testing and produce most efficient and effective testing of  ...  This survey gives overview of different techniques of automatic test cases generation.  ...  symbolic path constraint (pc) and symbolic expression.  ... 
doi:10.14257/ijseia.2016.10.12.02 fatcat:p3ov2z7vozbkthmfbp45py65uq
« Previous Showing results 1 — 15 out of 33,860 results