An attribute-based framework for secure communications in vehicular ad hoc networks

In this paper, we introduce an attribute-based framework to achieve secure communications in vehicular ad hoc networks (VANETs), which enjoys several advantageous features. The proposed framework employs attribute-based signature (ABS) to achieve message authentication and integrity and protect vehicle privacy, which greatly mitigates the overhead caused by pseudonym/private key change or update in the existing solutions for VANETs based on symmetric key, asymmetric key, and identity-based cryptography and group signature. In addition, we extend a standard ABS scheme with traceability and revocation mechanisms and seamlessly integrate them into the proposed framework to support vehicle traceability and revocation by a trusted authority, and thus, the resulting scheme for vehicular communications does not suffer from the anonymity misuse issue, which has been a challenge for anonymous credential-based vehicular protocols. Finally, we implement the proposed ABS scheme using a rapid prototyping tool called Charm to evaluate its performance

A Framework of Test Case Generation with Software Requirements Ontology

วิทยาศาสตรมหาบัณฑิต (เทคโนโลยีสารสนเทศ), 2565Recently modern society technology is involved in the daily life of all humans. This allows developers to create new concepts and technology designs in order to respond to users’ requirements. Therefore, this causes the system development to become more complex. Consequently, it leads to a high possibility of system errors. Therefore, software testing is an important aspect to guarantee users that the developed system is error-free. In user acceptance and system testing, test cases are normally generated from the software requirements specification (SRS). As the SRS is written in a natural language which has an uncertain structure, it can possibly be ambiguous. As a result, this may cause the wrong interpretation of the requirements and finally it can allow the occurrence of incorrect test case generation. This research proposes a framework of test case generation with software requirements ontology to enhance the reliability of existing verification and validation (V&V) techniques. This framework uses ontology and Control Natural Languages (CNL) to represent the semantics of functional requirements in SRS documents in order to increase the structure of natural language. Furthermore, the effective black-box testing technique, Combination of Equivalence and Classification Tree Method (CCTM), is included in this framework. This testing technique enables test case coverage and reduction compared with other testing techniques. This results in the generated test cases to be more accurate and efficientในยุคปัจจุบันเป็นยุคที่เทคโนโลยีได้เข้ามามีบทบาทในชีวิตประจำวันของมนุษย์โดยสิ้นเชิง ทำให้นักพัฒนาเกิดแนวคิดและออกแบบเทคโนโลยีใหม่ ๆ ขึ้นมามากมายเพื่อตอบสนองความต้องการของผู้ใช้งาน แต่มีหลายครั้งที่ระบบที่ถูกพัฒนาขึ้นมาใหม่นั้นเกิดข้อผิดพลาดจากกระบวนการที่ไม่มีประสิทธิภาพในการพัฒนาซอฟต์แวร์ ทำให้นักพัฒนาต้องกลับมาทวนสอบระบบใหม่อีกครั้งเพื่อหาข้อผิดพลาด ดังนั้นขั้นตอนในการทดสอบซอฟต์แวร์จึงมีความสำคัญในการทำให้ผู้ใช้มั่นใจได้ว่าระบบที่พัฒนาขึ้นมานั้นมีคุณภาพและไม่เกิดความผิดพลาดในระหว่างการใช้งาน ในการทดสอบการยอมรับจากผู้ใช้และการทดสอบระบบ นักทดสอบจะใช้เอกสารข้อกำหนดคุณลักษณะความต้องการซอฟต์แวร์ในการสร้างกรณีทดสอบ ซึ่งเอกสารจะถูกเขียนขึ้นด้วยภาษาธรรมชาติทำให้ข้อกำหนดความต้องการที่ระบุในเอกสารมีโครงสร้างที่ไม่ชัดเจน ส่งผลให้การสร้างกรณีทดสอบไม่ได้มาตรฐานและเกิดข้อผิดพลาดในระหว่างการทดสอบซอฟต์แวร์ ดังนั้นในงานวิจัยนี้ผู้วิจัยจึงได้นำเสนอกรอบแนวคิดสำหรับการสร้างกรณีทดสอบด้วยออนโทโลยีความต้องการซอฟต์แวร์ที่ถูกใช้แทนความหมายของข้อกำหนดความต้องการและการประยุกต์ใช้เครื่องมือภาษาธรรมชาติควบคุม เพื่อให้ความต้องการมีโครงสร้างที่ชัดเจนก่อนนำไปสร้างกรณีทดสอบ รวมถึงผู้วิจัยได้พิจารณาเทคนิคการทดสอบแบบกล่องดำที่มีประสิทธิภาพ คือ เทคนิคการรวมกันของชั้นสมมูลและต้นไม้การจำแนกมาใช้ เพื่อให้การสร้างกรณีทดสอบมีความครอบคลุมและลดความซ้ำซ้อน ส่งผลให้กรณีทดสอบที่ได้มีความถูกต้องแม่นยำ และทำให้การทดสอบมีประสิทธิภาพตรงตามความต้องการของผู้ใช้งานมากยิ่งขึ้

Automated Realistic Test Input Generation and Cost Reduction in Service-centric System Testing

Service-centric System Testing (ScST) is more challenging than testing traditional software due to the complexity of service technologies and the limitations that are imposed by the SOA environment. One of the most important problems in ScST is the problem of realistic test data generation. Realistic test data is often generated manually or using an existing source, thus it is hard to automate and laborious to generate. One of the limitations that makes ScST challenging is the cost associated with invoking services during testing process. This thesis aims to provide solutions to the aforementioned problems, automated realistic input generation and cost reduction in ScST. To address automation in realistic test data generation, the concept of Service-centric Test Data Generation (ScTDG) is presented, in which existing services used as realistic data sources. ScTDG minimises the need for tester input and dependence on existing data sources by automatically generating service compositions that can generate the required test data. In experimental analysis, our approach achieved between 93% and 100% success rates in generating realistic data while state-of-the-art automated test data generation achieved only between 2% and 34%. The thesis addresses cost concerns at test data generation level by enabling data source selection in ScTDG. Source selection in ScTDG has many dimensions such as cost, reliability and availability. This thesis formulates this problem as an optimisation problem and presents a multi-objective characterisation of service selection in ScTDG, aiming to reduce the cost of test data generation. A cost-aware pareto optimal test suite minimisation approach addressing testing cost concerns during test execution is also presented. The approach adapts traditional multi-objective minimisation approaches to ScST domain by formulating ScST concerns, such as invocation cost and test case reliability. In experimental analysis, the approach achieved reductions between 69% and 98.6% in monetary cost of service invocations during testin