Hence, organizations implementing DNSSEC need to frequently verify the correct configuration of DNSSEC parameters and perhaps implement mechanisms to guarantee continuous correctness of configuration and authentic availability of their resources.
In [3], the authors analyze the availability of DNSSEC resolution and service, but omit configuration correctness.
Therefore, in this article, we measure the status of several DNSSEC-enabled operational zones measuring both the level of DNSSEC implementation and the correctness of DNSSEC configuration.
By testing a simple JSP program to verify the correctness of previous installations and configurations.
These strategies are complementary: they ensure correctness for each system agent configuration, as well as performance when possible.
The main difference between these works and our proposal is that they consider non-functional properties on feature models for design decisions, while we address runtime adaptation where configuration selection algorithms must meet correctness, completeness, and efficiency requirements.
Algorithm correctness is fundamental since it is impracticable to deploy an invalid configuration, i.e., a configuration that does not fulfill feature constraints and resource restrictions.
Ensuring the quality and correctness of software is challenging because each program has different configurations and input domains.
The configuration selection is supported by a heuristic search algorithm that ensures correctness and completeness while addressing time efficiency and scalability for large scale instances of the problem.
In the next section we also perform an experimental evaluation based on a more complex model, and using the OMNeT++ simulator, that allows us to assess the correctness of the simplifications assumed in our mathematical model of the ETSI SLAAC configuration time, and also to derive some configuration guidelines.
Our proposed solution builds on a core pattern-based quality prediction solution that can be used for cloud configuration in an environment where there is uncertainty about concerns such as correctness or completeness.
