Algorithm of minimum test case set generation using matrix recursion
The algorithm of minimum test case set conforming to MC/DC criterion has important practical value.Firstly,the Boolean expression is transformed into a syntax binary tree,and then the matrix combinational logic operation is used to recurse layer by layer to obtain a complete set of MC/DC minimum tes...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | zho |
| Published: |
National Computer System Engineering Research Institute of China
2020-04-01
|
| Series: | Dianzi Jishu Yingyong |
| Subjects: | |
| Online Access: | http://www.chinaaet.com/article/3000117763 |
| _version_ | 1818390630697533440 |
|---|---|
| author | Huang Xiaolun Wang Dong |
| author_facet | Huang Xiaolun Wang Dong |
| author_sort | Huang Xiaolun |
| collection | DOAJ |
| description | The algorithm of minimum test case set conforming to MC/DC criterion has important practical value.Firstly,the Boolean expression is transformed into a syntax binary tree,and then the matrix combinational logic operation is used to recurse layer by layer to obtain a complete set of MC/DC minimum test cases.It is proved that the method of matrix combinational logic operation is reasonable and correct.The method can quickly obtain complete MC/DC minimum test case set for nontrivial Boolean expressions,and can also deal with complex Boolean expressions with coupling conditions. |
| first_indexed | 2024-12-14T05:00:41Z |
| format | Article |
| id | doaj.art-0f60e2baa9f64904976e0f90bded1583 |
| institution | Directory Open Access Journal |
| issn | 0258-7998 |
| language | zho |
| last_indexed | 2024-12-14T05:00:41Z |
| publishDate | 2020-04-01 |
| publisher | National Computer System Engineering Research Institute of China |
| record_format | Article |
| series | Dianzi Jishu Yingyong |
| spelling | doaj.art-0f60e2baa9f64904976e0f90bded15832022-12-21T23:16:14ZzhoNational Computer System Engineering Research Institute of ChinaDianzi Jishu Yingyong0258-79982020-04-01464717410.16157/j.issn.0258-7998.1910293000117763Algorithm of minimum test case set generation using matrix recursionHuang Xiaolun0Wang Dong1Chongqing Health Information Center,Chongqing 401120，ChinaChongqing Health Information Center,Chongqing 401120，ChinaThe algorithm of minimum test case set conforming to MC/DC criterion has important practical value.Firstly,the Boolean expression is transformed into a syntax binary tree,and then the matrix combinational logic operation is used to recurse layer by layer to obtain a complete set of MC/DC minimum test cases.It is proved that the method of matrix combinational logic operation is reasonable and correct.The method can quickly obtain complete MC/DC minimum test case set for nontrivial Boolean expressions,and can also deal with complex Boolean expressions with coupling conditions.http://www.chinaaet.com/article/3000117763mc/dctest casescoupling conditionsrecursionalgorithms |
| spellingShingle | Huang Xiaolun Wang Dong Algorithm of minimum test case set generation using matrix recursion Dianzi Jishu Yingyong mc/dc test cases coupling conditions recursion algorithms |
| title | Algorithm of minimum test case set generation using matrix recursion |
| title_full | Algorithm of minimum test case set generation using matrix recursion |
| title_fullStr | Algorithm of minimum test case set generation using matrix recursion |
| title_full_unstemmed | Algorithm of minimum test case set generation using matrix recursion |
| title_short | Algorithm of minimum test case set generation using matrix recursion |
| title_sort | algorithm of minimum test case set generation using matrix recursion |
| topic | mc/dc test cases coupling conditions recursion algorithms |
| url | http://www.chinaaet.com/article/3000117763 |
| work_keys_str_mv | AT huangxiaolun algorithmofminimumtestcasesetgenerationusingmatrixrecursion AT wangdong algorithmofminimumtestcasesetgenerationusingmatrixrecursion |