Java에서 인터페이스에 불변량 추가

Question

저는 프로그래머가 인터페이스에서 불변 조건 (사전 조건 및 사후 조건)을 지정할 수있는 Java 프레임 워크를 만들려고했습니다. 그 목적은 코드를보다 강력하게 만들고 동일한 인터페이스의 여러 구현에 대해 작성해야 할 단위 테스트 수를 줄이는 것입니다.

프로그래머가 작성하는 불변량을 사용하여 메소드에 주석을 추가하는 몇 가지 방법을 만듭니다. E.G.

interface Sort { 
    int [] sort(int [] nums); 
} 

는 모든 구현은 정렬 된 목록을 반환 할 수 있도록 주석 장식 될 것이다. 이 주석은 모든 구현에 대해 컴파일 타임에 실행될 수있는 단위 테스트와 연결됩니다.

이것은 미친 아이디어입니까, 아니면 더 광범위한 프로그래밍 커뮤니티에 유용할까요?

Answer 1

JML과 ESC/Java과 관련이있는 것처럼 들리는데,이 두 가지 기술은 일반적인 기술로 제공되는 것보다 약간의 소프트웨어 품질을 필요로하는 프로젝트에서 합리적으로 널리 채택 된 것으로 나타났습니다.

Answer 2

어떤 위대한 프로그래밍 아이디어가 미친 짓 아니야 !!! 나는 그것이 유용 할 것이라고 생각한다.

Answer 3

Bertrand Meyer의 계약 아이디어 프로그래밍은 대부분 죽었습니다. 그는 에펠에 사전 조건과 사후 조건을 만들었지 만, 그 언어는 사용법에있어서 라틴어 밑에있다.

계약 라이브러리에 의한 Java 프로그래밍이 있습니다. Contractor은 하나입니다. 그러나 그 날은 이미 지나갔습니다. 실은 런타임 비용이 그만한 가치가 없었기 때문에 에펠 (eiffel)조차도 제품을 생산하지 못하게하는 방법이있었습니다.

스택 오버플로에 대한 6 개의 에펠 질문 - 참으로 작은 비율. "계약서"가있는 SO 태그를 검색하면 매우 작은 숫자가 표시됩니다. 이 사이트의 주제에별로 관심이 없습니다. 그것은 세계에서 가장 많은 전문 프로그래머들을 끌어 들이고 있다고 주장합니다.

Answer 4

계약에 의한 디자인은 좋은 아이디어라고 생각합니다. 자바에서 그 기능을 제공하는 프레임 워크를 훑어 보았습니다. 나는 이런 종류의 프레임 워크를 팀에서 구매하는 것이 어려울 수 있다는 점을 다시 생각하게되었습니다. 나는 학문적 관심사로만 인식되는 것이 이상하다고 생각합니다. 실제로 코드 내에 단위 테스트를 포함하는 것과 같습니다.

자바의 주된 논점 인 assert 문은 몇 년 전부터 사용되었지만 거의 사용되지 않습니다. 자주 작성한 코드에서만 사용됩니다. 어설 션을 사용할 때 (특히 단위 테스트와 결합하여) 많은 마일리지가 있으며, 몇 가지 버그를 발견했습니다. 사람들이 사용하지 않는 것이 유감입니다.

건배,

이안.