Specification-based test oracles for reactive systems
ICSE '92 Proceedings of the 14th international conference on Software engineering
Toward principles for the design of ontologies used for knowledge sharing
International Journal of Human-Computer Studies - Special issue: the role of formal ontology in the information technology
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
A UML-Based Approach to System Testing
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
SeDiTeC " Testing Based on Sequence Diagrams
Proceedings of the 17th IEEE international conference on Automated software engineering
A Multi-Agent Software Environment for Testing Web-based Applications
COMPSAC '03 Proceedings of the 27th Annual International Conference on Computer Software and Applications
Ontology-Based Test Case Generation for Testing Web Services
ISADS '07 Proceedings of the Eighth International Symposium on Autonomous Decentralized Systems
Automatic Test Case Generation from UML Sequence Diagram
ADCOM '07 Proceedings of the 15th International Conference on Advanced Computing and Communications
Ontology-based test generation for multiagent systems
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 3
Education and the Semantic Web
International Journal of Artificial Intelligence in Education
Ontology-Based Test Modeling and Partition Testing of Web Services
ICWS '08 Proceedings of the 2008 IEEE International Conference on Web Services
A data flow-based structural testing technique for FBD programs
Information and Software Technology
Random vs. structure-based testing of answer-set programs: an experimental comparison
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Hi-index | 0.00 |
Context: The current validation tests for nuclear software are routinely performed by random testing, which leads to uncertain test coverage. Moreover, validation tests should directly verify the system's compliance with the original user's needs. Unlike current model-based testing methods, which are generally based on requirements or design models, the proposed model is derived from the original user's needs in text through domain-specific ontology, and then used to generate validation tests systematically. Objective: Our first goal is to develop an objective, repeatable, and efficient systematic validation test scheme that is effective for large systems, with analyzable test coverage. Our second goal is to provide a new model-based validation testing method that reflects the user's original safety needs. Method: A model-based scenario test case generation for nuclear digital safety systems was designed. This was achieved by converting the scenarios described in natural language in a Safety Analysis Report (SAR) prepared by the power company for licensing review, to Unified Modeling Language (UML) sequence diagrams based on a proposed ontology of a related regulatory standard. Next, we extracted the initial environmental parameters and the described operational sequences. We then performed variations on these data to systematically generate a sufficient number of scenario test cases. Results: Test coverage criteria, which are the equivalence partition coverage of initial environment, the condition coverage, the action coverage and the scenario coverage, were met using our method. Conclusion: The proposed model-based scenario testing can provide improved testing coverage than random testing. A test suite based on user needs can be provided.