|
Software Development |
My Software Development I am now a senior software engineer in Intel Asia-Pacific R&D Ltd., leading the manageability core & infrastructure team to innovatively and elegantly solve the fundamental design problems as well as the complicated computational problems for manageability solutions, and to successfully provide critical support to manageability products with core components developed. Currently I am interested in modeling and solving computational problems in manageability solutions, efficient testing, and mathematic formulation/analysis of engineering activities. Power Management in Data Centers Some of my current work focuses on modeling and solving problems of dynamic power management in Intel Data Center Manager which provides the technology of power and thermal monitoring and management for servers, racks and groups of servers in data centers. Other Manageability Software Intel Platform Administration Technology (code name Christea) is a complicated manageability solution for i-Cafe market providing features as system provisioning, disk protection, asset management, etc. The solution was initially designed based on firmware capability on the client side and later transitioned to a pure software solution with embedded Linux as the pre-OS environment. Intel System Recovery Tool (code name Leto) is a backup/recovery solution which was previously embedded in BIOS and is now integrated in bootable USB keys. Intel Education Administrator (code name Hat Point) is a complicated manageability solution for education market evolved from Christea, providing functions of system provisioning and recovery, software installation, education shell, etc. Testing Manageability Solutions In Christea, Leto, and Hat Point there are lots of components including pre-OS evnironment including drivers as well as applications, OS drivers, and OS client applications at the client side, and web UI, database, and OS services at the server side. The critical areas in the software include data consistency and integrity, stablility of the low level components (network stack and ATA driver in pre-OS environment, OS driver), server side and client side performance, network compatibility, hard disk compatibility, etc. To test the critical areas efficiently and effectively, we employed the following methodologies in testing
My Talks on Software Testing My Understanding on Product Testing (Note: The talk only covers the testing of system behaviors with respect to specifications, but does not cover the verification of products with respect to users' needs. In the triangle problem example, overflow in signed integer calculation was missed. Thanks to the feedback from Microsoft HPC test team in Shanghai.) Christea 3.1 Defect Analysis (WW07.4): A Case Study in Analyzing and Mining Defects (pdf) The Mathematics of Testing: From the Theoretical Model to the Practical Approach |