Software Testing

Jorgensen, Paul C.

doi:10.1201/b16592

Cited by 104 publications

(23 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…A real craftsman in testing should have a solid background in areas like software engineering (including requirements engineering), discrete mathematics, theoretical computer science and so on. Some good references to start may be [10], [11] and [12].…”

Section: What Is This Book About?mentioning

confidence: 99%

“…Again-I do not go deeply into technical details of particular techniques, although I present here some concrete approaches. There are many books on particular test design techniques, like [10], [14], [15], [16], [17] or [18] to mention the most important ones. I rather focus on the ideas that underlie the concrete test techniques.…”

Section: What Is This Book About?mentioning

confidence: 99%

See 1 more Smart Citation

Thinking-Driven Testing

Roman¹

2018

View full text Add to dashboard Cite

Section: What Is This Book About?mentioning

confidence: 99%

Section: What Is This Book About?mentioning

confidence: 99%

Thinking-Driven Testing

Roman¹

2018

View full text Add to dashboard Cite

“…Reusable test cases are those test cases that are still valid for the delta version after applying boundary value conditions. We perform boundary value analysis for test case selection [10]. Criteria that we are using for boundary value analysis is max value, min value, max-1, min+1 and 1 random value which should be greater than min value and less then max value.…”

Section: Regression Test Selectormentioning

confidence: 99%

“…We have applied boundary value analysis [10] on data type level changes and selected reusable test cases [11]. Test suite classification of Leung and white [11] is used in this paper.…”

Section: Introductionmentioning

confidence: 99%

A Safe Regression Testing Technique for Web Services Based on WSDL Specification

Masood

Nadeem

Lee

2011

Communications in Computer and Information Science

View full text Add to dashboard Cite

Abstract. Specification-based regression testing of web services is an important activity which verifies the quality of web services. A major problem in web services is that only provider has the source code and both user and broker only have the XML based specification. So from the perspective of user and broker, specification based regression testing of web services is needed. The existing techniques are code based. Due to the dynamic behavior of web services, web services undergo maintenance and evolution process rapidly. Retesting of web services is required in order to verify the impact of changes. In this paper, we present an automated safe specification based regression testing approach that uses original and modified WSDL specifications for change identification. All the relevant test cases are selected as reusable hence our regression test selection approach is safe.

show abstract

“…In current software development practice, testing [1,2] remains the primary approach to detect errors in software. Testing being a complex and costly activity has motivated much research on efficient techniques to automate all aspects of the software testing process [3].…”

Section: Introductionmentioning

confidence: 99%

Relational symbolic execution of SQL code for unit testing of database programs

Marcozzi

Vanhoof

Hainaut

2015

Science of Computer Programming

View full text Add to dashboard Cite

Symbolic execution is a technique enabling the automatic generation of test inputs that exercise a set of execution paths within a code unit to be tested. If the paths cover a sufficient part of the code under test, the test data offer a representative view of the actual behaviour of this code. This notably enables detecting errors and correcting faults. Relational databases are ubiquitous in software, but symbolic execution of code units that manipulate them remains a non-trivial problem, particularly because of the complex structure of such databases and the complex behaviour of SQL statements. Finding errors in such code units is yet critical, as it can avoid corrupting important data. In this work, we define a symbolic execution translating database manipulation code directly into constraints and integrate it with a more traditional symbolic execution of normal program code. The database tables are represented by relational symbols and the SQL statements by relational constraints over these symbols. An algorithm based on these principles is presented for the symbolic execution of simple Java methods that implement transactional use cases by reading and writing in a relational database, the latter subject to data integrity constraints. The algorithm is integrated in a test generation tool and experimented over sample code. The target language for the constraints produced by the tool is the SMT-Lib standard and the used solver is Microsoft Z3. The results show that the proposed approach enables generating meaningful test data, including valid database content, in reasonable time. In particular, the Z3 solver is shown to be more scalable than the Alloy solver, used in our previous work, for solving relational constraints.

show abstract

Software Testing

Cited by 104 publications

References 0 publications

Thinking-Driven Testing

Thinking-Driven Testing

A Safe Regression Testing Technique for Web Services Based on WSDL Specification

Relational symbolic execution of SQL code for unit testing of database programs

Contact Info

Product

Resources

About