البناء والاختبار والتصحيح المنهجي

#include <iostream>
#include <stdexcept>
int batches(int count, int width) {
    if (count < 0 || width <= 0) { throw std::invalid_argument("invalid batch input"); }
    return count / width + (count % width != 0);
}
int main() {
    if (batches(0, 4) != 0 || batches(8, 4) != 2 || batches(9, 4) != 3) { return 1; }
    bool rejected{false};
    try { (void)batches(2, 0); }
    catch (const std::invalid_argument&) { rejected = true; }
    if (!rejected) { return 1; }
    std::cout << "4 cases passed\n";
}

4 cases passed

تُفحص ثلاث نتائج وحالة رفض. تعيد أي مخالفة حالة فشل للعملية قبل رسالة النجاح.

#include <algorithm>
#include <iostream>
#include <vector>
bool contains(const std::vector<int>& sorted, int target) {
    const auto position = std::lower_bound(sorted.begin(), sorted.end(), target);
    return position != sorted.end() && *position == target;
}
int main() {
    const std::vector<int> values{2, 5, 8};
    if (contains(values, 6) || !contains(values, 5) || contains({}, 1)) { return 1; }
    std::cout << "3 searches passed\n";
}

3 searches passed

تغطي قيمة داخلية مفقودة وقيمة موجودة ونطاق فارغ فروعًا مختلفة دون فك مرجع end. يقدّم المستدعي إدخالًا مرتبًا.