망상공작소 망상공작소

원래 연구실 젠킨스가 git server 설치되어 있어서 문제없이 사용하고 있었는데... 이번에 기존 워크스테이션을 git server로 활용하다보니 젠킨스 서버와 git 서버가 서로 다른 시스템이 되어버렸다. 그래서 연동해본다고 삽질을 하다 결국 해결. 방법은 다음과 같다. 1. ssh 연결이 가능해야 한다.일단 ssh로 연결을 할 수 있어야 한다. 먼저 ssh username@domain_address 로 ssh 연결이 되는지 확인해본다. 2. jenkins user가 비밀번호 없이 공개키를 사용해 로그인이 가능해야 한다.(다른 유저 계정은 상관이 없다.)우리 연구실 jenkins 마스터 사용자는 jira 라는 이름이다. Jenkins 유저로 따로 로그인해 여기서 git 연결을 할 수 있어야 한다.j..

Java Pathfinder 는 NASA Ames 연구소에서 개발한 Java 언어용 모델 검증 도구입니다. Java bytecode를 대상으로 검증합니다. 테스팅이 아닌 모델 검증 도구이므로, 한 번의 실행에 하나의 경로만을 검사하지 않고 모든 가능한 실행 경로를 탐색하여 모델이 검증 속성을 위배하는지 아닌지 검사해줍니다. 그래서 Race Condition처럼 테스팅만으로 알아내기 힘든 부분을 손쉽게 검증할 수 있습니다. 일반적으로 모델 검증은 모델링 언어로 정형 모델을 작성할 것을 요구하는 경우가 많은데 Java 코드를 그대로 사용하는 도구라는 점에서 진입 장벽이 상대적으로 낮다고도 볼 수 있겠습니다. 다만 Java Pathfinder의 경우, 다른 검증 도구인 CBMC나 Spin, BLAST 등에 비..

1. error occurred during unpacking on the remote end: unpack-objects abnormal exit Permission 문제이다. 원격 저장소의 퍼미션 설정을 바꾸어줄 것. 2. push 했음에도 Up to date 메시지 외에 아무런 일이 일어나지 않을 경우git push HEAD:master 로 push할 것.