WORKS成果物サンプル

本ページのサンプルはすべて架空のシステムです。 実在のお客様の画面名・テーブル名・数値・ロジックは一切含みません(守秘のためサニタイズ済み)。 あくまで「どの深さ・粒度で復元するか」をお見せするための見本です。

実績(匿名)

ある中小企業様にて、ソース非開示・ドキュメント皆無の基幹システム(Delphi + データベース、画面 100枚超)を 全画面解析し、画面・操作・動作・DB・共通基盤までを再実装可能な精度で復元。担当者依存の解消に取り組んでいます。

サンプル① 画面仕様(抜粋)

画面:入金入力(架空) / 内部名 TReceipt_Form / 用途:得意先からの入金を登録・消込する

#種別項目制約備考
1入力(日付)入金日必須・YYYY/MM/DD初期値=当日
2選択(コンボ)得意先マスタ参照・必須得意先マスタから充填
3入力(数値)入金額0以上・桁区切り右寄せ
4ボタン登録操作区分=保守 のとき有効閲覧時は無効

※ 位置・サイズ・フォント・タブ順まで含む完全表で納品します(本欄は抜粋)。

サンプル② 動作仕様(SQL・計算式・トランザクション)

「登録」ボタン押下時(架空)

  • 操作区分([内部フラグ] 通常/閲覧/保守)が 保守 のときのみ実行。それ以外は無反応。
  • BEGIN TRANSACTION → 入金テーブルへ INSERT → 残高テーブルを UPDATECOMMIT(失敗時 ROLLBACK)。
  • 消込後残高 = 前回残高 − 入金額(端数処理:四捨五入、計算式は実機の挙動を逆アセンブルで確定)。
  • 登録者コード・登録日時を自動付与(値はアプリ側で生成。DB トリガは使用していないことを確認)。

※ 実SQLの全文・全JOIN条件・パラメータの出所まで、実行ファイルから直接復元します。

サンプル③ 不変条件 & テストベクトル(完全版)

不変条件(架空)

  • 入金額は常に 0 以上。
  • 登録後、残高テーブルの合計と入金明細の合計が一致する。
  • 閲覧モードでは DB を一切変更しない。

受け入れテスト(架空)

  • TV-01 [正常]保守モードで 1,000 円登録 → 残高が 1,000 減る。
  • TV-02 [異常]閲覧モードで登録押下 → 何も起きない。
  • TV-03 [境界]0 円登録 → 受理/マイナス → 拒否。

完全版では、新システムをそのまま自動で合否判定できるテストまで含めて納品します。 「作り直したものが、旧と同じ振る舞いか」を機械的に確認できます。

TOOLINGこれらの成果物を、何で組み立てているか

調査で出てくる文章・表・図を一つの技術文書へ編み直すために、当社は自前の制作環境 MarkNext を開発しています。表を専用画面で整え、構成図をアプリ内で清書し、 章構成を確定前に組み替え、納品前に図と構造を検査してから PDF・HTML・SVG へ出力する道具です。

制作環境 MarkNext について →

この粒度を、あなたのシステムで。

まずは1〜数画面のお試し調査から始められます。

問い合わせ前の確認事項 →