• Title/Summary/Keyword: Code Coverage

Search Result 103, Processing Time 0.026 seconds

A Study on Quality Assurance of Embedded Software Source Codes for Weapon Systems by Improving the Reliability Test Process (신뢰성 시험 프로세스 개선을 통한 무기체계 내장형 소프트웨어 소스코드 품질확보에 관한 연구)

  • Kwon, Kyeong Yong;Joo, Joon Seok;Kim, Tae Sik;Oh, Jin Woo;Baek, Ji Hyun
    • Journal of KIISE
    • /
    • v.42 no.7
    • /
    • pp.860-867
    • /
    • 2015
  • In the defense field, weapon systems are increasing in importance, as well as the weight of the weapon system embedded software development as an advanced technology. As the development of a network-centric warfare has become important to secure the reliability and quality of embedded software in modern weapons systems in battlefield situations. Also, embedded software problems are transferred to the production stage in the development phase and the problem gives rise to an enormous loss at the national level. Furthermore, development companies have not systematically constructed a software reliability test. This study suggests that approaches about a qualityverification- system establishment of embedded software, based on a variety of source code reliability test verification case analysis.

Association of Lower Socioeconomic Status and SARS-CoV-2 Positivity in Los Angeles, California

  • Allan-Blitz, Lao-Tzu;Goldbeck, Cameron;Hertlein, Fred;Turner, Isaac;Klausner, Jeffrey D.
    • Journal of Preventive Medicine and Public Health
    • /
    • v.54 no.3
    • /
    • pp.161-165
    • /
    • 2021
  • Objectives: Severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) spreads heterogeneously, disproportionately impacting poor and minority communities. The relationship between poverty and race is complex, with a diverse set of structural and systemic factors driving higher rates of poverty among minority populations. The factors that specifically contribute to the disproportionate rates of SARS-CoV-2 infection, however, are not clearly understood. Methods: We evaluated SARS-CoV-2 test results from community-based testing sites in Los Angeles, California, between June and December, 2020. We used tester zip code data to link those results with United States Census report data on average annual household income, rates of healthcare coverage, and employment status by zip code. Results: We analyzed 2 141 127 SARS-CoV-2 test results, of which 245 154 (11.4%) were positive. Multivariable modeling showed a higher likelihood of SARS-CoV-2 test positivity among Hispanic communities than among other races. We found an increased risk for SARS-CoV-2 positivity among individuals from zip codes with an average annual household income

Analytical Study on Software Static/Dynamic Verification Methods for Deriving Enhancement of the Software Reliability Test of Weapon System (무기체계 소프트웨어 신뢰성 시험 개선점 도출을 위한 소프트웨어 정적/동적 검증 분석 사례연구)

  • Park, Jihyun;Choi, Byoungju
    • KIPS Transactions on Software and Data Engineering
    • /
    • v.8 no.7
    • /
    • pp.265-274
    • /
    • 2019
  • The reliability test performed when developing the weapon system software is classified into static test and dynamic test. In static test, checking the coding rules, vulnerabilities and source code metric are performed without executing the software. In dynamic test, its functions are verified by executing the actual software based on requirements and the code coverage is measured. The purpose of this static/dynamic test is to find out defects that exist in the software. However, there still exist defects that can't be detected only by the current reliability test on the weapon system software. In this paper, whether defects that may occur in the software can be detected by static test and dynamic test of the current reliability test on the weapon system is analyzed through experiments. As a result, we provide guidance on improving the reliability test of weapon system software, especially the dynamic test.

Automated Test Data Generation based on Executable Object Codes (실행가능 목적 코드를 기반으로 하는 자동 테스트 데이터 생성)

  • Chung, In-Sang
    • The Journal of the Institute of Internet, Broadcasting and Communication
    • /
    • v.12 no.2
    • /
    • pp.189-197
    • /
    • 2012
  • It is usual for test data generation to be performed using either high-level specifications or source codes written in high-level programming languages. In certain circumstances, however, such information is not always available. This paper presents a technique that generates test data based on executable object codes. The proposed technique makes use of a very simple function minimization technique without sophisticated object code analysis and produces test data dynamically. We have conducted a simple experiment to evaluate the effectiveness of the proposed test data generation technique with a triangle classification program to show that branch coverage can be easily achieved.

"3+3 PROCESS" FOR SAFETY CRITICAL SOFTWARE FOR I&C SYSTEM IN NUCLEAR POWER PLANTS

  • Jung, Jae-Cheon;Chang, Hoon-Sun;Kim, Hang-Bae
    • Nuclear Engineering and Technology
    • /
    • v.41 no.1
    • /
    • pp.91-98
    • /
    • 2009
  • The "3+3 Process" for safety critical software for nuclear power plants' I&C (Instrumentation and Control system) has been developed in this work. The main idea of the "3+3 Process" is both to simplify the software development and safety analysis in three steps to fulfill the requirements of a software safety plan [1]. The "3-Step" software development process consists of formal modeling and simulation, automated code generation and coverage analysis between the model and the generated source codes. The "3-Step" safety analysis consists of HAZOP (hazard and operability analysis), FTA (fault tree analysis), and DV (design validation). Put together, these steps are called the "3+3 Process". This scheme of development and safety analysis minimizes the V&V work while increasing the safety and reliability of the software product. For assessment of this process, validation has been done through prototyping of the SDS (safety shut-down system) #1 for PHWR (Pressurized Heavy Water Reactor).

Device-to-Device Relay Cooperative Transmission Based on Network Coding

  • Wang, Jing;Ouyang, Mingsheng;Liang, Wei;Hou, Jun;Liu, Xiangyang
    • KSII Transactions on Internet and Information Systems (TIIS)
    • /
    • v.11 no.7
    • /
    • pp.3431-3445
    • /
    • 2017
  • Due to the advantages of low transmit power consumption, high spectral efficiency and extended system coverage, Device-to-Device (D2D) communication has drawn explosive attention in wireless communication field. Considering that intra-cell interference caused between cellular signals and D2D signals, in this paper, a network coding-based D2D relay cooperative transmission algorithm is proposed. Under D2D single-hop relay transmission mode, cellular interfering signals can be regarded as useful signals to code with D2D signals at D2D relay node. Using cellular interfering signals and network coded signals, D2D receiver restores the D2D signals to achieve the effect of interference suppression. Theoretical analysis shows that, compared with Amplify-and-forward (AF) mode and Decode-and-forward (DF) mode, the proposed algorithm can dramatically increase the link achievable rate. Furthermore, simulation experiment verifies that by employing the proposed algorithm, the interference signals in D2D communication can be eliminated effectively, and meanwhile the symbol error rate (SER) performance can be improved.

Distributed Space-Time Coded Transmission for Mobile Satellite Communication Using Ancillary Terrestrial Component (ATC를 사용하는 이동위성통신을 위한 분산된 시공간 부호화 전송 방법)

  • Kim, Hui-Uk;Gang, Gun-Seok;An, Do-Seop
    • Journal of Satellite, Information and Communications
    • /
    • v.2 no.1
    • /
    • pp.27-34
    • /
    • 2007
  • A mobile satellite broadcasting service including an ancillary terrestrial component (ATC) takes advantage of the satellite's inherent capability to provide broadcast service over global coverage. We consider the downlink transmission concept using ATC with space=time code (STC) for the mobile satellite communication. We do not regard ATC as simply a repeater but consider it as an antenna for STC. First transmission scenarios for an application of STC are represented. Next, we apply STC in the mobile satellite system including ATC and compare the system performance in the proposed architecture of ATC to that in the conventional structure. The simulation results are compared to the conventional downlink transmission concept for the mobile satellite broadcasting service.

  • PDF

WCDMA Simulator Engine for 3G Wireless Network

  • Rashld Zainol Abidin Abdul;Ramaiah Karamchand Babu Atchitha
    • Journal of The Institute of Information and Telecommunication Facilities Engineering
    • /
    • v.2 no.3
    • /
    • pp.36-47
    • /
    • 2003
  • Wideband Code Division Multiple Access (WCDMA) is one of the air interface techniques proposed for the third generation (3G) mobile communication system. WCDMA was selected because it fulfills the IMT-2000 requirements for higher data rate trans mission, support of multimedia capabilities and other flexible services due to its variable bit rates and larger bandwidth, improved capacity and coverage, efficient power control and support for advanced and improved detector structures. Performance evaluation of 3G wireless network through simulation plays an important role in the design and implementation of the actual system, aiding the wireless system designer by providing them the necessary performance conformance statistics prior to implementation. In accordance with this goal, a simulator engine was developed entirely on a MATLAB platform to emulate the behaviour of the WCDMA air interface for both the uplink and downlink in a real world fading mobile environment. This paper discuss the development of the simulator along with a brief description of its functionalities and user interface. The WCDMA air interface mode focused in this paper is in accordance to the 3GPPs frequency division duplex (FDD) mode and restricted to the physical layer description. Performance results for the selected cases for the downlink, uplink, varying mobile velocity and sampling rates are also provided.

  • PDF

A Study on Relay Enhancing Method of MIL-STD-188-220 using ACK Reply in CNR Network (Ack 응답을 이용한 MIL-STD-188-220의 중계전송 성능향상에 관한 연구)

  • Choi, Young-Min;Sung, Bo Hyon;Youn, Jong Taek;Kim, Young-Ho
    • Journal of the Korea Institute of Military Science and Technology
    • /
    • v.15 no.5
    • /
    • pp.635-642
    • /
    • 2012
  • The Packet radio C2OTM(Command and Control On The Move) for Command, Control and situational awareness in communication environment of current Combat Net Radio Network is required in a relay transmission techniques. This is to assure the reliability of information transfer, and extend Wireless Coverage and overcome Communication obstacles of mountainous terrain. For the reliability of information transmission in tactical environment, Ad hoc Networking is necessary considering communication environment and an appropriate application of error correction. In this study, We propose a on-demand SDR algorithm that is currently being applied the FEC, Golay, Repetition Code. This enhanced relay transfer uses Ack Reply in tactical operating environment of MIL-STD-188-220 Protocol.

Broadcast Packet Data Transmission for OFDM-based Mobile Cellular Networks (OFDM 기반 이동 셀룰러 망에서의 브로드캐스트 패킷 데이터 전송)

  • Kang Sung-Kyo;Kim Yun-Hee;Kwon Jae-Kyun
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • v.31 no.6A
    • /
    • pp.556-562
    • /
    • 2006
  • In this paper, macro diversity coding methods are proposed to efficiently transmit broadcast packet data over mobile cellular networks based on OFDM. In the method, cells are divided into multiple cell groups which transmit one of two orthogonal branches in a transmit diversity code. Furthermore, a coded packet is partitioned into the subblocks for which different cell group combinations are assigned to transmit two different branches. The methods extend the cell coverage at the same transmit power due to the transmit diversity of each symbol and coding diversity obtained through different fading statistics over the subblocks.