A functional approach to program testing and analysis
IEEE Transactions on Software Engineering
Specification directed module testing
IEEE Transactions on Software Engineering
Functional program testing and analysis
Functional program testing and analysis
The complete guide to software testing
The complete guide to software testing
The category-partition method for specifying and generating fuctional tests
Communications of the ACM
Theoretical comparison of testing methods
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Automatic generation of test scripts from formal test specifications
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Relationship between specifications and testing
Information and Software Technology
Analyzing Partition Testing Strategies
IEEE Transactions on Software Engineering
Analysis and Refinement of Software Test Data Adequacy Properties
IEEE Transactions on Software Engineering
The Z notation: a reference manual
The Z notation: a reference manual
Specification-based test oracles for reactive systems
ICSE '92 Proceedings of the 14th international conference on Software engineering
The RAISE specification language
The RAISE specification language
Test template framework: a specification-based testing case study
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
Faults on its sleeve: amplifying software reliability testing
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
Deriving modular designs from formal specifications
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Test templates: a specification-based testing framework
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Data Abstraction, Implementation, Specification, and Testing
ACM Transactions on Programming Languages and Systems (TOPLAS)
Automatically Generating Test Data from a Boolean Specification
IEEE Transactions on Software Engineering
Improving Software Tests Using Z Specifications
ZUM '95 Proceedings of the 9th International Conference of Z Usres on The Z Formal Specification Notation
ZUM '95 Proceedings of the 9th International Conference of Z Usres on The Z Formal Specification Notation
Automating the Generation and Sequencing of Test Cases from Model-Based Specifications
FME '93 Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength Formal Methods
A notation for specifying test selection criteria
Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification X
In defense of program testing or correctness proofs considered harmful
ACM SIGPLAN Notices
Structured programming
SOFL: A Formal Engineering Methodology for Industrial Applications
IEEE Transactions on Software Engineering
Proceedings of the 2nd Australasian conference on Computer science education
Using model checking to generate tests from requirements specifications
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Fault classes and error detection capability of specification-based testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Testing monadic code with QuickCheck
Proceedings of the 2002 ACM SIGPLAN workshop on Haskell
Requirements specifications checking of embedded real-time software
Journal of Computer Science and Technology
AI Planner Assisted Test Generation
Software Quality Control
Testing monadic code with QuickCheck
ACM SIGPLAN Notices
Model-Based Specification Animation Using Testgraphs
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
On Building Testable Software Components
ICCBSS '02 Proceedings of the First International Conference on COTS-Based Software Systems
A Comparison of the BTT and TTF Test-Generation Methods
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Verifying Consistency and Validity of Formal Specifications by Testing
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Extending Test Templates with Inheritance
ASWEC '97 Proceedings of the Australian Software Engineering Conference
Generating Test Cases from an OO Model with an AI Planning System
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
Planner Based Error Recovery Testing
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Proceedings of the 16th IEEE international conference on Automated software engineering
A Choice Relation Framework for Supporting Category-Partition Test Case Generation
IEEE Transactions on Software Engineering
Confirming Configurations in EFSM Testing
IEEE Transactions on Software Engineering
CASCON '03 Proceedings of the 2003 conference of the Centre for Advanced Studies on Collaborative research
A framework and tool support for the systematic testing of model-based specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Software assurance by bounded exhaustive testing
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
TestEra: Specification-Based Testing of Java Programs Using SAT
Automated Software Engineering
Enhancing Structured Review with Model-Based Verification
IEEE Transactions on Software Engineering
Software Assurance by Bounded Exhaustive Testing
IEEE Transactions on Software Engineering
An extended fault class hierarchy for specification-based testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Case studies on fault detection effectiveness of model based test generation techniques
A-MOST '05 Proceedings of the 1st international workshop on Advances in model-based testing
Avoiding coincidental correctness in boundary value analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Tcl-based multithreaded test harness
TCLTK'98 Proceedings of the 6th conference on Annual Tcl/Tk Workshop, 1998 - Volume 6
Model-based regression test suite generation using dependence analysis
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
Towards leveraging model transformation to support model-based testing
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Using traceability to support model-based regression testing
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
A relation-based method combining functional and structural testing for test case generation
Journal of Systems and Software
Automated generation of test suites from formal specifications of real-time reactive systems
Journal of Systems and Software
Test frame updating in CPM testing of Prolog programs
Software Quality Control
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Integration of formal specification, review, and testing for software component quality assurance
Proceedings of the 2009 ACM symposium on Applied Computing
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
ProTest: An Automatic Test Environment for B Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
CHOC'LATE: a framework for specification-based testing
Communications of the ACM
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
On detecting double literal faults in Boolean expressions
Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies
Integrating specification-based review and testing for detecting errors in programs
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
Formal methods and hybrid real-time systems
From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria
Formal methods and testing
Proceedings of the 2010 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the 9th SoMeT_10
Generating natural language descriptions of Z test cases
INLG '10 Proceedings of the 6th International Natural Language Generation Conference
An experimental assessment of module documentation-based testing
Information and Software Technology
An automated framework for software test oracle
Information and Software Technology
An architecture-based verification technique for AADL specifications
ECSA'11 Proceedings of the 5th European conference on Software architecture
A language for test case refinement in the test template framework
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
An approach to integration testing based on data flow specifications
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Artificial neural networks as multi-networks automated test oracle
Automated Software Engineering
Tests derivation from model based formal specifications
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
Extending the test template framework
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
Combining model-based and combinatorial testing for effective test case generation
Proceedings of the 2012 International Symposium on Software Testing and Analysis
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
Adapting model-based testing techniques to DEVS models validation
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
UI-design driven model-based testing
Innovations in Systems and Software Engineering
| Hi-index | 0.02 |
Test templates and a test template framework are introduced as useful concepts in specification-based testing. The framework can be defined using any model-based specification notation and used to derive tests from model-based specifications驴in this paper, it is demonstrated using the Z notation. The framework formally defines test data sets and their relation to the operations in a specification and to other test data sets, providing structure to the testing process. Flexibility is preserved, so that many testing strategies can be used. Important application areas of the framework are discussed, including refinement of test data, regression testing, and test oracles.