다른 언어가 소프트웨어 품질에 미치는 영향에 대한 경험적 연구가 있습니까?

함수형 프로그래밍 언어의 지지자들은 함수형 프로그래밍이 코드에 대해 추론하기가 더 쉽다고 주장합니다. 정적으로 유형이 지정된 언어를 선호하는 사람들은 컴파일러가 유형 시스템의 추가 복잡성을 보완하기에 충분한 오류를 포착한다고 말합니다. 그러나이 주제에서 읽은 모든 것은 경험적 데이터가 아니라 합리적인 논쟁에 근거합니다.

다른 범주의 프로그래밍 언어가 결함률이나 다른 품질 메트릭에 어떤 영향을 미치는지에 대한 경험적 연구가 있습니까?

( 이 질문에 대한 답변 은 적어도 동적 토론과 정적 토론에 대한 연구가 없음을 나타냅니다)

이 주제에 대한 학계 연구가 있습니다. 결론을주의해서 다루어야하지만 내가 아는 몇 가지 예는 다음과 같습니다.

• 정적 및 동적 유형 시스템에 대한 실험 : 개발 시간에 정적 유형 시스템의 긍정적 인 영향에 대한 의문, Stefan Hanenberg. Proc OOPSLA, 2010에서. ACM 링크

• 루비에서의 정적 입력에 대한 실증적 연구, M. Daly, V. Sazawal, J. Foster. Proc PLATEAU, 2010에서. PDF

• 절차 인수 유형 검사, Lutz Prechelt 및 Walter F. Tichy의 이점을 평가하기위한 통제 된 실험. IEEE TSE, 1998. IEEE 링크

다른 논문이있을 것입니다. 그러나 일반적으로이 영역은 명백한 이유 때문에 매우 논란의 여지가 있습니다 --- 객관적인 평가를하기 란 정말 어렵습니다 !!

유명한 연구 중 하나는 Lutz Prechelt입니다. 7 가지 프로그래밍 언어를 실험적으로 비교 한 것입니다. IEEE 컴퓨터 [33 (10) : 23-29], 2000 년 10 월

• 게시 된 버전 (IEEE 컴퓨터 가입 필요)
• 프리 프린트 버전 (무료)

Prechelt는 프로그램 안정성에 대해 설명하고 실행 시간과 메모리 소비도 검사합니다.

코드 품질과는 관련이 없지만 이 연구 에서는 초보자가 다른 언어를 사용하여 학습하는 방법을 살펴 봅니다. 특히, 저자가 비교하고자하는 교수 언어 인 Perl과 Quorum을 배울 때 초보자가 어떻게 요금을 지불하는지 비교합니다. 이 백서에서 정말 멋진 점은 실제로 일종의 "위약"언어로 구문이 무작위로 생성되는 제어 언어를 제공한다는 것입니다. 이 접근 방식은 언어와 코드 품질에 적용되고 언어를 비교할 때 까다로운 혼란 요소 중 일부를 제어하는 ​​데 도움이 될 수 있습니다.