Path coverage criterion in specification-based testing based on an extended context-free grammar-based test specification model and a new test generation algorithm

• 1. 基于模型化和非模型化错误的重复测试生成和诊断方法 [P] . 中国专利： CN101169465B . 2010.09.22
• 2. 基于模型化和非模型化错误的重复测试生成和诊断方法 [P] . 中国专利： CN101169465A . 2008-04-30
• 3. Path coverage criterion in specification-based testing based on an extended context-free grammar-based test specification model and a new test generation algorithm [P] . 美国专利： US2006214948A1 . 2006-09-28

  机译： 基于扩展的无上下文语法测试规范模型和新型测试生成算法的基于规范的测试中的路径覆盖标准

• 4. UNIT TESTING METHOD BASED ON AUTOMATIC GENERATION OF PATH COVERAGE TEST CASES [P] . US2021209008A1 . 2021-07-08

  机译： 基于自动生成路径覆盖测试用例的单元测试方法

• 5. UNIT TESTING METHOD BASED ON AUTOMATIC GENERATION OF PATH COVERAGE TEST USE CASES [P] . 世界知识产权组织专利： WO2019223247A1 . 2019-11-28

  机译： 基于自动生成路径覆盖测试用例的单元测试方法

• 1. An approach to formalizing specification-based class testing [J] . 缪淮扣, 刘玲 上海大学学报：英文版 . 2006,第001期
• 2. An Improved Approach for Generating Test Cases during Model-Based Testing Using Tree Traversal Algorithm [J] . Oluwatolani Achimugu, Philip Achimugu, Chinonyelum Nwufoh, 软件工程与应用（英文） . 2021,第006期
• 3. Software Reliability Growth Model for Imperfect Debugging Process Considering Testing-Effort and Testing Coverage [J] . Zang Sicong, Pi Dechang 南京航空航天大学学报（英文版） . 2018,第003期
• 4. Class hierarchical test case generation algorithm based on expanded EMDPN model [J] . LI Jun-yi, GONG Hong-fang, HU Ji-ping, 中南大学学报（英文版） . 2006,第006期
• 5. An Extended Fault Class Hierarchy for Specification-Based Testing [J] . MAN F. LAU, YUEN T. YU ACM transactions on software engineering and methodology . 2005,第3期
• 6. Combining unit and specification-based testing for meta-model validation and verification [J] . Lopez-Fernandez Jesus J., Guerra Esther, de Lara Juan Information Systems . 2016,第deca期
• 7. Using Artificial Bee Colony Algorithm for Test Data Generation and Path Testing Coverage [J] . Faten Hamad Modern Applied Science . 2018,第7期
• 8. Extending the Test Template Framework for specification-based testing of interactive systems [C] . Ian MacColl, David Carrington Computer sciencs'99 . 1999
• 9. An extended CSPE-based method for specification-based testing of concurrent programs. [D] . Al-Jedaibi, Wajdi Homaid. 2001
• 10. Optimal path test data generation based on hybrid negative selection algorithm and genetic algorithm [O] . Shayma Mustafa Mohi-Aldeen, Radziah Mohamad, Safaai Deris 2020
• 11. Linking Mixed-Signal Design and Test: Generation and Evaluation of Specification-Based Tests [O] . Engin Nur 2000
• 12. Specification-Based Coverage Metric to Evaluate Test Sets [R] . Ammann, P. E., Black, P. E. 1999

• 1. Testing and Evaluation for Web Usability Based on Extended Markov Chain Model [J] . MAOCheng-ying LUYan-sheng . 武汉大学自然科学学报：英文版 . 2004,第5期
• 2. 基于测试规范的测试数据集的生成 [C] . 吴晓泽 . 第四次全国软件工程会议 . 1991
• 3. 基于扩展Petri网模型的自动测试生成、测试执行和工具的开发 [A] . 董悦丽 . 2001