Communicating sequential processes
Communicating sequential processes
Statecharts: A visual formalism for complex systems
Science of Computer Programming
The Z notation: a reference manual
The Z notation: a reference manual
The category-partition method for specifying and generating fuctional tests
Communications of the ACM
Formal Methods for Protocol Testing: A Detailed Study
IEEE Transactions on Software Engineering
Automatic generation of test scripts from formal test specifications
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Informal and Formal Requirements Specification Languages: Bridging the Gap
IEEE Transactions on Software Engineering
SIGDOC '86 Proceedings of the 5th annual international conference on Systems documentation
Testing object-oriented systems: models, patterns, and tools
Testing object-oriented systems: models, patterns, and tools
Software Engineering: A Practitioner's Approach
Software Engineering: A Practitioner's Approach
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
In-Parameter-Order: A Test Generation Strategy for Pairwise Testing
HASE '98 The 3rd IEEE International Symposium on High-Assurance Systems Engineering
Automated Test Case Generation from Dynamic Models
ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
Attempto Controlled English - Not Just Another Logic Specification Language
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
Processing natural language requirements
ASE '97 Proceedings of the 12th international conference on Automated software engineering (formerly: KBSE)
A software reliability assessment based on a structural and behavioral analysis of programs
ICSE '76 Proceedings of the 2nd international conference on Software engineering
A Case Study Using the Round-Trip Strategy for State-Based Class Testing
ISSRE '02 Proceedings of the 13th International Symposium on Software Reliability Engineering
Use case-based testing of product lines
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Proceedings of the 2003 ACM symposium on Applied computing
Building a large annotated corpus of English: the penn treebank
Computational Linguistics - Special issue on using large corpora: II
Tropos: An Agent-Oriented Software Development Methodology
Autonomous Agents and Multi-Agent Systems
Natural Language Engineering
Using Simulation to Empirically Investigate Test Coverage Criteria Based on Statechart
Proceedings of the 26th International Conference on Software Engineering
Market research for requirements analysis using linguistic tools
Requirements Engineering
Testing Software Requirements with Z and Statecharts Applied to an Embedded Control Systemt0t1
Software Quality Control
University of Durham: description of the LOLITA system as used in MUC-6
MUC6 '95 Proceedings of the 6th conference on Message understanding
Reasoning about inconsistencies in natural language requirements
ACM Transactions on Software Engineering and Methodology (TOSEM)
Feature-rich part-of-speech tagging with a cyclic dependency network
NAACL '03 Proceedings of the 2003 Conference of the North American Chapter of the Association for Computational Linguistics on Human Language Technology - Volume 1
HLT '93 Proceedings of the workshop on Human Language Technology
Testing from Partial Deterministic FSM Specifications
IEEE Transactions on Computers
On the Systematic Analysis of Natural Language Requirements with CIRCE
Automated Software Engineering
Formal methods in industry: achievements, problems, future
Proceedings of the 28th international conference on Software engineering
A Practical Approach for Automated Test Case Generation using Statecharts
COMPSAC '06 Proceedings of the 30th Annual International Computer Software and Applications Conference - Volume 02
IPOG: A General Strategy for T-Way Software Testing
ECBS '07 Proceedings of the 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems
Unsupervised Graph-basedWord Sense Disambiguation Using Measures of Word Semantic Similarity
ICSC '07 Proceedings of the International Conference on Semantic Computing
Reliability of the Path Analysis Testing Strategy
IEEE Transactions on Software Engineering
Testing Software Design Modeled by Finite-State Machines
IEEE Transactions on Software Engineering
Testing against Natural Language Requirements
QSIC '07 Proceedings of the Seventh International Conference on Quality Software
Principles of Model Checking (Representation and Mind Series)
Principles of Model Checking (Representation and Mind Series)
ICSTW '08 Proceedings of the 2008 IEEE International Conference on Software Testing Verification and Validation Workshop
A Requirement Tool to Support Model-Based Requirement Engineering
COMPSAC '08 Proceedings of the 2008 32nd Annual IEEE International Computer Software and Applications Conference
Shortening Test Case Execution Time for Embedded Software
SSIRI '08 Proceedings of the 2008 Second International Conference on Secure System Integration and Reliability Improvement
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Word sense disambiguation: A survey
ACM Computing Surveys (CSUR)
Automatic generation of test specifications for coverage of system state transitions
Information and Software Technology
WordNet::Similarity: measuring the relatedness of concepts
HLT-NAACL--Demonstrations '04 Demonstration Papers at HLT-NAACL 2004
Implementing and Applying the Stocks-Carrington Framework for Model-Based Testing
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Generating tests from UML specifications
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Foundations of Software Testing
Foundations of Software Testing
Designing fault injection experiments using state-based model to test a space software
LADC'07 Proceedings of the Third Latin-American conference on Dependable Computing
Test case generation from natural language requirements based on SCR specifications
Proceedings of the 28th Annual ACM Symposium on Applied Computing
A taxonomy for requirements engineering and software test alignment
ACM Transactions on Software Engineering and Methodology (TOSEM)
Hi-index | 0.00 |
Natural Language (NL) deliverables suffer from ambiguity, poor understandability, incompleteness, and inconsistency. Howewer, NL is straightforward and stakeholders are familiar with it to produce their software requirements documents. This paper presents a methodology, SOLIMVA, which aims at model-based test case generation considering NL requirements deliverables. The methodology is supported by a tool that makes it possible to automatically translate NL requirements into Statechart models. Once the Statecharts are derived, another tool, GTSC, is used to generate the test cases. SOLIMVA uses combinatorial designs to identify scenarios for system and acceptance testing, and it requires that a test designer defines the application domain by means of a dictionary. Within the dictionary there is a Semantic Translation Model in which, among other features, a word sense disambiguation method helps in the translation process. Using as a case study a space application software product, we compared SOLIMVA with a previous manual approach developed by an expert under two aspects: test objectives coverage and characteristics of the Executable Test Cases. In the first aspect, the SOLIMVA methodology not only covered the test objectives associated to the expert's scenarios but also proposed a better strategy with test objectives clearly separated according to the directives of combinatorial designs. The Executable Test Cases derived in accordance with the SOLIMVA methodology not only possessed similar characteristics with the expert's Executable Test Cases but also predicted behaviors that did not exist in the expert's strategy. The key benefits from applying the SOLIMVA methodology/tool within a Verification and Validation process are the ease of use and, at the same time, the support of a formal method consequently leading to a potential acceptance of the methodology in complex software projects.