DocumentCode :
2131394
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
fYear :
2010
fDate :
4-6 Dec. 2010
Firstpage :
4391
Lastpage :
4393
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Information Science and Engineering (ICISE), 2010 2nd International Conference on
Conference_Location :
Hangzhou, China
Print_ISBN :
978-1-4244-7616-9
Type :
conf
DOI :
10.1109/ICISE.2010.5690536
Filename :
5690536
Link To Document :
بازگشت