Most part of errors in software development process are included during the stage of requirements definition and design. And correction or elimination of errors from those stages requires much more efforts and costs than those from the later part of software development process. However, despite of the importance of the validation of requirement definition and design stages, several kinds of problem have made it hard to be done successfully. Therefore, in this paper, we introduce a novel validation process for the preliminary design stage. The validation process is based on simulations of model and it can be used to validate requirements and model simultaneously. Models in the validation process will take only the behavior of software and be built on Ptolemy framework. The usability of our validation process is confirmed with a case study over DNS system environment. And the result of simulation shows well-known errors or vulnerabilities can be found with simulations of model which has the behavior of software. This means our validation process can be used as a process to validate requirements and models during the early stage of software development process.
[1]
Christian Seybold,et al.
Simulation-based validation and defect localization for evolving, semi-formal requirements models
,
2005,
12th Asia-Pacific Software Engineering Conference (APSEC'05).
[2]
James Bret Michael,et al.
A Validation Metrics Framework for safety-critical software-intensive Systems
,
2009,
2009 IEEE International Conference on System of Systems Engineering (SoSE).
[3]
Gary Mogyorodi,et al.
Requirements-based testing: an overview
,
2001,
Proceedings 39th International Conference and Exhibition on Technology of Object-Oriented Languages and Systems. TOOLS 39.
[4]
Martin Glinz,et al.
Object-oriented modeling with A
,
2002,
Inf. Syst..
[5]
Raymond A. Paul,et al.
Specification-based verification and validation of Web services and service-oriented operating systems
,
2005,
10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems.
[6]
Jie Liu,et al.
HETEROGENEOUS CONCURRENT MODELING AND DESIGN
,
1999
.