No one method or tool can serve all

No one method or tool can serve all
purposes. We need to support all different kinds. From past experience, we
have learned what kinds can have the
most impact. To be attractive to practitioners, methods and tools should satisfy the following criteria. We realize
that some of these criteria are ideals,
but it is still good to strive for them.
—Early payback. Methods and tools
should provide significant benefits almost as soon as people begin to use
them.
—Incremental gain for incremental effort. Benefits should increase as developers get more adept or put more
effort into writing specifications or
using tools.
—Multiple use. It should be possible to
amortize the cost of a method or tool
over many uses. For example, it
should be possible to derive benefits
from a single specification at several
points in a program’s life cycle: in
design analysis, code optimization,
test case generation, and regression
testing.
—Integrated use. Methods and tools
should work in conjunction with each
other and with common programming
languages and techniques. Developers
should not have to “buy into” a new
methodology completely to begin receiving benefits. The use of tools for
formal methods should be integrated
with that of tools for traditional software development, for example, compilers and simulators.
—Ease of use. Tools should be as easy to
use as compilers, and their output
should be as easy to understand.

ผลลัพธ์ (ไทย) 1:

วิธีการหนึ่งวิธีหรือเครื่องมือไม่สามารถให้บริการทั้งหมดวัตถุประสงค์ เราต้องสนับสนุนแตกต่างกันทั้งหมด จากประสบการณ์ที่ผ่านมา เราได้เรียนรู้สิ่งที่ชนิดสามารถมีการผลกระทบมากที่สุด เพื่อให้ผู้สนใจ วิธีการและเครื่องมือควรตามเงื่อนไขต่อไปนี้ เราตระหนักถึงบางส่วนของเงื่อนไขเหล่านี้เป็นอุดมคติแต่ก็ยังดีต้องพยายามให้กันคืนทุนก่อน วิธีการและเครื่องมือควรมีประโยชน์อย่างยิ่งเกือบทันทีที่คนเริ่มใช้พวกเขาคือกำไรส่วนเพิ่มสำหรับความพยายามเพิ่มขึ้น ประโยชน์ควรเพิ่มเป็นนักพัฒนาได้เชี่ยวชาญ หรือใส่เพิ่มเติมความพยายามในการเขียนข้อมูลจำเพาะ หรือใช้เครื่องมือกันใช้หลาย ควรจะสามารถการตัดจำหน่ายต้นทุนของวิธีการหรือเครื่องมือไปใช้ใน ตัวอย่าง มันควรจะสามารถได้รับประโยชน์จากสเปคเดียวที่หลายในวงจรชีวิตของโปรแกรม: ในออกแบบการวิเคราะห์ เพิ่มประสิทธิภาพ รหัสสร้างกรณีทดสอบ และถดถอยทดสอบโดยรวมใช้ วิธีการและเครื่องมือควรทำงานร่วมกับแต่ละและอื่น ๆ พร้อมโปรแกรมทั่วไปภาษาและเทคนิค นักพัฒนาไม่ควรมีการ "ลงใน" ใหม่วิธีการทั้งหมดเริ่มได้รับผลประโยชน์ การใช้เครื่องมือสำหรับควรจะรวมวิธีการทางที่เครื่องมือสำหรับการพัฒนาซอฟต์แวร์แบบดั้งเดิม เช่น คอมไพเลอร์และขณะซึ่งท่านสามารถใช้ เครื่องมือควรจะให้ใช้เป็นคอมไพเลอร์ และผลผลิตของพวกเขาควรจะเข้าใจได้ง่าย

ผลลัพธ์ (ไทย) 3:

ไม่มีหนึ่งวิธีหรือเครื่องมือที่สามารถใช้เพื่อวัตถุประสงค์ทั้งหมด

เราต้องสนับสนุนชนิดที่แตกต่างกันทั้งหมด จากประสบการณ์ที่ผ่านมา เราได้เรียนรู้สิ่งที่ชนิด

จะได้ผลกระทบมากที่สุด ให้น่าสนใจ เพื่อประกอบ วิธีการ เครื่องมือ และควรตรงกับเกณฑ์ต่อไปนี้ เราทราบว่าบางส่วนของเกณฑ์เหล่านี้

มีอุดมการณ์ แต่มัน ก็ ยัง ดี มุ่งมั่นสำหรับพวกเขา .
- ต้นเอาคืน วิธีการและเครื่องมือ
ควรให้สำคัญประโยชน์เกือบจะทันทีที่คนเริ่มที่จะใช้
.
- เพิ่มกำไรเพิ่มความพยายาม ประโยชน์ควรเพิ่มเป็นนักพัฒนาได้รับเพิ่มเติมสีสรรสดใสหรือใส่เพิ่มเติม
ความพยายามในการเขียนข้อมูลหรือการใช้เครื่องมือหลาย ๆ
.
- ใช้ มันควรจะเป็นไปได้ที่จะ
กลับกลอกค่าใช้จ่ายของวิธีการหรือเครื่องมือ
ผ่านการใช้มาก ตัวอย่างเช่นมันเป็นไปได้ที่จะได้รับประโยชน์

จากสเปคเดียวหลาย
จุดในวงจรชีวิตของโครงการ :
การวิเคราะห์การออกแบบรหัส optimization
สร้างกรณีทดสอบ และการทดสอบการถดถอย
.
- ใช้แบบบูรณาการ วิธีการและเครื่องมือ
ควรทำงานร่วมกับแต่ละอื่น ๆและมีการเขียนโปรแกรมภาษา

ทั่วไปและเทคนิค นักพัฒนา
ไม่ควรมีการ " ซื้อใน " วิธีการใหม่อย่างสมบูรณ์เพื่อเริ่มต้น
ได้รับประโยชน์ .การใช้เครื่องมือสำหรับ

วิธีการทางการควรจะบูรณาการกับเครื่องมือสำหรับการพัฒนาซอฟต์แวร์แบบดั้งเดิมเช่น คอมไพเลอร์และ simulators
- ใช้งานง่าย เครื่องมือที่ควรง่าย


ใช้คอมไพเลอร์และผลผลิตของตนเองควรจะง่ายต่อการเข้าใจ