• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.2 no.1
• /
• pp.70-77
• /
• 2002

This paper describes a design driven approach to drive intelligent test plan generation based on adaptive use case (3,5). Its foundation is an object-oriented software design approach which partitions design schema into design architecture of functional components called “design component”. A use case software development methodology of adaptive use case approach developed in I.I .T is employed which preserves this unit architecture on through to the actual code structure. Based on the partition design schema produced during the design phase of this methodology, a test plan is generated which includes a set of component and scenario based test. A software metric is introduced which produces an ordering of this set to enhance productivity and both promote and capitalize on test case reusability, This paper contains an application that illustrates the proposed approach.

• Journal of Internet Computing and Services
• /
• v.4 no.6
• /
• pp.1-11
• /
• 2003

This paper is introduced about Design driven testing, for real time system, based on use case approaches, We focuses on a part of an extended use case approach for real time software development, which partitions design schema into layered design component architecture of functional components called "design component", We developed a use case action matrix to contain a collection of related scenarios each describing a specific variant of an executable sequence of use case action units, which reflected the behavioral properties of the real time system design, in this paper, we attempt to apply real time system with design driven testing with test plan metrics which is introduced which produces an ordering of this scenario set to enhance productivity and both promote and capitalize on test case reusability of existing scenarios.scenarios.

• International Journal of Highway Engineering
• /
• v.20 no.3
• /
• pp.39-46
• /
• 2018

PURPOSES: This study is to estimate nondestructive strength equation based on probability for bridges using field test data. METHODS : In this study, a series of the field inspection and the test have been performed on 297 existing bridges, in order to evaluate the bridges, based on the test results of the in-depth inspection, and the estimated strengths by means of the nondestructive strength equations are analyzed and compared with results of the core specimen strengths. RESULTS : According to results of analyses, In case of standard design compressive strength of concrete is 18MPa, 21MPa, similar reliability of RILEM equation were 0.89~0.90, but in case of standard design compressive strength of concrete is 35MPa, 40MPa were 0.4~0.56. According to standard design compressive strength of concrete is 40MPa, similar reliability of ultrasonic pulse velocity method equation were 0.56. CONCLUSIONS :RILEM equation had high similar reliability than other equation in case of standard design compressive strength of concrete is 18MPa, 21MPa, but had low similar reliability than other equation in case of standard design compressive strength of concrete is 35MPa, 40MPa. and ultrasonic pulse velocity method equation had low similar reliability than other equation in case of standard design compressive strength of concrete is 40MPa.

• Journal of KIISE:Software and Applications
• /
• v.34 no.3
• /
• pp.212-218
• /
• 2007

Not enough verification or enough design of test is not performing in many software developments organization as yet. Therefore, defects that can be detected and corrected during the beginning phases of development are usually found during dynamic testing, it is often observed that testing is inefficient compared to effort for testing. This study aims to suggest a method for effective testing through case study. It is useful in case of not verification and not enough design of test in the previous phase than coding. We show in a concrete way major activities that determine prioritization of testing and level of test case design through static testing, i.e. code review and analysis of code quality. And also we show role between test team and development team.

• Journal of Advanced Navigation Technology
• /
• v.27 no.2
• /
• pp.228-234
• /
• 2023

As the increasing demand for high-quality software, there is huge requiring for quality certification of international standards, industrial functional safety (IEC 61508), automotive (ISO 26262), embedded software guidelines for weapon systems, etc., in the industry. Software companies are very difficult to systematically acquire the quality certification in terms of cost and manpower of Startup, venture small-sized companies. For their companies one test case automatic generation is considered as a core technique to evaluate or improve software quality. This paper proposes a test case automatic generation method based on the design decision table for system and software design verification. We apply the proposed method with OMG's standard techniques of metamodel and model transformation for automatically generating test cases. To do this, we design the metamodels of design decision table (Model) and test case document (Text) and define model transformation to automatically generate test cases, which will expect to easily work MC/DC coverage.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04a
• /
• pp.583-585
• /
• 2001

RUP의 Unified Process Model 에는 Use-Case Model, Analysis Model, Design Model, Deployment Model, Implementation Model, Test Model의 6가지 모델이 있다. 이 모델들은 모두 일관성이 있다. 한 모델에서 나오는 요소들은 전, 후 단계에서 다른 모델들과 Trace Dependencies를 갖는다. 예를 들면, Use-Case Model에서는 한 Use Case는 Design Model에서 Use-Case Realization으로 Test Model에서는 Test Case로 Trace Dependencies를 갖는다. 소프트웨어 개발에서 추적성은 Understandability와 Change Propagation 과 같은 이유로 매우 중요하다. 그러나 RUP에서는 각 모델들간의 추적성에 대한 지침이 충분히 제시되어 있지 않아, 개발 과정중에 요구사항의 변경이나 에러 수정 또는 향후 관리 시에 어려움을 겪고 있다. 본 논문에서는 이 점에 중점을 두고 RUP에서 제시하고 있는 모델들 간의 추적성 중 설계모델에서 분석모델로의 추적성 적용지침을 제시한다.

• Journal of IKEEE
• /
• v.19 no.2
• /
• pp.186-192
• /
• 2015

This paper proposes an automatic generation technology of test case based on API in source code for software's quality improvement. The proposed technology is comprised of four processes which are analyzing source code by using the Doxygen open source tool, defining API specification by using analyzed results, creating test design, generating a test case by adapting Pairwise test technology. Analyzing source code by using the Doxygen open source tool is the phase in which API information in source code such as the API name, input parameter and return parameter are extracted. Defined API specification by using analyzed results is the phase where API informations, which is needed to generate test case, are defined as a form of database by SQLite database on the basis of extracted API information. Creating test design is the phase in which the scenario is designed in order to be composed as database by defining threshold of input and return parameters and setting limitations based on the defined API. Generating a test case by adapting Pairwise test technique is the phase where real test cases are created and changed into database by adapting Pairwise technique on the base of test design information. To evaluate the efficiency of proposed technology, the research was conducted by begin compared to specification based test case creation. The result shows wider test coverage which means the more cases were created in the similar duration of time. The reduction of manpower and time for developing products is expected by changing the process of quality improving in software developing from man-powered handwork system into automatic test case generation based on API of source code.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.11
• /
• pp.3070-3076
• /
• 1999

Petri net is one of the effective modeling techniques which analyzes and designs concurrent and asynchronous systems. CPN is an extended Petri net which has color tokens. In this paper, we propose a new test case generation method using CPN. It transforms Estelle Specification into CPN, which is applicable to Design/CPN. It also generates UIO and subtour from OG and descriptor, which are resulted from Design/CPN. Using the proposed method, we can get more improved test coverage than existing methods. Therefore, more effective protocol conformance testing could be conducted. The test case generating method will be the basis of the automatic testing environmented.

• Journal of Advanced Information Technology and Convergence
• /
• v.8 no.2
• /
• pp.111-118
• /
• 2018

Information communication authority module software contains various functions and services. A software test is the only acceptance test step. Recently, however, all development steps have become important. In particular, the software acceptance step is very high, and a study of the effective use of limited time and resources on acceptance step is needed. This study examined the efficiency of the Test Design Technique for Software Test. The proposed Test Design process was applied to the domain systems of info-communication and the degree of improvement was measured. This paper establishes Software Test design process Infrastructure based on the developed software.

• Transactions of Materials Processing
• /
• v.29 no.5
• /
• pp.272-281
• /
• 2020

As the thickness of mobile communication devices is getting thinner, the size of the internal parts is also getting smaller. Among them, the battery case requires a high-level deep drawing technique because it has a rectangular shape with a large aspect ratio. In this study, the initial blank shape was optimized to minimize earing in a multi-stage deep drawing process using an artificial neural network(ANN). There has been no reported case of applying artificial neural network technology to the initial blank optimal design for a square case with large aspect ratio. The training data for ANN were obtained though simulation, and the model reliability was verified by performing comparative study with regression model using random sample test and goodness-of-fit test. Finally, the optimal design of the initial blank shape was performed through the verified ANN model.