IPOGwBDD

• R/O
• R/O (HTTP)
• R/W (SSH)
• R/W (HTTPS)

Fork

Commits SourceTree Downloads Ticket

IPODwBDD

IPOGwBDD implements IPOG, a well-known test suite construction algorithm for combinatorial testing, together with Binary Decision Diagram (BDD)-based constraint handing algorithms. This program also implements a SAT-based constraint handler for comparison purposes.

Experimental Results

2019.06.30 https://osdn.net/downloads/users/24/24292/exp201906.zip/

Release Files

Filename	Size	Time	Download count
build20180329.jar	405.83 k	2019-06-29 02:27:47	50
exp201906.zip	8 M	2019-06-29 02:25:41	94
ipogbdd.jar	841.26 k	2019-06-29 02:12:57	60

Recent Commits

Rev.	Time	Author	Message RSS
c0cae5fc	2019-01-26 06:10:44	Tatsuhiro Tsuchiya	Fixed big bugs related to SAT
2eac5537	2019-01-21 15:05:27	Tatsuhiro Tsuchiya	throw RuntimeException when exception was thrown by Sat4j
533a0a1a	2019-01-17 12:39:02	Tatsuhiro Tsuchiya	Fixed: erroneously closed System.out. now flush instead.
526fefbe	2019-01-17 11:22:50	Tatsuhiro Tsuchiya	failed to improve new BDD. Left (erroneous) code as comments
07659a4c	2019-01-17 03:32:44	Tatsuhiro Tsuchiya	Now SAT part is done
a1cf2ad3	2019-01-16 18:37:48	Tatsuhiro Tsuchiya	Add some code to SATConstraint.java to invoke Sat4J
c1986285	2019-01-08 15:30:35	Tatsuhiro Tsuchiya	Complete SAT part; but still needs optimization (very slow)
807384a0	2019-01-07 17:23:06	Tatsuhiro Tsuchiya	Fix a bug in addtuple in IPOG.java. SAT is still buggy.
c31969cb	2019-01-07 06:56:03	Tatsuhiro Tsuchiya	Build Boolean expression representing all constraints
ef01681d	2019-01-06 01:10:35	Tatsuhiro Tsuchiya	Some methods for SAT construction in Node.java

• more →

Latest updated Tickets

About Chamber Wiki

Welcome to OSDN Wiki system. Here is your chamber Wiki space.

Check Wiki Guide (English) to refer syntax and functions.