คำถามติดแท็ก software-engineering

ฉันสงสัยว่ามีการทดลองใด ๆ ที่แสดงการมีอยู่หรือไม่มีความสัมพันธ์ระหว่างการใช้ภาษาแบบไดนามิก (เช่น Python, Ruby หรือแม้แต่ภาษาที่ทำงานบนแพลตฟอร์ม Java เช่น Groovy, Clojure) มากกว่า ภาษาแบบคงที่ (เช่น C / C ++) และความแตกต่างในการผลิต

25 programming-languages  empirical-research  software-engineering 

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

18 computability  undecidability  software-engineering  formal-methods 

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

18 computability  formal-methods  software-engineering  software-verification 

มีหลักฐานบ่งชี้ว่าเวลาที่ใช้ในการเขียนหรือคิดเกี่ยวกับข้อกำหนดจะมีผลต่อเวลาในการพัฒนาหรือไม่? การศึกษาที่ทำโดย Standish (1995) แสดงให้เห็นว่าข้อกำหนดที่ไม่สมบูรณ์บางส่วน (13.1%) มีส่วนทำให้โครงการล้มเหลว มีการศึกษาใดที่แสดงให้เห็นว่าเวลาที่ใช้ในการวิเคราะห์ความต้องการจะมีผลต่อเวลาในการพัฒนาโครงการหรือความสำเร็จของโครงการ

15 software-engineering