«formal-methods» 태그된 질문

토목 공학과 소프트웨어 공학을 비교할 때, 나는 다른 사고 방식을 관찰하는 것에 놀랐습니다. 모든 토목 기술자는 정원에 작은 오두막을 만들고 싶다면 재료를 얻고 건축하려는 경우 건축을 갈 수 있다는 것을 알고 있습니다 10 층짜리 집 (또는 예를 들어 이와 같은 것 )은 떨어지지 않도록 상당한 수학을해야합니다. 반대로, 일부 프로그래머들과 이야기하거나 …

63 programming-practices  theory  formal-methods 

프로그래밍을 위해 공식적인 방법 (FM)을 사용하도록 훈련을받은 경우 : 얼마나 유용 했습니까? FM 교육에는 무엇이 포함 되었습니까 (예 : 강좌, 책)? 어떤 FM 도구를 사용하십니까? FM을 사용하지 않는 것과 비교하여 속도 / 품질에서 어떤 이점이 있습니까? FM으로 어떤 종류의 소프트웨어를 작성합니까? 그리고 지금 FM을 직접 사용하지 않는다면 최소한 배울 가치가 …

17 code-quality  formal-methods 

폐쇄되었습니다 . 이 질문은 의견 기반 입니다. 현재 답변을받지 않습니다. 이 질문을 개선하고 싶습니까? 이 게시물 을 편집 하여 사실과 인용으로 답변 할 수 있도록 질문을 업데이트하십시오 . 휴일 2 년 전 . 공식적인 메소드를 사용하여 애플리케이션의 코드를 지정, 증명 및 생성 할 수 있습니다. 이것은 오류 발생이 적기 때문에 …

14 development-process  code-quality  formal-methods 

인터넷 검색 "소프트웨어 테스팅 이론"은 단어의 부드러운 의미에서 이론을 제공하는 것 같습니다. 나는 수학적, 정보 이론적 또는 다른 과학 분야의 의미에서 이론으로 분류 할 수있는 것을 찾을 수 없었습니다. 내가 찾고있는 것은 테스트가 무엇인지, 사용 된 개념, 테스트 케이스가 무엇인지, 테스트 가능성, 테스트 실용성, 테스트 대상 범위, 공식 정의 / …

12 testing  math  theory  formal-methods  information-theory 

현재 단위 테스트가없는 대형 코드베이스의 일부를 리팩토링하고 있습니다. 코드를 리팩토링하려고 시도했습니다. 즉, 코드가 수행하는 작업과 변경 사항으로 인해 변경되지 않는 것을 추측하려고 시도했지만 성공하지 못했습니다. 코드베이스 주변의 모든 기능을 임의로 중단합니다. 리팩토링에는 레거시 C # 코드를보다 기능적인 스타일로 이동 (레거시 코드는 LINQ를 포함한 .NET Framework 3 이상의 기능을 사용하지 않음), …

10 unit-testing  refactoring  legacy  formal-methods