Title :
Applying Karnaugh map to design complex software branch conditions
Author :
Ye, Ruyi ; Wangjin, Tang ; Li, Zhou
Author_Institution :
China National Institute of Standardization, Beijing 100088, China
Abstract :
It is illustrated that Karnaugh map can be an intuitive method to reduce the complexity of branch conditions in software design, and it can be used to verify the combination coverage among branch conditions.
Keywords :
Complexity theory; Contracts; Economics; Productivity; Software design; Standardization; Branch condition; Karnaugh map; Reduction of logics; Software design;
Conference_Titel :
Information Science and Engineering (ICISE), 2010 2nd International Conference on
Conference_Location :
Hangzhou, China
Print_ISBN :
978-1-4244-7616-9
DOI :
10.1109/ICISE.2010.5690536