Date : Feb 6 ~ 7, 2016
Venue : Pullman Sydney Hyde Park
- Research on Functional Component Extraction in Embedded System Reconstruction
LIU Tie-ming, JIANG Lie-hui, CHEN Shu-min and HE Hong-qi, State Key Laboratory of Mathematical Engineering and Advanced Computing, China
ABSTRACTAimed at the inaccuracy and low reuse rate of functional component extraction in embedded systems reconstruction, a procedure suitable for embedded system functional component extraction is presented in this paper. This procedure based on the latest research findings in the component model domain, a component model is established conforming to the characteristics of embedded systems combined with practical experience, and a formal description of the model is given. According to the component model, firmware code functional component is implemented and extracted layer by layer using cluster analysis method based on coupling measurement. Functional component verification method is proposed based on model verification. By contrast experiment, this method greatly improves the accuracy of functional component extraction in embedded systems reconstruction, and enhances the reusability of original system.
- Using Concurrent Programming to Improve Assertions Processing
Ali M. Alakeel, University of Tabuk, Saudi Arabia
ABSTRACTAlthough Assertion-Based software testing is a promising approach, one of the main concerns to the applicability of this form of testing is the amount of search time required to explore a large number of assertions. For industry-size programs, it is expected that the number of assertions may be very large, therefore, it is imperative to search for some solutions to speed up the process of assertions processing. This paper presents a new approach for assertion processing for which concurrent programming methods are utilized to improve the time required for assertion processing. Our initial extermination with the proposed approach shows that using concurrent programming methods may reduce the time required to explore a large number of assertions during the process of Assertion-Based software testing. Hence, making Assertion-Based software testing more efficient.
- Visualization of Software Projects Test Results
Ahmed Fawzi Otoom, Maen Hammad, Faculty of Prince Al-Hussein Bin Abdullah II for Information Technology The Hashemite University, Zarqa, Jordan
ABSTRACTThe key benefit of software visualization is to help in program understanding and in reducing the complexity of software systems. Test cases are essential artifacts to perform testing activities. There is large number of test cases to cover different aspects of the code. This paper proposes a visualization approach to represent test cases and their relationship to object oriented software systems. The proposed visualization help testers and program managers to get a clear and quick understanding about the test case, tested code and the result of testing. The proposed visualization represents test cases and source code at different views; method view, class view, package view and system view. The test cases are colored according to their execution results. The inputs of our approach include the source code and the generated test cases. We applied the proposed approach on Java code programs to illustrate the benefits of the views and the results proved very useful.
- Develop Quality Characteristics based Quality Evaluation Process for Ready to use Software Products
Daiju Kato1 and Hiroshi Ishikawa2, 1WingArc1st Inc., Japan, 2Tokyo Metropolitan University, Tokyo, Japan
ABSTRACTThe users who use ready to use software products had better getting the products°« quality information with classified by some kind of global standard metrics or technique for their evaluation. But many of those software products°« companies don°«t provide the quality information because of the products are developed by their own development and evaluation process. But those users want to get quality information to reduce evaluation cost. Therefore, we develop our quality evaluation process with using quality characteristics of software external quality model on ISO/IEC 9126-1 for our software products. This evaluation process has feature of unsynchronized quality evaluation process toward development process. Also, the process starts from definition of classified quality requirement based on quality sub-characteristics at test planning process to quality analysis at test completion process under software development cycle. We provide precise our products quality data for our users through this evaluation process and the process might be reduced cost of our customers°« evaluation.