共 50 条
- [1] A Model for the Measurement of the Runtime Testability of Component-based Systems [J]. ICSTW 2009: IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION, AND VALIDATION WORKSHOPS, 2009, : 19 - 28
- [2] A model of software testability measurement [J]. WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL XVII, PROCEEDINGS: CYBERNETICS AND INFORMATICS: CONCEPTS AND APPLICATIONS (PT II), 2001, : 301 - 307
- [5] Specification and Verification of the Model of Component and the Model of Function [J]. STUDIES IN INFORMATICS AND CONTROL, 2008, 17 (01): : 27 - 42
- [6] Testability analysis of digital design verification [J]. 2006 INTERNATIONAL BALTIC ELECTRONICS CONFERENCE, PROCEEDINGS, 2006, : 171 - +
- [8] On Voting Machine Design for Verification and Testability [J]. CCS'09: PROCEEDINGS OF THE 16TH ACM CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, 2009, : 463 - 476
- [9] A metadata model based on coupling testing information to increase testability of component [J]. J. Donghua Univ., 2008, 1 (58-64):
- [10] Three-dimensional Bayes network testability verification model for complex systems [J]. Beijing Hangkong Hangtian Daxue Xuebao/Journal of Beijing University of Aeronautics and Astronautics, 2019, 45 (07): : 1303 - 1313