Weiqun Zheng

Learn More
Applying UML modeling to both software component testing (SCT) and software component development enables testing and design phases to utilise a consistent specification approach to producing functional and reliable software components with better effectiveness and efficiency. This paper introduces a new UML-based SCT methodology, model-based software(More)
This paper presents a new contract-based software component testing (SCT) technique, test by contract (TbC), which extends the design by contract concept to the SCT domain, and leverages it with UML-based testing at the modeling level to design model-level test contracts for UML-based SCT. We introduce a new concept of contract for testability as the(More)
  • 1