Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
Specification and testing of autonomous agents in e-commerce systems: Research Articles
Software Testing, Verification & Reliability
A logic for assessing sets of heterogeneous testing hypotheses
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
| Hi-index | 0.00 |
Complex computational systemsmay integrate heterogeneous components that may be defined in different ways. In order to test the conformance of an implementation we can use a different testing methodology for each of the (different groups of) components. Still, this approach might overlook details regarding the relation among the parts of the system under test. We present an integrated testing methodology that takes into account the hierarchical dependence of all the parts of a system. Its main peculiarity is that parts of the implementation under test (IUT) that have already been tested may partially define the behavior of the tests used to check the correctness of other IUT parts.