Proceedings of the 2nd VDM-Europe Symposium on VDM---The Way Ahead
Using Z: specification, refinement, and proof
Using Z: specification, refinement, and proof
Test templates: a specification-based testing framework
ICSE '93 Proceedings of the 15th international conference on Software Engineering
A framework for evaluating regression test selection techniques
ICSE '94 Proceedings of the 16th international conference on Software engineering
The automatic assessment of Z specifications
The supplemental proceedings of the conference on Integrating technology into computer science education: working group reports and supplemental proceedings
ACM-SE 37 Proceedings of the 37th annual Southeast regional conference (CD-ROM)
An overview of regression testing
ACM SIGSOFT Software Engineering Notes
Probe: a formal specification-based testing system
ICIS '99 Proceedings of the 20th international conference on Information Systems
Formalization of Software Testing Criteria using the Z Notation
COMPSAC '01 Proceedings of the 25th International Computer Software and Applications Conference on Invigorating Software Development
Class Specification Implementation Graphs and their Application in Regression Testing
COMPSAC '02 Proceedings of the 26th International Computer Software and Applications Conference on Prolonging Software Life: Development and Redevelopment
Improving Software Tests Using Z Specifications
ZUM '95 Proceedings of the 9th International Conference of Z Usres on The Z Formal Specification Notation
Test Case Design Based on Z and the Classification-Tree Method
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Test-Suite Reduction for Model Based Tests: Effects on Test Quality and Implications for Testing
Proceedings of the 19th IEEE international conference on Automated software engineering
Generating Regression Tests via Model Checking
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
Regression Testing of Classes Based on TCOZ Specification
ICECCS '05 Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems
Specification Based Regression Testing Using Explicit State Space Enumeration
ICSEA '06 Proceedings of the International Conference on Software Engineering Advances
Model-based regression test suite generation using dependence analysis
Proceedings of the 3rd international workshop on Advances in model-based testing
Test sequence computation for regression testing of reactive systems
ISEC '08 Proceedings of the 1st India software engineering conference
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Relevance and perspectives of AAL in Brazil
Journal of Systems and Software
Hi-index | 0.00 |
Regression testing is important activity during the software maintenance to deal with adverse effects of changes. Our approach is important for safety critical system as usually formal methods are preferred and highly recommended for the safety critical systems but they are also applied for the systems development of other than critical system. Our approach is based on Regression testing using VDM++ which takes two VDM++ specifications, one baseline and other delta (Changed) along with test suite for the baseline version. It compares both versions by using comparator module, identifies the change. By analyzing the change we classify the test cases from original test suite into obsolete, re-testable, and reusable test cases. Our scope is at unit level i.e. at class level. Our approach gets two versions of VDM++ specification and returns regression test suite for the delta version. Our approach distinguishes test cases which are still effective for the delta version of VDM++ specification and it differs from re-test all strategy as it can distinguish the test cases and identifies test cases which are useful for delta version. Test cases reusability and test case reduction is the main objective of our approach. Our approach presents how to perform regression testing using VDM++ specification during the maintenance of systems.