Software testing techniques (2nd ed.)
Software testing techniques (2nd ed.)
Object-oriented development: the fusion method
Object-oriented development: the fusion method
Testing object-oriented systems: models, patterns, and tools
Testing object-oriented systems: models, patterns, and tools
Object-Oriented Software Engineering; Conquering Complex and Changing Systems
Object-Oriented Software Engineering; Conquering Complex and Changing Systems
Robustness and Diagnosability of OO Systems Designed by Contracts
METRICS '01 Proceedings of the 7th International Symposium on Software Metrics
System Test Synthesis from UML Models of Distributed Software
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
UML-Based Integration Testing for Component-Based Software
ICCBSS '03 Proceedings of the Second International Conference on COTS-Based Software Systems
The Cow_Suite Approach to Planning and Deriving Test Suites in UML Projects
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
Automated-generating test case using UML statechart diagrams
SAICSIT '03 Proceedings of the 2003 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology
Enhancing Structured Review with Model-Based Verification
IEEE Transactions on Software Engineering
SCESM '05 Proceedings of the fourth international workshop on Scenarios and state machines: models, algorithms and tools
Test ready UML statechart models
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
Requirements for information systems model-based testing
Proceedings of the 2007 ACM symposium on Applied computing
Model-driven Development of Complex Software: A Research Roadmap
FOSE '07 2007 Future of Software Engineering
A subset of precise UML for model-based testing
Proceedings of the 3rd international workshop on Advances in model-based testing
Towards traceability of model-based testing artifacts
Proceedings of the 3rd international workshop on Advances in model-based testing
A state-based approach to integration testing based on UML models
Information and Software Technology
Automatic Model-Based Generation of Parameterized Test Cases Using Data Abstraction
Electronic Notes in Theoretical Computer Science (ENTCS)
An evaluation of a model-based testing method for information systems
Proceedings of the 2008 ACM symposium on Applied computing
A meta-model semantics for structural constraints in ODP computational language
SMO'06 Proceedings of the 6th WSEAS International Conference on Simulation, Modelling and Optimization
A meta-model syntax for structural constraints in ODP enterprise language
SMO'06 Proceedings of the 6th WSEAS International Conference on Simulation, Modelling and Optimization
An automated technique for risk-based test case generation and prioritization
Proceedings of the 3rd international workshop on Automation of software test
A survey into the rigor of UML use and its perceived impact on quality and productivity
Proceedings of the Second ACM-IEEE international symposium on Empirical software engineering and measurement
Regression testing with UML software designs: A survey
Journal of Software Maintenance and Evolution: Research and Practice
Model-based testing approaches selection for software projects
Information and Software Technology
From design models to test models by means of test ideas
Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation
An approach to testing conceptual schemas
Data & Knowledge Engineering
Testable requirements for offshore outsourcing
SEAFOOD'07 Proceedings of the 1st international conference on Software engineering approaches for offshore and outsourced development
Meta-modelling syntax and semantics of structural concepts for open networked enterprises
ICCSA'07 Proceedings of the 2007 international conference on Computational science and its applications - Volume Part III
Coverage criteria for state based specifications
Formal methods and testing
Formal scenario-based requirements specification and test case generation in healthcare applications
Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care
System testing using use cases for simulation model of an emergency room
International Journal of Advanced Intelligence Paradigms
OCL for the ODP information viewpoint specifications
ICCOMP'06 Proceedings of the 10th WSEAS international conference on Computers
Model based approach to assist test case creation, execution, and maintenance for test automation
Proceedings of the First International Workshop on End-to-End Test Script Engineering
Symbolic Message Sequence Charts
ACM Transactions on Software Engineering and Methodology (TOSEM)
A method for information systems testing automation
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Applying story driven modeling to the paderborn shuttle system case study
SMTT'03 Proceedings of the 2003 international conference on Scenarios: models, Transformations and Tools
An approach to test-driven development of conceptual schemas
Data & Knowledge Engineering
Combining model-based and combinatorial testing for effective test case generation
Proceedings of the 2012 International Symposium on Software Testing and Analysis
Runtime debugging using reverse-engineered UML
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Systematic scenario test case generation for nuclear safety systems
Information and Software Technology
UML behavioral model based test case generation: a survey
ACM SIGSOFT Software Engineering Notes
Hi-index | 0.00 |
System testing is concerned with testing an entire system based on its specifications. In the context of object-oriented, UML development, this means that system test requirements are derived from UML analysis artifacts such as use cases, their corresponding sequence and collaboration diagrams, class diagrams, and possibly the use of the Object Constraint Language across all these artifacts. Our goal is to support the derivation of test requirements, which will be transformed into test cases, test oracles, and test drivers once we have detailed design information.Another important issue we address is the one of testability. Testability requirements (or rules) need to be imposed on UML artifacts so as to be able to support system testing efficiently. Those testability requirements result from a trade-off between analysis and design overhead and improved testability. The potential for automation is also an overriding concern all across our work as the ultimate goal is to fully support testing activities with high-capability tools.