Files
Aislo/resources/tester/test_b08_formula.py
T
eomsangdonandClaude Opus 5 197728d6c9 feat(b08): 구조물도 식 풀이기 — TS 한 벌을 화면·서버 Node 가 같이 씀
- 명세 13장 식 언어(사칙·^·비교·SQRT·MIN·MAX·SUM·IF·LOOKUP 근사/EXACT)를 직접 짠 파서로 풂
- 수는 BigInt 분수로 들고 적힌 차례대로 풂 — 부동소수 버림·반올림 1 틀어짐 막음
- 줄마다 반올림 floor·round(사사오입)·ceil·none·round_half_even, refs 는 앞 줄만
- 서버는 build:formula 번들을 Node 로 부름(B06 Server_Calc 본), 파이썬은 껍데기뿐
- 시험 15건 — 실무 찰쌓기 탭 12줄 엑셀 캐시값 재현 포함

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_016VBGFXB9AbJBwXP19z75Qq
2026-09-13 16:46:54 +09:00

258 lines
11 KiB
Python

"""구조물도 식 풀이기 — 명세 13장 언어·반올림·참조를 **서버 Node 경로 그대로** 시험 (2026-09-13).
풀이는 `B08_Quantity_Formula.ts` 한 벌이고(판정 Ⓐ), 서버는 그것을 Node 로 돌림.
그래서 이 시험도 파이썬 껍데기(`evaluate_sheets`) → Node 번들 길로 부름 — 화면과 서버가
같은 코드를 쓰는지까지 한 번에 잼.
⭐ 기준값 하나는 **실무 엑셀 캐시값** — 소광리 `07-구조도-소광리.xlsx` 「돌기슭막이(45)찰-고1.0」
U20~U31 11줄(2026-09-13 openpyxl 로 읽음). 식을 셀 그대로 옮겨 같은 값이 나오는지 봄.
⚠ 부동소수로 풀면 틀리는 자리를 일부러 넣음 — `ROUND(0.95*0.3,2)`(부동소수 0.28499… → 0.28)·
`0.29*100` 버림(28.999… → 28). 분수로 풀어야 엑셀·실무 값과 맞음.
"""
from __future__ import annotations
import shutil
import sys
from pathlib import Path
import pytest
ROOT = Path(__file__).resolve().parents[2]
sys.path.insert(0, str(ROOT))
from B08_Quantity.B08_Quantity_Engine_Formula import evaluate_sheets # noqa: E402
pytestmark = pytest.mark.skipif(shutil.which("node") is None, reason="node 가 없음")
def _solve(rows: list[dict], vars: dict | None = None, tables: dict | None = None) -> list[dict]:
result = evaluate_sheets([{"rows": rows, "vars": vars or {}, "tables": tables or {}}])
assert result is not None, "Node 풀이가 안 돌았다"
return result[0]
def _one(formula: str, rounding: dict | None = None, **vars) -> dict:
return _solve([{"seq": 1, "name": "x", "formula": formula, "rounding": rounding}], vars)[0]
def _amount(formula: str, rounding: dict | None = None, **vars) -> str:
row = _one(formula, rounding, **vars)
assert row["error"] is None, row
return row["amount"]
def test_적힌_차례대로_풂() -> None:
"""명세 13장 지킬 것 ① — 접지 않음. 적힌 상수는 적힌 대로."""
assert _amount("267360*5/24") == "55700"
assert _amount("267360*0.20833") == "55699.1088"
def test_우선순위는_엑셀과_같다() -> None:
assert _amount("2+3*4") == "14"
assert _amount("10-2-3") == "5"
assert _amount("8/2/2") == "2"
assert _amount("2^3^2") == "64" # 엑셀은 왼쪽부터
assert _amount("-2^2") == "4" # 엑셀은 부호가 ^ 보다 먼저
assert _amount("(1+2)*3") == "9"
def test_부동소수_함정을_안_밟는다() -> None:
assert _amount("0.29*100", {"mode": "floor", "digits": 0}) == "29"
assert _amount("1.15*100", {"mode": "floor", "digits": 0}) == "115"
assert _amount("0.95*0.3", {"mode": "round", "digits": 2}) == "0.29"
def test_반올림_갈래() -> None:
assert _amount("2.675", {"mode": "round", "digits": 2}) == "2.68" # 사사오입
assert _amount("-2.5", {"mode": "round", "digits": 0}) == "-3" # 0 에서 먼 쪽(엑셀 ROUND)
assert _amount("2.665", {"mode": "round_half_even", "digits": 2}) == "2.66"
assert _amount("2.675", {"mode": "round_half_even", "digits": 2}) == "2.68"
assert _amount("0.121", {"mode": "ceil", "digits": 2}) == "0.13"
assert _amount("2.61*0.15", {"mode": "floor", "digits": 2}) == "0.39"
assert _amount("1234", {"mode": "round", "digits": -2}) == "1200"
row = _one("1/3", {"mode": "none", "digits": 0})
assert row["amount"] == "0." + "3" * 30
def test_함수() -> None:
assert _amount("2*1*SQRT(1+0.3^2)", {"mode": "round", "digits": 3}) == "2.088"
assert _amount("SQRT(2.25)") == "1.5"
assert _amount("SUM(1,2,3.5)") == "6.5"
assert _amount("MIN(3,1,2)") == "1"
assert _amount("MAX(3,1,2)") == "3"
def test_IF_와_비교() -> None:
= "IF(L3=35,0.12,IF(L3=45,0.15,0.18))"
assert _amount(, L3=45) == "0.15"
assert _amount(, L3=55) == "0.18"
assert _amount("IF(돌종류='야면석',0.15,0.2)", 돌종류="야면석") == "0.15"
assert _amount("IF(L3<>45,1,2)", L3=45) == "2"
assert _amount("IF(L3>=45,1,2)", L3=45) == "1"
# 안 고른 갈래는 풀지 않음 — 0 으로 나누는 갈래가 줄을 막지 않게.
assert _amount("IF(1=1,5,1/0)") == "5"
뒷길이표 = {
"뒷길이표": {
"keys": [35, 45, 55, 60],
"columns": {"고임돌": [0.12, 0.15, 0.18, 0.2], "빈칸": [0.1, None, 0.2, 0.3]},
}
}
def _lookup(formula: str, **vars) -> dict:
return _solve([{"seq": 1, "name": "x", "formula": formula}], vars, 뒷길이표)[0]
def test_LOOKUP_은_근사_일치가_기본() -> None:
"""엑셀 `VLOOKUP(…,1)` — 키 이하 중 가장 큰 줄(실무 13건 전부 근사)."""
assert _lookup("LOOKUP(뒷길이표, L3, '고임돌')", L3=45)["amount"] == "0.15"
assert _lookup("LOOKUP(뒷길이표, L3, '고임돌')", L3=50)["amount"] == "0.15"
assert _lookup("LOOKUP(뒷길이표, L3, '고임돌')", L3=100)["amount"] == "0.2"
assert "못 찾음" in _lookup("LOOKUP(뒷길이표, L3, '고임돌')", L3=30)["error"]
def test_LOOKUP_EXACT_와_빈칸() -> None:
assert _lookup("LOOKUP_EXACT(뒷길이표, L3, '고임돌')", L3=55)["amount"] == "0.18"
assert "못 찾음" in _lookup("LOOKUP_EXACT(뒷길이표, L3, '고임돌')", L3=50)["error"]
# 원문 「-」 칸은 값이 아니라 오류 — 0 으로 때우지 않음.
assert "비어 있음" in _lookup("LOOKUP(뒷길이표, L3, '빈칸')", L3=45)["error"]
assert "없는 열" in _lookup("LOOKUP(뒷길이표, L3, '없는열')", L3=45)["error"]
def test_표_키가_오름차순이_아니면_오류() -> None:
tables = {"표": {"keys": [45, 35], "columns": {"a": [1, 2]}}}
row = _solve([{"seq": 1, "name": "x", "formula": "LOOKUP(표, 40, 'a')"}], {}, tables)[0]
assert "오름차순" in row["error"]
def test_앞_줄만_참조한다() -> None:
rows = [
{"seq": 1, "name": "면적", "formula": "H*L"},
{"seq": 2, "name": "고임돌", "formula": "AREA*0.15", "refs": {"AREA": 1}},
{"seq": 3, "name": "뒷줄", "formula": "X*2", "refs": {"X": 4}},
{"seq": 4, "name": "자기", "formula": "S*2", "refs": {"S": 4}},
]
result = _solve(rows, {"H": 2.5, "L": 10})
assert [row["amount"] for row in result[:2]] == ["25", "3.75"]
assert "앞 줄만" in result[2]["error"]
assert "앞 줄만" in result[3]["error"]
def test_오류_난_줄을_가리키면_막힌다() -> None:
rows = [
{"seq": 1, "name": "나눔", "formula": "1/0"},
{"seq": 2, "name": "뒤", "formula": "A+1", "refs": {"A": 1}},
]
first, second = _solve(rows)
assert "0 으로 나눔" in first["error"] and first["amount"] is None
assert "앞 줄 1" in second["error"] and second["amount"] is None
def test_참조는_반올림_뒤_값을_받는다() -> None:
"""엑셀 셀 참조와 같음 — `INT(…)` 가 든 셀을 가리키면 버린 값이 옴."""
rows = [
{"seq": 1, "name": "a", "formula": "0.456", "rounding": {"mode": "floor", "digits": 2}},
{"seq": 2, "name": "b", "formula": "A*100", "refs": {"A": 1}},
]
result = _solve(rows)
assert result[0]["raw"] == "0.456" and result[0]["amount"] == "0.45"
assert result[1]["amount"] == "45"
def test_고정형과_줄_제원() -> None:
rows = [
{"seq": 1, "name": "박힌값", "amount": "2.088"},
{"seq": 2, "name": "빈", "formula": ""},
{"seq": 3, "name": "줄이이김", "formula": "K", "vars": {"K": 7}},
]
result = _solve(rows, {"K": 3})
assert result[0]["amount"] == "2.088"
assert "식도 값도 없음" in result[1]["error"]
assert result[2]["amount"] == "7"
def test_모르는_이름_함수_글자는_오류() -> None:
assert "모르는 이름" in _one("constructor")["error"]
assert "모르는 함수" in _one("EVAL(1)")["error"]
assert "읽을 수 없는 글자" in _one("1;2")["error"]
assert "따옴표" in _one("'abc")["error"]
assert (
"같은 차례"
in _solve(
[{"seq": 1, "name": "a", "formula": "1"}, {"seq": 1, "name": "b", "formula": "2"}]
)[1]["error"]
)
def test_실무_찰쌓기_탭을_셀_그대로_재현() -> None:
"""소광리 「돌기슭막이(45)찰-고1.0」 — H=1 · 뒷길이 45 · 1:0.3 · 윗폭 300㎜.
셀 식을 이름만 바꿔 옮김(C5→H, D3→L3, J11→N, L4→TOP_MM). 엑셀 캐시값과 같아야 함.
"""
vars = {"H": 1, "L3": 45, "N": 0.3, "TOP_MM": 300}
rows = [
{"seq": 1, "name": "면적", "formula": "H*1*1.044"},
{"seq": 2, "name": "중량", "formula": "A*0.91", "refs": {"A": 1}},
{
"seq": 3,
"name": "체적",
"formula": "((L3*10+TOP_MM)/1000+(L3*10+H*1000*N)/1000)/2*A",
"refs": {"A": 1},
},
{
"seq": 4,
"name": "고임돌",
"formula": "A*IF(L3=35,0.12,IF(L3=45,0.15,IF(L3=55,0.18,0)))",
"refs": {"A": 1},
"rounding": {"mode": "floor", "digits": 2},
},
{"seq": 5, "name": "석적", "formula": "H*L3/100*0.77"},
{"seq": 6, "name": "막자갈", "formula": "(TOP_MM/1000+H*1000*N/1000)/2*H"},
{
"seq": 7,
"name": "채움콘크리트",
"formula": "A*IF(L3=35,0.16,IF(L3=45,0.2,IF(L3=55,0.25,0)))",
"refs": {"A": 1},
"rounding": {"mode": "floor", "digits": 2},
},
{"seq": 8, "name": "모르터", "formula": "A*0.009", "refs": {"A": 1}},
{"seq": 9, "name": "물구멍", "formula": "A*1/2.5*0.5", "refs": {"A": 1}},
{
"seq": 10,
"name": "터파기",
"formula": "((H*1000*N+L3*10)/1000+0.2)*0.3*1",
"rounding": {"mode": "round", "digits": 2},
},
{
"seq": 11,
"name": "되메우기",
"formula": "(0.2*0.3+(TOP_MM/1000+0.2)*(TOP_MM/1000+0.2)/2)*1",
},
{"seq": 12, "name": "잔토정리", "formula": "T-B", "refs": {"T": 10, "B": 11}},
]
엑셀 = {
"면적": 1.044,
"중량": 0.9500400000000001,
"체적": 0.783,
"고임돌": 0.15,
"석적": 0.34650000000000003,
"막자갈": 0.3,
"채움콘크리트": 0.2,
"모르터": 0.009396,
"물구멍": 0.2088,
"터파기": 0.29,
"되메우기": 0.185,
"잔토정리": 0.10499999999999998,
}
result = {row["name"]: row for row in _solve(rows, vars)}
for name, cached in 엑셀.items():
assert result[name]["error"] is None, result[name]
# 엑셀 캐시는 부동소수 끝자리가 흔들림 — 유효 12자리까지 같으면 같은 값.
assert float(result[name]["amount"]) == pytest.approx(cached, rel=1e-12), name
# 그러나 우리 값은 **흔들림 없는 십진수**다.
assert result["잔토정리"]["amount"] == "0.105"
assert result["석적"]["amount"] == "0.3465"