• 경영과학
• /
• 제20권2호
• /
• pp.179-196
• /
• 2003

Function point model is the international standard method to measure the software size which is one of the most important factors to determine the software development cost. Function point model can successfully be applied only when the detailed specification of users' requirements is available. In the domestic public sector, however, the budgeting for software projects is carried out before the requirements of softwares ere specified in detail. Therefore, an efficient function point estimation method is required to apply function point model at the early stage of software development projects. The purpose of this paper is to compare various function point estimation methods and analyse their accuracies in domestic software projects. We consider four methods : NESMA model, ISBSG model, the simplified function point model and the backfiring method. The methods are applied to about one hundred of domestic projects, and their estimation errors are compared. The results can used as a criterion to select an adequate estimation model for function point counts.

• 정보처리학회논문지D
• /
• 제11D권7호
• /
• pp.1459-1466
• /
• 2004

소프트웨어 응용 분야의 확대로 인해, 소프트웨어는 더 크고, 더 복잡해지고 있다. 게다가 개발 기간의 단축 및 비용의 절감${\cdot}$품질의 향상 또한 요구되고 있다. 이러한 요구를 충족시키기 위해 여러 효율적인 방법이 제안되었고, 구현되었다. 대표적으로 프로세스 개선과 객체지향 개발, 요구공학, 소프트웨어 메트릭스 등이 있다. 이러한 수많은 방법 중에서 요구공학은 고품질의 소프트웨어 개발의 기반이 된다. 즉, 고품질의 소프트웨어를 개발하기 위해서는 먼저 요구를 획득하고, 기술하여야 하며, 이에 대한 검증과 관리를 통해 요구사양서의 품질을 향상시켜 가야 한다. 본 논문에서는 IEEE Std-830-1998의 좋은 요구사양서가 가져야 할 특성을 중심으로, 요구사양서에 기술된 내용 자체를 정량적으로 품질 평가할 수 있는 메트릭스를 제안하였다.

• 한국군사과학기술학회지
• /
• 제23권4호
• /
• pp.389-398
• /
• 2020

Test cases in the existing weapon system software were created manually by the tester analyzing the test items defined in the software integration test procedure. However, existing test case generation method has two limitations. First, the quality of test cases can vary depending on the tester's ability to analyze the test items. Second, excessive time and cost may be incurred in writing test cases. This paper proposes a method to automatically generate test cases based on the requirements model and specifications to overcome the limitations of the existing weapon system software test case generation. Generate test sequences and test data based on the use case event model, a model representing the requirements of the weapon system software, and the use case specification specifying the requirements. The proposed method was applied to 8 target models constituting the avionics control system, producing 30 test sequences and 8 test data.

• 한국신뢰성학회지:신뢰성응용연구
• /
• 제16권3호
• /
• pp.216-223
• /
• 2016

Purpose: This paper suggests the procedure to enhance the reliability of the software of the medical device that is to cure, treat, diagnose, and prevent a disease or an abnormal health conditions. Methods: After test requirements are classified by the software requirements specification for safety and backgrounds, reliability assessment methods are suggested. Results: Verification and validation for function and safety can be performed whether the medical device software are implemented as intended. Conclusion: Procedure on the static analysis, unit test, integration test, and system test are provided for the medical device software.

• 정보과학회 논문지
• /
• 제44권9호
• /
• pp.893-907
• /
• 2017

안전 필수 시스템에서 소프트웨어 결함은 심각한 결과를 초래하므로, 개발의 첫 단계인 요구사항 명세부터 안전성을 고려해야한다. 자연어로 작성된 요구사항은 여러 이해관계자들에게서 도출되어 모호함과 부정확성에 의한 결함을 갖고 있어도 검출하기 어렵다. 이러한 문제를 해결하기 위해 표준문안과 GSN 모델을 이용한 요구사항 명세방법을 제안한다. 표준문안은 선 정의된 서식에 맞춰 요구사항을 작성하는 준-정형 언어로, 표준문안에 맞춰 요구사항을 작성하면 표현의 일관성을 갖기 때문에 이해관계자들이 요구사항이 의미하는 바에 대한 모호함을 방지하여 요구사항의 정확한 의미를 정의하는데 도움이 된다. GSN은 시스템이 안전하다는 것을 관련기관에 증명하기 위한 Safety Case 작성에서 적합성을 인정받고 있는 표기법으로 기능목표, Safety Evidence 등을 표현한다. 본 연구에서는 안전 필수 시스템의 요구사항을 명세하기에 적합하도록 설계된 표준문안과 GSN 모델을 이용하여 요구사항 명세단계에서부터 결함을 쉽게 식별하고, Safety Evidence와의 연결을 통해 안전적합성을 증명할 수 있다. 또한 이 과정에서 발견된 요구사항의 결함을 수정하여 안전성 있는 소프트웨어를 개발할 수 있다.

• 전기학회논문지P
• /
• 제57권2호
• /
• pp.65-71
• /
• 2008

Recently, many critical control systems are developed using formal methods. When software applied to such systems is developed, the employment of formal methods in the software requirements specification and verification will provide increased. assurance for such applications. Earlier error of overlooked requirement specification can be detected using formal specification method. Also the testing and full verification to examine all reachable states using model checking to undertake formal verification are able to be completed. In this paper, we propose an eclectic approach to incorporate Z(Zed) formal language and 'Statemate MAGNUM' which is formal method tools using Statechart for applying to the railway signaling systems.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제10권3호
• /
• pp.1404-1415
• /
• 2016

Because of the properties of software such as invisibility, complexity, and changeability, software configuration management (SCM) for software artifacts generated during software life-cycle has been used for guarantee of the quality of the software. However, the existing SCM system has only focused on code artifacts and software development document artifacts such as Software Requirements Specification (SRS), Software Design Description (SDD), and Software Test Description (STD). Moreover, software research-oriented project comes out late the code artifacts and the software development document artifacts. Therefore, there is a need for trace and management of software research document artifacts composed of highly abstracted non-functional requirements like 'the purpose of the project', 'the objectives', and 'the progress' before generation of the code artifacts and the software development document artifacts for a long time. Nevertheless, the existing SCM system cannot trace and manage them. In this paper, we propose content-based configuration management system comprised of the relevance link generation phase and content-based testing phase to trace and manage them. The preliminary application results show applicability and feasibility of the proposed system.

• 한국산업정보학회논문지
• /
• 제7권5호
• /
• pp.96-102
• /
• 2002

소프트웨어 시스템의 크기와 복잡도가 커짐에 따라서 전체적인 시스템 구조에 관한 디자인과 명세는 알고리즘의 선택과 데이터 구조의 계산보다 더욱 중요한 이슈로 나타나고 있다. 아키텍쳐 설계 단계에서는 시스템의 전체적인 제어 구조ㆍ통신ㆍ동기화ㆍ데이터 엑세스를 위한 프로토콜 등을 표현하는 것을 포함한다. 본 논문에서는 소프트웨어 아키텍쳐를 표현하기 위해 현재 연구되고 있는 소프트웨어 아키텍쳐 기술 방식을 비교 분석한 후, 전통적인 아키텍쳐로부터 어떻게 소프트웨어 아키텍쳐를 기술할 것인지에 관한 방법을 제시하고, 이러한 과정을 통해 아키텍쳐 기술 언어()ADL)가 갖추어야 할 특성에 대하여 살펴본다. 결과적으로 우리는 기존의 접근이 왜 소프트웨어 아키텍쳐 기술에 불만족스러운 보이고, 새로운 아키텍쳐 기술 언어의 필요성을 제시함과 동시에 소프트웨어 아키텍쳐 기술 언어가 갖추어야 할 요건을 제시하고자 한다.

• 전자공학회논문지A
• /
• 제33A권4호
• /
• pp.47-56
• /
• 1996

For the implementation of callcontrol software, it will be shown how to divide problems into dimain and also presents methodologies to specify domains according to the object-orented analysis techniques. Domains is specified by the set of related objects as shown in call control examples. Events and conditons are able to be transformed into system invariant so that is possible to figure out the relationship between domains and those concludes that the software requirements specification can be established for the design and implementation. Relationships existing between domains can be formalized so as to verify software requirements.

• 대한임베디드공학회논문지
• /
• 제6권6호
• /
• pp.361-367
• /
• 2011

In this paper, we propose an interactive embedded system framework for efficient training management in u-health environment. First, we analyzed various requirements of smart training systems for quality of life. We also analyzed the oversea trends and positive effects of the embedded system in terms of both technical and economical factors. Second, we proposed detailed design specification for embedded hardware implementation. Third, we developed effective OS(Operating System) specification for the embedded hardware. Finally, we developed a training scenario and embedded applications such as training control software and analysis software for the smart training systems.