Applying Constraint Logic Programming to SQL Test Case Generation

Caballero, Rafael; García-Ruiz, Yolanda; Sáenz-Pérez, Fernando

doi:10.1007/978-3-642-12251-4_15

Cited by 9 publications

(1 citation statement)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…some predefined constraint to produce meaningful test sequences for specification-based testing. The work of Caballero et al [22], in contrast to the above focuses on a specific language, viz., SQL. Given a database schema, their method generates a set of domain constraints, which, when solved, represent test database instances.…”

Section: Logic Programming In Testingmentioning

confidence: 99%

Knowledge-based security testing of web applications by logic programming

Zech

Felderer

Breu

2017

Int J Softw Tools Technol Transfer

View full text Add to dashboard Cite

This article introduces a new method for knowledge-based security testing by logic programming and the related tool implementation for model-based nonfunctional security testing of web applications. Our method helps to overcome the current prevalent focus on functional instead of non-functional (or negative) requirements as well as the required high level of security knowledge when performing non-functional security testing. It addresses issues like considering non-functional requirements for testing, managing the virtually infinite amount of negative security test cases, advancing non-functional security testing away from its prevalent penetration testing-like style, and making non-functional security testing feasible for testers that are not experts in security via a security knowledge base. The method and its model-based tool implementation are evaluated in two studies, which show the method's effectiveness in detecting vulnerabilities in web applications and thus, also its value in making software system more secure.

show abstract

Section: Logic Programming In Testingmentioning

confidence: 99%