Benson's Blog
Notes | Software Development
我為什麼鼓勵工程師寫 blog by 91
Hi, I’m Po-Sheng Hsu (Benson). This blog is a collection of my technical and study notes, mainly focusing on Software Testing, Compilers, and OS, and I use Golang, Java, C/C++, and Python for implementation and practice; the purpose of writing is to help me organize my thoughts, build structured knowledge, and internalize what I learn, and I welcome opportunities for information exchange and collaboration.
Hi 我是 Po-Sheng Hsu (許柏勝) Benson，這裡是我的技術與學習筆記，主要關注在軟體測試、編譯器、作業系統，並使用 Golang、Java、C/C++、Python 來實作與練習。寫 Blog 的初衷是幫助自己整理思考、建立知識結構並內化理解。歡迎與我交換資訊與合作交流。
Benson’s Social Media:
- Email: pshsu@csie.io
- Github: Hotshot824
This year's posts
- LLVM | TableGen Introduction
- Computer Organization | Pipelines Hazards
- Computer Organization | Pipelines
- C++ | Resource Acquisition Is Initialization (RAII)
- Algorithm | Big Number Multiplication
- C++ | How C++ Compiler Generates Executable File
2024
- Paper | KLEE: Introducing Symbolic Execution
- PDS | Introduction of Parallel and Distributed Systems
- Algorithm | Competitive Paging Algorithm
- Note | Arch User Repository
- Algorithm | Hirschberg's Algorithm
- Compiler | ANTLR Guide
- Note | Arch Linux Installation
- Note | Apache Maven Multi-Module Project Guide
- OS | Storage and File System
- Note | Using btrfs on Debian
2023
- Compiler | Code Generation (Unfinished)
- OS | Virtual Memory
- Testing | System Testing
- Testing | Mutation Testing
- OS | Main Memory
- Testing | Class-Level Unit Testing
- Compiler | Semantic Analysis Notes
- Note | Test Coverage Criteria
- Testing | Method-Level Structural Unit Testing
- OS | Deadlock
- Testing | Based on CLP Testcases
- OS | Synchronization (Unfinished)
- Testing | Method-Level Functional Unit Testing
- Compiler | Syntax Analysis Notes
- OS | CPU Scheduler
- OS | Process and Thread
- Note | Linux Kernel Macro container_of & offsetof
- Testing | Test Case Generation
- OS | Operating System Structure
- Testing | Software Testing Introduction
- Compiler | Lexical Analysis Notes
- Compiler | Compilers Introduction
- OS | Operating System Introduction
- Paper | Test Case Generation Based on Constraint Logic Graph
- Note | Object Constraint Language Concepts (Unfinished)
- Note | GNU Debugger Quick Notes
- OS | Linux Kernel Compilation
- Note | UML Structure Diagrams Introduction
- Note | UML Behavior Diagrams Introduction (Unfinished)
- Note | Unified Modeling Language Concepts
- Paper | BenFuzz: A Property Based Testing and Entropy Guided Blackbox REST API Fuzzer
- Paper | A MVVM Modeling Methodology for Information Systems User Interface Design
- Note | Architectural Patterns Compare MVP, MVC, MVVM
- Paper | Automated-generating test case using UML statechart diagrams (Unfinished)
- Paper | An Integrated Environment for Specification Driven Development (Unfinished)
- Paper | A Study of the Characteristics of Behaviour Driven Development
- Paper | An Analysis and Survey of the Development of Mutation Testing
- Paper | Test-driven development concepts, taxonomy, and future direction
- Paper | Applying the ISO/IEC 25010 Quality Models to Software Product
- Note | Standard - ISO/IEC
- Leetcode | Algorithm - KMP
- Note | Gomoku AI - Game Tree
2022
- Note | Commit Message Format
- Note | Constraint Satisfaction Problem
- Note | Basic UART Concept
- Note | Docker Build Github Pages