NeoCombi Documentation / NeoCombi ドキュメント¶
NeoCombi is a combinatorial test design tool. You describe a problem space as factors and their levels, rule out impossible combinations with constraints written in a PICT-compatible DSL (a subset of PICT), and generate test cases two ways: a compact pairwise / N-wise set (via Microsoft PICT) or a full decision table (every combination, with the forbidden ones marked). Authoring, the forbidden view, the coverage matrix, and decision-table generation all run in your browser.
NeoCombi は組み合わせテスト設計ツールです。問題空間を因子と水準で表し、 あり得ない組み合わせを PICT 互換の DSL による制約で除外し、テストケースを2通りで 生成します ── コンパクトなペアワイズ / N-wise（Microsoft PICT 経由）と、全組み合わせの デシジョンテーブル（禁止行は印付き）。オーサリング・禁則ビュー・総当たり表・ デシジョンテーブル生成はブラウザ内で動きます。
Try the demo / デモを試す{ .md-button .md-button--primary } User Manual{ .md-button } Deployment Guide{ .md-button }
A DSL you can use directly / そのまま使える DSL¶
NeoCombi's constraint DSL is a strict subset of Microsoft PICT's language, published as a versioned EBNF grammar (v1.0). Two benefits follow:
- It runs directly in PICT. Whatever you write in NeoCombi is valid PICT
input — paste it into the
pictcommand-line tool and it works unchanged, and Microsoft's PICT documentation applies as-is. - It is easy to generate with an AI. Hand the grammar (EBNF) together with your test problem to an AI assistant and ask it to write the DSL — bridging the gap between specifications and test design — then review and refine it in NeoCombi.
NeoCombi の制約 DSL は Microsoft PICT 言語の厳密なサブセットで、版番号付きの EBNF 文法（v1.0）として公開しています。利点は2つ：
- そのまま PICT に直接入力できる。 ここで書いたものは PICT 入力として有効で、
pictコマンドにそのまま貼って動きます。Microsoft の PICT ドキュメントもそのまま参照可。 - AI で生成しやすい。 EBNF とテスト対象の説明を AI に渡して DSL を生成させ、仕様と テスト設計を橋渡しし、NeoCombi で確認・修正できます。
Two generation strategies / 2つの生成方略¶
| Pairwise / ペアワイズ | Decision table / デシジョンテーブル | |
|---|---|---|
| Produces / 生成物 | a small set covering every pair / 全ペアを覆う小さな集合 | every combination / 全組み合わせ |
| Forbidden rows / 禁止行 | excluded / 含まない | kept and marked X / 残して X 印 |
| Runs / 実行 | via a PICT service / PICT サービス経由 | in your browser / ブラウザ内 |
| Best for / 向く場面 | many factors / 因子が多い | few factors, exhaustive / 少因子・網羅 |
Open a sample / サンプルを開く¶
Samples load via a ?file=<url> parameter. Each content example is available in
both English and Japanese / 各例題は英語版・日本語版の両方があります:
- Shopping site / ショッピング — a mask level (
_MASK_) + several constraints — EN · JA - Multifunction printer / 複合機（とじしろ） — binding-margin geometry: valid gutters depend on orientation × duplex — EN · JA
- Copier N-up & zoom / 複合機（N-up・倍率） — when a hidden control needs a
_MASK_level, and when a locked field is just a fixed value — EN · JA - Admission fee / 入館料 — a decision table: inputs determine the fee, enforced by constraints (the fee is an expected-result factor) — EN · JA
- Browsers / ブラウザ — small pairwise model — EN · JA
- Scale fixtures (synthetic, language-neutral / 言語非依存) — 50 factors · 100 factors
Sibling tools / 姉妹ツール¶
NeoCombi has a sibling test-design tool, NeoCEG (cause-effect graphs). Both are deterministic converters with no embedded AI.