Selecting Software Test Data Using Data Flow Information
IEEE Transactions on Software Engineering
Logic testing and design for testability
Logic testing and design for testability
Axiomatizing software test data adequacy
IEEE Transactions on Software Engineering
Comparing the Effectiveness of Software Testing Strategies
IEEE Transactions on Software Engineering
The complete guide to software testing
The complete guide to software testing
Comments on 'Axiomatizing Software Test Data Adequacy' by E.J. Weyuker
IEEE Transactions on Software Engineering
Software testing techniques (2nd ed.)
Software testing techniques (2nd ed.)
Relational databases and knowledge bases
Relational databases and knowledge bases
A technique for testing command and control software
Communications of the ACM
Comments on program specification and testing
Communications of the ACM
On the proof of correctness of a calendar program
Communications of the ACM
Test data as an aid in proving program correctness
Communications of the ACM
Communications of the ACM
A controlled experiment in program testing and code walkthroughs/inspections
Communications of the ACM
The notions of consistency and predicate locks in a database system
Communications of the ACM
Programming with APSE Software Tools
Programming with APSE Software Tools
Art of Software Testing
The Denotational Description of Programming Languages: An Introduction
The Denotational Description of Programming Languages: An Introduction
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
ANT—a test harness for the NELSIS CAD system
EURO-DAC '92 Proceedings of the conference on European design automation
Design for testability in object-oriented systems
Communications of the ACM
Models and languages for component description and reuse
ACM SIGSOFT Software Engineering Notes
On the Use of Testability Measures for Dependability Assessment
IEEE Transactions on Software Engineering
Requirements-driven software test: a process-oriented approach
ACM SIGSOFT Software Engineering Notes
Test templates: a specification-based testing framework
ICSE '93 Proceedings of the 15th international conference on Software Engineering
On testable object-oriented programming
ACM SIGSOFT Software Engineering Notes
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
Testability, fault size and the domain-to-range ratio: An eternal triangle
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
On built-in test reuse in object-oriented framework design
ACM Computing Surveys (CSUR)
On coping with real-time software dynamic inconsistency by built-in tests
Annals of Software Engineering
Critical Analysis of the PIE Testability Technique
Software Quality Control
On Building Testable Software Components
ICCBSS '02 Proceedings of the First International Conference on COTS-Based Software Systems
Establishing Trust in COTS Components
ICCBSS '03 Proceedings of the Second International Conference on COTS-Based Software Systems
Constructing Self-Testable Software Components
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
Testability analysis of co-designed systems
ATS '95 Proceedings of the 4th Asian Test Symposium
Analyzing Testability on Data Flow Designs
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Journal of Systems and Software - Special issue: Applications of statistics in software engineering
Empirical Software Engineering
A new approach for software testability analysis
Proceedings of the 28th international conference on Software engineering
Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis
An empirical study into class testability
Journal of Systems and Software - Special issue: Selected papers from the 4th source code analysis and manipulation (SCAM 2004) workshop
Few useful considerations for maintaining software components and component-based systems
ACM SIGSOFT Software Engineering Notes
Integrating testability into the development process of reactive systems
SE'07 Proceedings of the 25th conference on IASTED International Multi-Conference: Software Engineering
Software testing: a graph theoretic approach
International Journal of Information and Communication Technology
Testing-based Process for Evaluating Component Replaceability
Electronic Notes in Theoretical Computer Science (ENTCS)
Testability Analysis of Data-Flow Software
Electronic Notes in Theoretical Computer Science (ENTCS)
A survey of component based system quality assurance and assessment
Information and Software Technology
Measuring design testability of a UML class diagram
Information and Software Technology
Software testing research and practice
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
Future of developer testing: building quality in code
Proceedings of the FSE/SDP workshop on Future of software engineering research
A new approach for software testability
TAIC PART'10 Proceedings of the 5th international academic and industrial conference on Testing - practice and research techniques
A component testability model for verification and measurement
COMPSAC-W'05 Proceedings of the 29th annual international conference on Computer software and applications conference
An empirical study on the usage of testability information to fault localization in software
Proceedings of the 2011 ACM Symposium on Applied Computing
An empirical analysis of a testability model for object-oriented programs
ACM SIGSOFT Software Engineering Notes
Exploiting software architecture to support requirements satisfaction testing
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Evaluating the effect of control flow on the unit testing effort of classes: an empirical analysis
Advances in Software Engineering
Testing-based process for component substitutability
Software Testing, Verification & Reliability
| Hi-index | 0.02 |
The concept of domain testability of software is defined by applying the concepts of observability and controllability to software. It is shown that a domain-testable program does not exhibit any input-output inconsistencies and supports small test sets in which test outputs are easily understood. Metrics that can be used to assess the level of effort required in order to modify a program so that it is domain-testable are discussed. Assessing testability from program specifications and an experiment which shows that it takes less time to build and test a program developed from a domain-testable specification than a similar program developed from a nondomain-testable specification are also discussed.