Theory of recursive functions and effective computability
Theory of recursive functions and effective computability
Partition Testing Does Not Inspire Confidence (Program Testing)
IEEE Transactions on Software Engineering
On the criteria to be used in decomposing systems into modules
Communications of the ACM
Flow diagrams, turing machines and languages with only two formation rules
Communications of the ACM
Theory of software reliability based on components
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Princples of Computer Programming
Princples of Computer Programming
Operational Profiles in Software-Reliability Engineering
IEEE Software
The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software
IEEE Transactions on Software Engineering
Toward a theory of test data selection
Proceedings of the international conference on Reliable software
Automated black-box testing of functional correctness using function approximation
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
When only random testing will do
Proceedings of the 1st international workshop on Random testing
Software Testing Research: Achievements, Challenges, Dreams
FOSE '07 2007 Future of Software Engineering
Tools and experiments supporting a testing-based theory of component composition
ACM Transactions on Software Engineering and Methodology (TOSEM)
State dependence in performance evaluation of component-based software systems
Proceedings of the first joint WOSP/SIPEW international conference on Performance engineering
Hi-index | 0.00 |
This paper extends basic software-testing theory to software components and adds explicit state to the theory. The resulting theory is simple enough to abstractly model the construction of systems from their parts ('units'). It provides an unconventional insight into the relationship between testing units and testing systems. Experiments exploring the theory support the following conclusions: Units should be independent, more like what are called "components" than subroutines or object-oriented classes. Units' persistent state should be local. Units should be extensively tested..A new kind of system testing is proposed: Unit-test results are combined to approximate the system behavior. Testing the approximation is cheaper and easier than testing the actual system and more likely to expose system problems.