Now showing items 1-4 of 4
Model-based higher-order mutation analysis
Mutation analysis is widely used as an implementation-oriented method for software testing and test adequacy assessment. It is based on creating different versions of the software by seeding faults into its source code and ...
Mutation-based evaluation of weighted test case selection for firewall testing
As part of network security testing an administrator needs to know whether the firewall enforces the security policy as expected or not. In this setting black-box testing and evaluation methodologies can be helpful. In ...
Neden-sonuç çizgelerinden test girişlerinin oluşturulması
(CEUR Workshop Proceedings, 2016-10)
Neden-sonuç çizgeleri çok bilinen gereksinim tabanlı yazılım test yöntemlerinden biri olduğu halde Myers tarafıdan önerildiği 1979 yılından beri bu çizgelerden test girişleri üretilmesi konusunda yeterince kapsamlı çalışma ...
Boolean differentiation for formalizing myers' cause-effect graph testing technique
Cause-Effect Graph Testing is a popular technique used for almost four decades. Based on Boolean algebra, this technique assists deriving test cases from a given specification informally written in a natural language. The ...