저는 응용 프로그램 서버와 객체 데이터베이스의 조합 인 a project을 작업 중이며 현재는 단일 시스템에서만 실행 중입니다. 얼마 전에 분산 관계형 데이터베이스를 설명하는 a paper을 읽었고 그 프로젝트의 아이디어를 해당 프로젝트에 적용하여 shared-nothing architecture을 사용하는 클러스터에서 고 가용성 버전을 만들 수있는 아이디
일부 로봇 컨트롤러가 결함 상태에 도달하지 못했다는 것을 증명하는데 관심이 있습니다. 이는 술어 집합으로 정의 할 것입니다. 나는 그것을 달성하기위한 오픈 소스 소프트웨어 도구가 있다는 것을 알고있다. 예를 들어, BLAST (Berkeley Lazy Abstraction Software Verification Tool)에 대해 들어 봤지만, 특정 애플리케
저는 소프트웨어의 모델 일관성을 검사하고 있습니다. 이렇게하려면 UML 2.0 시퀀스 다이어그램에 대한 선형 시간 논리를 작성해야합니다. 어떤 몸이라도 같은 도구를 가지고 있다면 최대한 빨리 응답하십시오. 나는 너에게 아주 의무감을 느낄 것이다. 나는 charmy tool에 동일한 플러그인이 있음을 발견했습니다. 누구든지 매력적인 도구 (CHCHking A
기본적으로 웹 응용 프로그램이 충돌하지 않는지를 테스트/확인하기 위해 무차별 공격을 사용하는 것이 좋습니다. 단위 테스트를 시작하지 말고 IoC 작업을 수행하십시오. 이는 완전히 다른 것입니다. 내가하고있는 일, 그리고 내가 도움을 요청하는 것은 지능적인 철저한 검색을 작성하여 프로그램 상태의 일부를 탐색하는 것입니다. 내가 할 수있는 일, 클릭은 한 가지