• KIISE Transactions on Computing Practices
• /
• v.22 no.8
• /
• pp.393-398
• /
• 2016

Collective Adaptive System is an adaptive multi-agent system which accomplishes its goal by collaborating various agents. Because the collective property of the Collective Adaptive System is accomplished by the goal of the system being based on collaboration, testing the goal accomplishment and their interactions among heterogeneous agents is important. This paper presents a feasibility study of applying a model-based testing approach using task-based test model to a Collective Adaptive System. This paper describes additional information to be applied for Collective Adaptive System for future studies. To analyze our approach, we applied the proposed approach to a smart home system as a case study; our results indicated that we can systematically derive test cases to check whether the Collective Adaptive System successfully achieved its goals by modifying and extending the existing task model.

• Journal of Information Processing Systems
• /
• v.14 no.3
• /
• pp.607-620
• /
• 2018

The problem surrounding methods of implementing the software testing process has come under the spotlight in recent times. However, as compliance with the software testing process does not necessarily bring with it immediate economic benefits, IT companies need to pursue more aggressive efforts to improve the process, and the software industry needs to makes every effort to improve the software testing process by evaluating the Test Maturity Model integration (TMMi). Furthermore, as the software test process is only at the initial level, high-quality software cannot be guaranteed. This paper applies TMMi model to Automobile control software testing process, including test policy and strategy, test planning, test monitoring and control, test design and execution, and test environment goal. The results suggest improvement of the automobile control software testing process based on Test maturity model. As a result, this study suggest IT organization's test process improve method.

• Journal of Information Technology Services
• /
• v.8 no.3
• /
• pp.159-169
• /
• 2009

The issue of method of software testing process implementation has recently been in the spotlight in korea and some vendor make every effort to improve the software testing process through the evaluation of TMMi. The level of software process is at initial level, nevertheless, so the high quality of software is not guaranteed. This paper apply to the TMMi Level2 Assessment criteria of Automobile control software testing process. The test policy and strategy, test planning, test monitoring and control, test design and execution, test environment goal. The result need to emerge development process connection on the test policy and strategy process, test planning process etc. Also, the study analyzed the infra structure to reach the repeated level via key process area. As the result the process implementation in organization suggests the policy development and the implementation activity. Finally, the practical can refer to this paper in order to implementation the software testing process.

• Proceedings of the KSR Conference
• /
• 1998.05a
• /
• pp.408-418
• /
• 1998

This paper presents the implementation of comparator which is self-testing with respect to the faults caused by any single physical defect likely to occur in NMOS and CMOS integrated circuit. The goal is to use it for the fault-tolerant system. First, a new fault model for PLA(Programmable Logic Array) is presented. This model reflects several physical defects in VLSI circuits. It focuses on the designs based on PLA because VLSI chips are far too complex to allow detailed analysis of all the possible physical defects that can occur and of the effects on the operation of the circuit. Second, this paper shows that these design, which has been implemented with 2 level AND-ORor NOR-NOR circuit, are optimal in term of size. And it also presents a formal proof that a comparator implemented using NOR-NOR PLA, based on these design, is sol f-testing with respect to most single faults in the presented fault model. Finally, it discusses the application of the self-testing comparator as a building block for the implementation of the fault-tolerant system.

• Journal of Korea Multimedia Society
• /
• v.5 no.6
• /
• pp.638-645
• /
• 2002

One of the potential advantages of computer-based instruction is individualization of instruction. However, this goal has not been fully realized in practice, due largely to limitations of natural language understanding and to combinatorial explosion. It is nonetheless possible to develop CAT(Computer- based Adaptive Testing) Programs which can adapt to students, depending on their performance, by adjusting the length of computer-based tests. The number of questions can be significantly reduced for many individuals, while mastery and nonmastery decisions remain highly accurate. In this paper, We design and implement a Diagnosis System using SPRT(Sequential Probability Ratio Testing). This system supports multimedia object, client/server environment, indvidual feedback, multi-SPRT and maintain student model for individualization of instruction. besides, this system measures coefficient alpha of each problem.

• Journal of Korea Multimedia Society
• /
• v.20 no.8
• /
• pp.1338-1346
• /
• 2017

To achieve software quality and human-centred design for electronic ship navigation called e-navigation, an international guideline of software quality assurance and human-centred design was approved in 2015. Usability is a common goal of both software quality assurance and human-centred design as developing e-navigation system and software developments. Therefore, research is needed to evaluate the usability of e-navigation systems and software such as metrics that can use usability testing. This paper derives effectiveness metrics for e-Navigation usability testing based on international standards. The research method is to analyses and compares the effectiveness measurement and metrics in ISO 9241-11 for human-centered design and ISO/IEC 25022 and 25023 for software quality to find out measurements and metrics being defined commonly. The derived metrics are applied to Electronic Chart Display and Information System as a case study based on performance standard.

• KIPS Transactions on Software and Data Engineering
• /
• v.2 no.11
• /
• pp.765-778
• /
• 2013

This paper proposes a test case generation method for Stateflow model using the extended RRT method. The RRT method which has been popularly used for planning paths for complex systems also shows a good performance for test case generation. However, it does not consider the test coverage which is important for test case generation. The proposed extension method hires the concept of test goal achievement to increase test coverage and drives RRT extension in the direction that increases the goal achievement. Considering the concept, a RRT distance metric, random node generation method and modified RRT extension algorithm are proposed. The effectiveness of proposed algorithm is compared with that of the typical RRT algorithm through the experiment using the practical automotive ECUs.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2003.09a
• /
• pp.435-438
• /
• 2003

A townscape has been a main factor in urban-development problems in Japan. In the townscape, keeping harmony with environment is a common goal. But useful and meaningful goals are expressing individuality and impression of the town in the townscape. In this paper, we propose the colony planning support system system to improve the townscape. The system finds propositional colour combinations based on three elements, town image, colour harmony, and cost. The targets of this model are mostly townscapes in residential areas that already exist, In this paper, we introduce the construction of a Kansei evaluation model to quantify the impression. First, we conducted computer-based evaluational experiments for 20 subjects using the SD method to clarify the relationship between town image and street colours. We chose 16 adjective words related to town image and prepared 100 colour picture samples for the evaluation. After the experiments, we constructed the model using a neural network for each word. We chose 62 experimental results for the training data of the neural network and 20 results for the testing data. Each colour in the data was selected to have unique hue, brightness or saturation attributes, After the construction, we tested the model for accuracy. We input the testing data into the constructed model and calculated errors between the output from the model and the experimental results. Testing of the model showed that the model worked well for more than 80％ of the samples. The model demonstrated influences of colours on the town image.

• East Asian mathematical journal
• /
• v.34 no.2
• /
• pp.103-125
• /
• 2018

This study was conducted as a part of the project to evaluate the quality of mathematics instruction in the national curriculum system. The purpose of this study is to measure the consistency between teaching goals of mathematics curriculum, contents presentation of textbooks, and testing including adequacy of each element in mathematics instruction for 8th grade. To do this, we used MIQP (instructional quality profile for Mathematics) developed basing on the instructional quality profile (IQP) in the previous research of the project. First, the quality of textbooks' content presentation for 8th grade was found that the desirable levels in number and operation area and geometric area was relatively less compared to other areas, but it was generally good. Second, it was found that the quality of mathematics testing for 8th grade was good in terms of consistency with the curriculum's teaching goals, consistency with the content presentation of textbooks, and adequacy of testing. However, regional differences in the quality of testing showed that there were some deficiencies in regions outside the metropolitan.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.8
• /
• pp.2091-2101
• /
• 1998

Interoperability(lOP) is one of the major goal of Information Technology and Telecommunication fields. In this paper, we discuss dcvclOlJing an interoperabiiity testing(IOPT) method. As is easily gueOisecl from conformance testing and formal verification. state space explosion problem is the most serious problem we encounter in deriving interoperability test method and its test suite. A new state space reduction method to support interoperability testing is suggested based on Petri nets. The proposed test method can be applied to 1 to many communication protocols as well as 1 to 1 communication protocols efficiently